Hi,
I am trying to run a guest Linux using seL4's vmm library on the rk3568
platform, which uses gicv3 as its irq controller. But there is only gicv2
emulation officially supported in the vm library. I did find that there are 2
"gicv3" branch of the repository, but they are all outdated and have not being
maintained for a long time.
Is there any plan to formally add the gicv3 support to vmm library?
Thanks.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
