Hi All, What is the status of virtualization support on ARM SOCs with GICv3? According to section “FAQ and Implementation Notes” of [1], seems it is still under development. Any plan or progress on this? Thank you very much.
[1] https://docs.sel4.systems/projects/camkes-arm-vm/
Regards, Alex