mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
On some boards or emulators a CPU might be executing in hyp mode when entering Genode's bootstrap code. In that mode the 'cps' instruction is not defined. Therefore, we change the way the boot cpu is identified. Ref #3415