M. Bueno, C. Brasil, and E. Marques. " Sistema operacional embarcado eCos com suporte a SMP para o processador Nios II", in Anais do IV Workshop de Sistemas Operacionais, Rio de Janeiro/RJ, 2007, pp. 764-776.