Re: Thread switching in Genode/seL4 and registers and utcb access problem

...

Problem 2. When I start trying to make a fast solution and try to read registers and some info from low level physical seL4 thread using seL4_TCB_ReadRegisters

On Genode you may request the thread state like the values of registers via Genode::Cpu_thread::state(). Example code you may find in our thread test, see [0]. The actual structure is platform depend, look into the respective cpu_state.h header file, see [1].

Thank you for reference! Unfortunately, this function use the same seL4_TCB_ReadRegisters and can’t read our own registers (like setjmp/getcontext/etc) as I see in repos/base-sel4/src/core/spec/x86_64/thread.cc

And I still don’t have a «legal» way to read or set registers via Genode interface, need to use asm :(