[seL4] Re: gic v2 vs gic v3

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