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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
