NKE: an embedded nanokernel for educational purpose. - Celso Maciel da Costa; Cassio Brasil; Leonardo L. Silva; Lucas Murliky; João Leonardo Fragoso; Guilherme Debom; Rivalino Matias; Aline Fracalossi; Margrit Reni Krug (SAC, 2016)