>>
>> 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
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
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 I found
that:
In returned successfully data rip register is always 0 for current thread, tcb
selector myself.native_thread().tcb_sel
