mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 20:00:23 +00: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