Add GICv3 emulation support for vmm on arm platform

colorglass4＠outlook.com

27 Sep 2023 27 Sep '23

1:01 p.m.

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.

Show replies by date

Peter Chubb

27 Sep 27 Sep

2:36 p.m.

...

...
...
...
...
"colorglass4" == colorglass4 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. We at UNSW currently building a new VMM library for the microkit. Right now, it's a port of the existing VMM, and is available in alpha-test state at https://github.com/Ivan-Velickovic/libvmm We're targeting the Odroid C4 at the moment, which has a GIC-400 (GIC v3). The gic-v3 works as a basic GIC, but I'm really hoping that for good performance we'll be able to use some of the IRQ direct injection and other virtualisation features; right now there's noone working on it though. We'd love to review pull requests from anyone else who's working in this area. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.

Peter Chubb

4:14 p.m.

...

...
...
...
...
"Peter" == Peter Chubb via Devel writes:

...

...
...
...
...
"colorglass4" == colorglass4 writes:

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

colorglass4＠outlook.com

6:57 p.m.

Hi Peter, thanks for your response! In fact, I had take some efforts to write the gic-v3 emulation codes that referred to the gic-v2 codes of the origin vmm library. Though it only has the basic functions of gic-v3, I still got the guest Linux ran based on it on the rk3568. Now that you are working on a new vmm library, I will try to tend my work here and make contribution as possible as I can.

449

Age (days ago)

449

Last active (days ago)

List overview

Download

3 comments

2 participants

participants (2)

colorglass4＠outlook.com
Peter Chubb