Using the Nanvix Operating System in Undergraduate Operating System Courses. - Pedro Henrique de Mello Morado Penna; Márcio Bastos Castro; Henrique Cota de Freitas; Jean-François Méhaut; Joao Caram (SBESC, 2017)