> от монолитного Линуксового ядра или от Mach?-)

У линуксного ядра есть некие плюсы:
1) Как host он поддерживает туеву хучу оборудования.
2) Админить одну и ту же систему на host и guest - это удобно.
3) Одно и то же ядро хорошо подыгрывает само себе.
4) На виртуалках мало кого интересует "оторвать лишнее" само по себе. У линя хорошая производительность, особенно с virtio драйверами. Когда вы там ваше микроядро до этого допинаете? А чтоб еще и по скорости не продувало?

А так - набор модулей и юзермод компонентов можно минимизировать. Для ядра оторвать лишний код == снять галочки в make menuconfig. Очень сложная операция. Хотя намного результативнее обрубать юзермод. Один убитый питон == 2.5 ... 5 мегов за 1 выстрел только на интерпретаторе, без самой программы. Можно выпнуть жирный баш и прочие coreutils в пользу бизибокса. Там весь бинарь со всеми утилями весит меньше чем один только баш. Система правда получится обрубочная, но для машин с групповым управлением, которые никто никогда не видит - это пофиг.