実装如何じゃないの。
実際カーネルをプロセススケジューリングとメッセージバスに絞った組み込み用途のQNXとかあるし。
さわってみたことあるけどLinuxなんて目じゃない軽さだったよ。