Микроядра

Микроядрата поставят сигурността и модулността пред производителността чрез минимизиране на кода в режим на ядро (Kernel Space).

Минимализъм: В ядрото остават само управлението на паметта, диспечерът на процеси и комуникацията между процеси (IPC).
Изолация на драйвери: Драйверите и файловите системи работят като потребителски процеси, предотвратявайки срив на цялата система при грешка.
Идеална среда за агенти: Високата устойчивост на сривове прави микроядрата отлична основа за изпълнение на ненадежден генериран код.
Класически примери: seL4, QNX, Minix и модерни експериментални системи като Veda.