.
La primera vez en mi vida que oigo hablar sobre un sistema operativo llamado "inferno", que vaya nombrecito.
El caso es que hay un proyecto, que parece ya bastante avanzado para portar inferno a Raspberry. Ya veremos si en la práctica tiene alguna utilidad, ahí está por si a alguien le pica la curiosidad.
https://bitbucket.org/infpi/inferno-rpi
