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

Alexander,

On Fri, Sep 27, 2019 at 01:21:25 CEST, Alexander Tormasov via users wrote:

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

Why don't you use setjmp/longjmp? Implementation are in the libc and repos/dde_linux/src/lx_kit/spec for our drivers.

Greets