El sistema operativo de Picotux es uClinux 2.4.27 Big Endian.