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