Hello, Alex On 2021-07-08 11:01, alex.lin wrote:
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.
Second attempt to get it merged can be found here: https://github.com/seL4/seL4/pull/378
First attempt was in 2019: https://github.com/seL4/seL4/pull/145 Greetings, Indan _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
