I am trying to program FVP_Base_RevC-2xAEMv8A (el0, el1 and el3 implemented).
The bare-metal program (@ cpu0) runs at el3, and configures the gic and the system counter registers as shown below:
icc_sre_el3 = 0xf;
icc_ctlr_el3.pmhe = 1;
icc_ctlr_el3.eoimode_el1ns…