mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 13:02:56 +01:00
Use '__initial_sp' instead of '_main_utcb' to receive a main threads UTCB pointer outside core. Ref #766
Use '__initial_sp' instead of '_main_utcb' to receive a main threads UTCB pointer outside core. Ref #766