Hi,
I want to perform user-level scheduling in Genode.  Previously we used the POSIX ucontext APIs to save the thread’s state, create a new context, and swap between contexts.

Before I try to put the equivalent in place in Genode, I am wondering if there are any existing facilities to do this sort of thing in user-space.

Also any advice on approach is welcome.

Thanks
Daniel