Oui, il est en mode protégé et il y a bcp de chance qu'il soit temps réel.

Ce sera un mix entre micro-kernel et un kernel monolithique (on essaiera de prendre le meilleur des deux: task-switching vs mode-switching (DPL))