Hi Ben, When configured as a hypervisor, seL4 uses the hardware interrupt virtualization support of GICv2 (GIC-400) and GICv3 (GIC-500). More work is needed for SoCs without such hardware support.
BTW, it looks like Raspberry Pi4 (bcm2711) has a GIC-400 controller. Would you consider the new version? Regards, Yanyan On Thu, 2020-02-13 at 09:15 +0000, Turner, Ben wrote: > Hi, > > I have been attempting to add support for the Raspberry Pi 3 b > platform so that I can run the vm_minimal application on it. The > platform supports ARM_HYP, so I believe it should be possible to get > this working. > > I have reached to point where ninja errors on an implicit declaration > for `set_gic_vcpu_ctrl_hcr`. From what I understand, this is to do > with the ARM Generic Interrupt Controller, however the RPi3b doesn't > have a GIC, it has a `bcm2836-armctrl-ic`. This occurs because the > file vcpu.h defines an inline function that calls this function, > however as the RPi3b doesn't have a GIC, neither the gic_v2.h or > gic_v3.h files are provided in the build environment, and hence the > build fails. > > > I am unsure what this means in terms of implementation. What needs to > be added or changed to get this compiling for the RPi3b? > > Thanks in advance > > > Ben Turner > > ________________________________________ > Roke Manor Research Limited, Romsey, Hampshire, SO51 0ZN, United > Kingdom.Part of the Chemring Group. > Registered in England & Wales. Registered No: 00267550 > http://www.roke.co.uk > _______________________________________ > The information contained in this e-mail and any attachments is > proprietary to Roke Manor Research Limited and > must not be passed to any third party without permission. This > communication is for information only and shall > not create or change any contractual relationship. > ________________________________________ > _______________________________________________ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
