• SGIs in AMP Configuration with Non-SMP Linux /RTOS

    I am trying to run two Cortex-A7s in AMP configuration with Linux running on one core (SMP disabled) and baremetal/RTOS running on other core. I am having difficulty in setting up SGIs (IPIs) between the two cores. I am at a point where both of the cores…

  • How to trap Guest data aborts

    Hi,

    I am trying to understand if Guest OS data abort happens due to accessing some memory (e.g GIC distributor space) then is there any way I can route it to EL2 mode ?

    I looked into HCR_EL2 register bits and tried setting AMO bit but it doesn't help. I…