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. ) _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
