"Микроядра типично медленнее, чем монолитные ядра — из-за накладных расходов на переключения между режимами процессора (user-mode в kernel-mode и обратно). Кроме того, существуют еще и расходы на переключение процессора между двумя процессами пользовательского режима (переключение контекста)" это вроде бы имеет смысл только для x86 и прочей CISC, или я не прав?
Чтобы защитить свободу, нужно ей пользоваться.