RadiOS es un sistema operativo basado en un micronúcleo libre.