Архитектура на ядрото (Kernel Design)

Архитектурата на ядрото (Kernel Design) обхваща принципите за проектиране на най-вътрешния слой на операционната система (монолитни ядра, микроядра, уникернели).

Новите подходи залагат на формална верификация и езици за безопасна работа с паметта за елиминиране на критични уязвимости в базовия код.