Per chi non ne avesse mai sentito parlare (e mi riferisco al 99% di voi, me compreso), Genode OS è un framework Open-Source che permette la costruzione di un sistema operativo (o più sistemi personalizzati), costituito da un livello di astrazione del microkernel e una raccolta di componenti dello spazio …
Continua a leggere