Martin Stein
|
5a1fc6da60
|
hw: rename update_region in update_data_region
ref #1115
|
2014-04-14 12:28:16 +02:00 |
|
Martin Stein
|
e2268c09a0
|
hw: move core-restricted interface to local header
fix #1096
|
2014-04-07 17:02:50 +02:00 |
|
Martin Stein
|
e0419b2401
|
hw: clearer naming scheme in kernel API
Rename kernel syscall in kernel call and the kernel-API
files in kernel/interface* .
ref #953
|
2013-11-25 09:45:30 +01:00 |
|
Martin Stein
|
2e7802b799
|
base-hw: flush cached zeroes in 'clear_ds(...)'
Ref #706
|
2013-05-22 18:32:05 +02:00 |
|
Norman Feske
|
73ab30c22c
|
Update copyright headers to 2013
|
2013-01-10 21:44:47 +01:00 |
|
Martin Stein
|
ff65f6f021
|
Run Genode directly on hardware with 'base-hw'.
|
2012-08-03 12:06:37 +02:00 |
|