Hello Stefan Many thanks for the tips.
I have stripped out all code from Bootstrap::Platform::Boot::Boot() except of a Genode::raw() call. This is currently the first output I see from bootstrap. I do now print print the value result after the asm call in wake_up_all_cpus(). The value of it is 0xfffffffffffffff7 for all 3 CPUs. This looks like an error to me, But I'm still trying to find the correct ARM/NXP manual that describes the 0xC4000003 register, so that I can understand what might go wrong. Regards, Pirmin
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
