+1, ale mikrokernel v sucasnosti nie je prave riesenie schopne podavat adekvatny vykon (asi utrpia latencie). Mozno casom sa procesory dostanu do stavu ked to zacne byt zaujimave. Istou moznostou je ist na to sposobom hybridneho jadra ako to ma Apple resp. Microsoft.