>> >> 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 :( _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
