NKE: an embedded nanokernel for educational purpose.
Celso Maciel da Costa, Cassio Brasil, Leonardo L. Silva, Lucas Murliky, Joo Leonardo Fragoso, Guilherme Debom, Rivalino Matias, Aline Fracalossi, Margrit Reni Krug
Browse the full SAC paper archive.