История изменений
Исправление hateyoufeel, (текущая версия) :
До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?
А вообще, на них пишут. Из последнего крутого, что я находил, есть Muen.
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.
Исходная версия hateyoufeel, :
До сих пор не понимаю, почему столько желающих писать на rust и так мало на ada и spark?
А вообще, на них пишут. Из последнего крутого, что я находил, есть Muen.