Надо было ставить linux

Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих отсутствие сбоев. https://www.opennet.ru/opennews/art.shtml?num=66127

vk: https://vk.com/ihadtoinstalllinux telegram: https://t.me/ihadtoinstalllinux