mirror of
https://github.com/drasko/codezero.git
synced 2026-04-11 14:39:12 +02:00
Added setting of utcb address to l4_thread_control. This is going to be moved to exchange_registers() since we need to pass both the utcb physical and virtual address and exregs fits such context modification better than thread_control.
148 B
148 B