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