Hi Sergio,
Sergio Ruocco wrote:
http://ertos.nicta.com.au/publications/papers/Ruocco_RTSS_06.abstract http://www.hindawi.com/journals/es/2008/234710.abs.html
Please note that the journal paper discusses real-time scheduling on general-purpouse L4 microkernels, specifically L4 Pistachio v0.4, and a *now*-*obsolete* version of L4-embedded. The recent OKL4 v3.0 addressed all the real-time scheduling issues discussed in the paper.
Comments and criticism on the papers are welcome!
I've read "Real-Time Programming and L4 Microkernels" and found it a very good introduction into that topic. It really helped me lot. The latter one seems to be am extended version of that paper, right? Anyway, thanks for the links.
Best regards, Andre