https://raspberryparatorpes.net/sistemas-operativos/xinu-otro-sistema-operativo-para-raspberry-pi/
XINU : Otro sistema operativo para Raspberry Pi