Az szerintem se jó ha CSAK az elméleti szakemberek ülnek le, és gondolják ki hogy "nesze nektek, ezt programozzátok le". Ebből sok esetben olyan gondok születhetnek, hogy például az adot konstrukció nehéz/lehetetlen impelemntálni.
Nem tudom mennyire jó példa de pl. a tisztán microkernel is milyen jó elgondolás, de mégsincs gyakorlatban elterjed/jól működő megvalósítása.
Tehát az elméleti tervezésbe minenképpen be kell vonni a tapasztalt kernelfejlesztőket, akik már az elején azt tudják mondani, hogy igen szép és jó csak a gyakorlati megvalósítás problémákba fog ütközni.