• GICv3 and aarch32
    Hi, I just started to port our secure OS on an armv8 board, with a GIC-v3. The EL1 non secure OS will be the vendor Linux OS, which runs in aarch64. The EL1 secure OS will be our secure OS, which runs...
  • In aarch32 state, what is the mechanism to switch to aarch64 in software?
    Dear sirs, I'm reading arm v8a specification. I found that when arm is in aarch32 state, only a few exceptions can switch to aarch64 depending on the configuration in the registers. the exceptions are...
  • aarch64 kernel using aarch32 page tables
    Hi ! I'm trying to update my custom kernel, working with short or long descriptor in armv7a to a target supporting armv8. My current setup uses TTBR0 to point to the PL0 page table and TTBR1 to point...
  • Is it possible to implement EL3 AArch64 and change it later to EL3 AArch32?
    I was reading the ARM architecture reference manual... and thought Is it possible to implement EL3 AArch64 and change it later to EL3 AArch32? How to change is... If I start on cold reset, it will start...