Bueno, M., 		Brasil, C., & 		Marques, E.
2007 Jun 30.  The eCos embedded operating system with SMP support for the Nios II processor. Proceedings of the Workshop on Operating Systems (WSO). [Online] :