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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
