6 Oct
2020
6 Oct
'20
11:24 a.m.
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