Micro-kernel sux, parce qu'on passe son temps à switcher entre user-space et kernel-space !

(nan, je fais semblant: si on utilise les bons concepts et qu'on implémente intelligemment son micro-kernel, ce n'est pas vrai, comme l'a écrit et montré Liedtke à partir de 1993 avec L4. De nos jours, en embarqué, on utilise parfois des dérivés L4 comme OKL4.)