Christian Prochaska 65f8f9c75a GDB monitor: add support for register writing ... With this patch, register contents of a paused thread (which is not currently executing a syscall) can get modified on Fiasco.OC by GDB. Fixes #897.		2013-10-17 11:04:08 +02:00
..
app	GDB monitor: add support for register writing	2013-10-17 11:04:08 +02:00
lib	GDB monitor: add support for register writing	2013-10-17 11:04:08 +02:00
noux	Noux: register inherited file descriptors	2013-09-23 14:26:00 +02:00
noux-pkg	Noux: add noux-pkg/grep	2013-08-13 17:08:22 +02:00
test	os: Move Genode::Config into 'config' library	2013-09-23 14:25:58 +02:00
vancouver	nova: request native ec cap via pager	2013-10-16 09:26:09 +02:00