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

On 26.09.19 12:53, Alexander Tormasov via users wrote:

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].

[0] https://github.com/genodelabs/genode/blob/master/repos/base/src/test/thread/...

[1] repos/base/include/spec/x86_32/cpu/cpu_state.h repos/base/include/spec/x86_64/cpu/cpu_state.h repos/base/include/spec/arm/cpu/cpu_state.h repos/base/include/spec/arm_64/cpu/cpu_state.h