Muen

То, что не подходит под другие описания
Ответить
Аватара пользователя
Лис [Вежливый]
Сообщения: 579
Зарегистрирован: 08.10.18 13:32

Muen

Сообщение Лис [Вежливый] » 12.03.24 06:49

https://www.linux.org.ru/forum/developm ... d=17544801

Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtime errors at the source code level.

https://muen.codelabs.ch/

Мне не интересно, но Вы вроде проявляли интерес ко всяким ядрам.

Ответить