mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
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