Este sistema operativo se puede cargar en un PIC32 y tiene las siguientes características:
http://www.cpustick.com/features.htmDestacan el compilador BASIC, la posibilidad de trabajar en modo USB Host y las opciones de radio.
Creo que no es gratuito aunque permiten descargarlo y probarlo sin limitaciones.
Forma parte de algunos sistemas de prototipo como CPUStick o CPU32
