• What are the necessary preconditions to load a guest into EL1 from EL2?

    I have successfully moved from EL3 to EL2. After doing some initialization I am trying to move from EL2 into EL1 with a very simple guest image. My process looks like:

    • Map EL1 memory into EL2
    • Copy EL1 image to RAM
    • Initialize sctlr_el1 = 0x30d00800
      …

    • In Arm v7 mmu, stage2 translation cannot use short descriptors. WHY?

      ARM V7 document states: "In ARMv7-A short descriptors only be used at EL0 and EL1 stage 1 translations. They cannot, therefore, be used by hypervisors or Secure monitor code."

      Why stage2/hypervisors/secure monitor cannot use short descriptors…