Rilascio del sistema operativo Genode 20.08
Più precisamente del framework per la costruzione di sistemi operativi — questo è il termine preferito dagli autori di Genode Labs. Questo costruttore di microkernel supporta diversi microkernel della famiglia L4, il kernel Muen e un proprio kernel minimalista chiamato base-hw. Le sviluppi sono disponibili sotto la licenza AGPLv3 e, se desiderato, una licenza commerciale: https://genode.org/about/licenses. Il tentativo di creare una versione utilizzabile da chiunque oltre agli appassionati dello sviluppo dei microkernel viene chiamato […]
