Martin Stein 4dadd6a437 base-hw: Read and write whole thread states. ...

By now there is no use case for read/write a single register
of a thread state. Thus the new syscalls 'read_thread_state' and
'write_thread_state' replace the old ones 'read_register' and
'write_register'.

2012-11-22 09:21:53 +01:00

..

log.h

Run Genode directly on hardware with 'base-hw'.

2012-08-03 12:06:37 +02:00

syscalls.h

base-hw: Read and write whole thread states.

2012-11-22 09:21:53 +01:00