Unsymmetric MPでOSを動作させるなら
マイクロカーネルはあってるけど、Darwinは
いじられすぎてもうマイクロカーネルとは言え無いしな。
MACHからL4あたりに乗り換えた方がいい気がする。
なんならマイクロITRONをコアとか。