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/230b89dde12c70ea4e66116319d6f137a52efe97 Greetings, Indan _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
