Comme dit par ExtendeD l'OS de TI est quand même complet. Faut pas oublié qu'il y a Nucleus, les drivers pour la Flash, un système de fichier type FAT, un shell...
Un Linux sur cette machine ne me semble pas impossible (uBoot + noyau linux léger style Xenomai + uclibc) mais bon avant ça y a du pain sur la planche. ^^