[seL4] Re: Does the lastest master branch support gic v3 virtulization?

Hello Peter, On 2022-04-08 11:43, wtliang785 via Devel wrote:

My question is that what is the status for supporting the v3 virtulization in lastest sel4 kernel master branch? Does the lastest master branch support gic v3 virtulization?

Yes, since 3 September 2021, see: https://github.com/seL4/seL4/pull/378/commits/230b89dde12c70ea4e66116319d6f1... Greetings, Indan