[...] > >>>> Do CPUs enter the kernel at EL2 or at EL1? > >>> > >>> Could you give me a tip how to check the kernel at EL2 or EL1? > >> > >> Hmm... I thought we logged this but it looks like we don't. > >> > >> You could hack in a check of is_hyp_mode_available() and > >> is_hyp_mode_mismatched(). That will tell you if EL2/hyp is available, > >> and whether all CPUs enter at the same mode (mandatory per the boot > >> protocol). > > > > OK, I'll try it. > > I check the return value of is_hyp_mode_available() to catch whether EL1 or EL2. > > The is_hyp_mode_available() returns 'false' during kernel booting. > - __boot_cpu_mode[0]: 0xe11 (BOOT_CPU_MODE_EL1) > - __boot_cpu_mode[1]: 0x0 Thanks for taking a look. It's unfortunate that CPUs aren't booted at EL2 (especially given that booting them at EL1N means the FW is doing more work to be less helpful to the OS), but at least they seem to be booted in consistent modes. Thanks, Mark. -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
