Alexander Boettcher 73cff5c996 nova: don't wait for workers in cpu_session::pause ... If a local thread is attempted to be 'pause'd via cpu_session, don't wait until it gets into the recalled state. If the caller is lucky it is, if not return only the stack pointer. Avoids deadlocking of the gdb when attached to a process running a server. Issue #478		2013-10-16 09:26:09 +02:00
..
base	nova: create sm for signalling via pager	2013-10-16 09:26:09 +02:00
core	nova: don't wait for workers in cpu_session::pause	2013-10-16 09:26:09 +02:00
kernel	NOVA: use latest kernel from github	2012-11-05 17:28:51 +01:00
platform	Move main bootstrap to platform-specific object	2013-09-26 15:00:16 +02:00
test/cap_integrity	Merge base libraries into a single library	2013-02-19 14:45:55 +01:00