cpu id for big cpu 0x400

[Michael Grunditz]

On Thu, 19 Jan 2023 at 14:36, Stefan Kalkowski
<stefan.kalkowski at 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