Full virtualization on Raspberry PI 4

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Aug 29 23:18:30 CEST 2019

On Thu Aug 29, 2019 at 23:06:40 +0200, clim atisefr wrote:
> I know the Raspberry PI 3 does not support the full virtualization and only
> para-virtualization is supported.
> It seems that the Raspberry PI 4 with the Broadcom 2711 (Quad-core
> Cortex-A72 ARM v8 64-bit SoC @ 1.5 GHz) may support it.
> Is there any development to support this platform with L4RE ? or any hint
> to start it ?

There's activity for rpi4, for the obvious reasons you mention. However,
u-boot with network booting or USB still doesn't seem to be there but
would be nice to have to avoid SD card shuffling. Eventually it will


More information about the l4-hackers mailing list