Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b

Hi Yanyan, Thanks for your reply. That is a very good point! I think it may well be easier to add the other board support parts for the RPi4 to the build system, rather than figuring out what needs to be done for the RPi3 interrupt controller… Thanks for the suggestion, I’ll be sure to let you know how I get on. Thanks, 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. ________________________________________ From: Shen, Yanyan (Data61, Kensington NSW) Sent: 13 February 2020 10:19 To: devel@sel4.systems; Turner, Ben Subject: Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b 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.ukhttp://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.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/develhttps://sel4.systems/lists/listinfo/devel