Trustworthy Systems

Real-Time Programming and L4 Microkernels


Sergio Ruocco



L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements that now faces the challenges of tightly integrated systems, where user interface, multimedia, OS, wireless protocols and even software-defined radios must run on a single CPU. This paper discusses the various aspects of real-time programming on L4-embedded, focusing on the issues caused by the extreme speed optimisations it inherited from its ancestors. We conclude that real-time programming on L4-embedded is facilitated by a number of design features unique to microkernels and L4, but a review of the tradeoffs between performance and predictability would ease priority-driven real-time programming.

BibTeX Entry

    address          = {Dresden, Germany},
    author           = {Sergio Ruocco},
    booktitle        = {Proceedings of the 2nd Workshop on Operating System Platforms for Embedded Real-Time Applications
    month            = jul,
    paperurl         = {},
    title            = {{Real-Time Programming and L4 Microkernels}},
    year             = {2006}