История изменений
Исправление sanyo1234, (текущая версия) :
KryOS пока даже не релизнулась, вроде?
Kry10 :)
https://www.kry10.com/blog/kry10-and-the-sel4-platform-sel4-summit-2022
Исходная версия sanyo1234, :
KryOS пока даже не релизнулась, вроде?
https://www.kry10.com/blog/kry10-and-the-sel4-platform-sel4-summit-2022