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

[Alexander Tormasov]

>> 
>> 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  :(