Olá Gustavo,
Ficamos muito contentes que tenha gostado do projeto BRTOS.
O stellaris launchpad é um ótimo kit. No entanto, o compilador da Texas incluído no Code composer não facilita as coisas. Esse é um dos ports mais difíceis de serem feitos e não fica tão bom qto em outros compiladores. O melhor port que conseguimos fazer é através do gcc, que possui vários recursos que outros compiladores não tem. Futuramente pretendo realizar um port do stellaris para gnu gcc, mas seria em outra IDE. Bom, de qq forma está funcionando.
Quanto ao terminal pela serial, temos sim exemplos. Os demos com o kinets da Freescale (K60) tem o terminal implementado tanto em USB qto em serial. Iriei adicionar ao google code um demo do Renesas RX600 que tem o terminal pela serial. É bem simples na verdade. O BRTOS adiciona todos os caracteres recebidos pela serial a uma fila (se não me engano está no arquivo drivers.c). O terminal é acordado qdo dados são inseridos na fila (arquivo hcc_terminal.c) e processa esses caracteres um a um.
Qualquer dúvida estou a disposição.
Abraço,
Gustavo