On Tue, 17 Jan 2023 at 11:14, Michael Grunditz <michael.grund...@gmail.com> wrote: > > Hi > > I am testing starting from the big cpu on rk3588. The cpu id is 0x400. > Starting is fine up to core entry. But there it stops. > EL switching works. > > The question is , every other core is compared to NR_OF_CPUS, which is > from 0 and up. > What do I need to change? > > Michael > > ( will try now with core 1 , since obvisually core 0 isn't set up so > that el switching works. I still thinks we should do core init so that > we get a common state , regardless how u-boot leaves us. )
I am happy to say that el switching from e2 to el1 now works for core 0! I am clearing all standard regs (including fp regs) and hcr_el2,cptr_el2 in crt0.S Very happy!! _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users