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 -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
