Das freie Betriebssystem-Framework Genode bringt in Version 20.05 eine Treiber-Infrastruktur für ARM, konsolidierte virtuelle Maschinen für ARMv7 und ARMv8, Disk-Verschlüsselung und die Fähigkeit, Komponenten unter Linux abgeschottet laufen zu lassen.
Quelle: https://www.pro-linux.de/news/…ode-2005-freigegeben.html