J. Liedtk, “Improving IPC by Kernel Design,” SOSP’93 Proceedings of the 14th ACM Symposium on Operating Systems Principles, Asheville, 5-8 December 1993, pp. 175-188.

has been cited by the following article:

• TITLE: Microkernel Development for Embedded Systems

  AUTHORS: Rodrigo Maximiano Antunes de Almeida, Luis Henrique de Carvalho Ferreira, Carlos Henrique Valério

  KEYWORDS: Embedded Systems; Microkernel; Device Driver Controller; Hardware Devices; Callback

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.6 No.1, January 30, 2013

  ABSTRACT: 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.