Full virtualization on Raspberry PI 4

clim atisefr climatisefr at gmail.com
Thu Aug 29 23:06:40 CEST 2019


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 ?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20190829/4a2e632e/attachment.html>

More information about the l4-hackers mailing list