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(a)sel4.systems
https://sel4.systems/lists/listinfo/devel