Andre Puschmann wrote:
Any comment/suggestions/ideas about that? Any other experience with periodic real-time tasks on L4?
Hi Andre, maybe they do not contain a plug-in solution to your problems, but I wrote a couple of papers on real-time scheduling on top of L4 microkernels which could be useful as a starting point: 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! Sergio -- Dr. Sergio Ruocco Research Fellow http://www.disco.unimib.it/ruocco mailto:ruocco@disco.unimib.it / sergio.ruocco@gmail.com NOMADIS Lab phone: +39-02-6448-7914 Mobile, embedded real-time systems skype: 'sergioruocco' Dip. di Informatica, Sistemistica e COmunicazione Building U14, room 1003 Università degli Studi di Milano-Bicocca, Italy W La ricerca http://video.google.com/videoplay?docid=-6518779854944519929 Your manuscript is both good and original; but the part that is good is not original, and the part that is original is not good. Samuel Johnson