[PDF][PDF] A real-time programmer's tour of general-purpose L4 microkernels

S Ruocco - EURASIP Journal on Embedded Systems, 2007 - Springer
L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time
requirements. It now faces the challenges of tightly integrated systems, in which user …