seL4/microkit

seL4 /microkit — лёгкий фреймворк‑операционная система для микрокернела seL4, позволяющий быстро собрать минимальные, формально проверяемые пользовательские сре