Ten years of research on L4-based real-time systems. (2006)

by Hermann Hartig, Michael Roitzsch
Venue:In Proceedings of the 8th Real-Time Linux Workshop,