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