BTW, actually writing code for OKL4 feels rather scary: there seems to
be a real C library in there. After working with platforms like Nucleus
and an unnamed mobile phone OS that I can't talk about, this makes a
nice change. It's amazing how much you miss printf() if you can't get it...

(extrait de la ML d'OKL4, thread "[okl4-developer] Platform recommendations", vendredi dernier : un débutant découvre la magie d'OKL4, j'avais effectivement été tout aussi surpris de cette disponibilité du debug au printf de kernel en environnement paravirtualisé...)