The teaching and learning of operating systems are hampered due to the complex nature of concepts involved. It is necessary not only theoretical studies, but importantly the laboratory practices, which are not always possible due to the lack of appropriate software instruments. This paper presents the NKE, a Nanokernel-based OS developed for ARM microprocessors and oriented to the teaching support for practical activities in operating systems classes. The NKE is developed in C language and has been successfully used in laboratory practices as part of OS and embedded systems classes. The results obtained so far are very exciting, given that the NKE promoted richer teaching and learning experiences, providing to the students a real environment for embedded OS development.
['Celso Maciel da Costa', 'Cassio Brasil', 'Leonardo L. Silva', 'Lucas Murliky', 'João Leonardo Fragoso', 'Guilherme Debom', 'Rivalino Matias', 'Aline Schröpfer Fracalossi', 'Margrit Reni Krug']
NKE: an embedded nanokernel for educational purpose