16 Apr
2020
16 Apr
'20
3:41 p.m.
Hi Travis, There have been some mailing list threads recently regarding porting the rpi4 to seL4 and the camkes-arm-vm: https://sel4.systems/pipermail/devel/2020-February/002685.html I'm not sure how far Ben has progressed with adding support. We find supporting the RPI harder than some of the other platforms that we support due to the lack of easily accessible SOC documentation and only the RPI4 has started using a compatible Arm GIC interrupt controller with the virtualization extensions that seL4 requires. Have you considered using other common low-cost embedded boards such as the odroid-c2? Kent.