Mi az, hogy beakad meg kiakad? :)
Az XMach-nál ezt úgy csináltuk emlékeim szerint, hogy a kernel DMA-buffert biztosított amit user space-ből lehetett hívogatni, így lehetett implementálni pl. QoS-t az ütemzéshez amint futási időben változtathattál. Azért, mert mikrokerneles, nem azt jelenti, hogy a minden driver hozzápiszkálhat minden szarhoz, beleírkál egymás címterébe (ez amúgy sem lehetséges védett módban).