>>>>> "Peter" == Peter Chubb via Devel <[email protected]> writes:
>>>>> "colorglass4" == colorglass4 <[email protected]> writes: colorglass4> Hi, I am trying to run a guest Linux using seL4's vmm colorglass4> library on the rk3568 platform, which uses gicv3 as its colorglass4> irq controller. But there is only gicv2 emulation colorglass4> officially supported in the vm library. I did find that colorglass4> there are 2 "gicv3" branch of the repository, but they colorglass4> are all outdated and have not being maintained for a long colorglass4> time. Is there any plan to formally add the gicv3 colorglass4> support to vmm library? Thanks. Peter> We're targeting the Odroid C4 at the moment, which has a Peter> GIC-400 (GIC v3). The gic-v3 works as a basic GIC, but I'm Peter> really hoping that for good performance we'll be able to use Peter> some of the IRQ direct injection and other virtualisation Peter> features; right now there's noone working on it though. I was mistaken; the GIC-400 is a GIC v2, but with some hypervisor extensions. Peter> We'd love to review pull requests from anyone else who's Peter> working in this area. This is still true though .. Peter C _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
