Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2).

Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.

Источник: Хабрахабр

Источник: ant3mc

Перейти на сайт

Другие материалы на сайте b.Z - Записки о гаджетах, людях и музыке