[seL4] Re: gic v2 vs gic v3

Hi Alex, On 2021-07-08 23:56, Alex Ling wrote:

Do you know if anyone is working on GICv3 support in libsel4vm? Thanks.

I don't know, but I'm not an insider, sorry. We're not using CAmkES, nor libsel4vm ourselves. Good luck, Indan