On Thu, 19 Jan 2023 at 14:36, Stefan Kalkowski <stefan.kalkow...@genode-labs.com> wrote: > > 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.
Unfortunately it didn't help. I wonder, is it possible at all to boot up on the 5th cpu? /MIchael _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users