[Embedded] Links sobre RTOS para los microcontroladores de Microchip PIC

Nota: Pienso seguir completando esta entrada cuando esté con más ánimo.

Tengo ganas de empezar una serie de entradas sobre los RTOS (sistemas operativos en tiempo real). Como no me siento bien porque la gripe me está matando, por ahora solo voy a dejar algunos enlaces sobre los RTOS que existen para los PICs:

Comercial:

-Salvo: RTOS para PIC12, PIC16 y PIC18. El producto más conocido y viene con el código fuente al adquirirlo. Su costo es de aproximadamente u$s1200.

Libres:

-FreeRTOS: Con una doble licencia de las cuales una de ellas en GPL. Este RTOS tiene muchos ports (para varios microcontroladores) y una gran comunidad detras. Solo disponible para PIC18.
-PICOS18: RTOS diseñado por unos franceses que al parecer es más popular para ser usado con los PIC18.
-uCOS-II: Este sistema operativo es libre en su versión 2.52 y está explicado en el excelente libro llamado "MicroC/OS II: The Real Time Kernel. Second Edition - Jean J. Labrosse". Recomendada su lectura.

Bueno voy a ir completando esta entrada más adelante.

Saludos.

Martín