19 Jan
2023
19 Jan
'23
1:35 p.m.
Hello Michael,
On Thu, Jan 19, 2023 at 01:33:57PM +0100, Michael Grunditz wrote:
I did some more printing and the cpuid is 0x4 when passed into the el2->el1 switch.
Maybe I should change number of cpus to 8, but not starting the others.
This is what I would expect, and should be correct.
Regards Stefan
--
Stefan Kalkowski
Genode labs
https://github.com/skalk | https://genode.org