Start up (booting) of a microkernel-based system requires device drivers, which are not part of the kernel.
Štartovanie (booting) systému založenom na mikrokerneli vyžaduje ovádače zariadenia, ktoré nie sú časťou kernelu.