Pues si, yo también soy GNOME y hay que instalar varias librerías para que Piklab funcione, lo cual no es muy agradable, sobretodo para un usuario newbie.
Volviendo al tema de los RTOS, pues tengo q leer bastante, pero he visto q el PICOS18 tiene un driver para Bootloader, habrá q estudiarlo, quizás por ahí vaya la solución, sobretodo la segunda opción q me plantea reiniertl q me parece es la q se adecúa más a mis necesidades.
Por otro lado va la parte del software, el cual pretendo hacerlo con Python, q el robot se pueda programar gráficamente, he consultado y me dicen q es factible y q lo complicado será la parte de la compilación y descarga del programa hacia la tarjeta.
Gracias por sus sugerencias.