Re: Full virtualization on Raspberry PI 4
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 happen... Adam