Александр Николаевич
с 2017
0 подписчиков
26 подписок
Чтобы понять, как это работает. А в процессе — разобраться в Ada/SPARK и микроядрах. Мне понравилось, Затянуло. Ради опыта и интереса.
Чтобы понять, как это работает. А в процессе — разобраться в Ada/SPARK и микроядрах. Мне понравилось, Затянуло. Ради опыта и интереса.
Небольшое обновление по проекту. Репозиторий теперь открыт: https://github.com/Nik0laic4/SchildTCB
Внутри исходный код, документация, патчи к ядру и настроенный CI (автоматическая проверка всех 185 модулей при каждом коммите).
Так как на ARM формальное доказательство ядра сильнее, чем на моем текущем x86_64, я начал работу по портированию проекта на Raspberry Pi 4B. Ветка arm64 в репозитории уже есть. Буду выкладывать новости по мере продвижения!