Думаю, исходники бы не уменьшились.

> от 70 мб исходников осталось бы 10(?)

И ещё 100 МБ всяких серверов, ага.

Это почему?? Ведь если удалить исходники драйверов от ядра мало что и останется.

Было бы микроядро на 15 мб в готовом виде.
От того бы что дёргались в попытках c'микроядро'ить содержимое замедилился бы процесс разработки, абанту бы сейчас ещё не было, российские школы бы не перешли на СПО, прав-во на ОДФ, лин бы сливал на всех фронтах...

hybrid

12309 бы зверствовало бы ещё сильнее чем в виндах, от этих самых Big Kernel Lock мы бы сейчас только заканчивали избавляться, но сама бы шинда слила два года назад тормозному линаксу, так как комплект драйверов был бы офигенным и программ фиговых было до кучи. Появилась бы железка linmodem mts.

http://en.wikipedia.org/wiki/Microkernel
http://www.l4ka.org/
http://c2.com/cgi/wiki?MicroKernel

ША

И всю сетевую подсистему с нововведениями? И планировщики? И шифрование?

Твой вопрос можно перефразировать так:

А что если бы линукс не был линуксом?

Хочешь знать плюсы и минусы - смотри на существующие ОС с микроядром или гибридным ядром.

частота сброса tlb возросла бы до неприличных размеров, а вместе с ней и тормоза.

Был бы там же где gnu/hurd.

> не монолитным, а, например, гибридным
Оно и так гибридное, учи матчасть

Возьми Хурд и посмотри

микроядром??

большинство драйверов (особенно написанных проприетарщиками) постоянно бы отваливались, текли, выдавали ошибки, ибо «зачем писать правильно, если в случае ошибки микроядро их всё равно само перезагрузит, и всё будет в шоколаде».