Microkernel Development for Embedded Systems
Rodrigo Maximiano Antunes de Almeida, Luís H. C. Ferreira, Carlos Henrique Valério · Journal of Software Engineering and Applications · 2013
This paper presents the development of a microkernel with a device driver controller for embedded systems. The implementation was done in C language aiming low cost microcontrollers. The proposed system allowed to perform soft real-time activities while keeping the drivers and the application isolated by a secure layer. The callback system proved itself extremely simple to use while still maintaining the security of the system regarding the temporal constraints.