Das freie Betriebssystem-Framework Genode bringt in Version 19.05 eine Portierung auf ARM64 und eine Vielzahl von Verbesserungen der Plattform. Das darauf aufbauende Betriebssystem Sculpt OS bringt dagegen in dieser Version nur kleinere Verbesserungen mit.
Quelle: https://www.pro-linux.de/news/…ereinheitlichtem-vmm.html