Кто-нибудь знает, на каких условиях распространяется эта OS?
https://www.kry10.com/resources
https://www.kry10.com/blog/kry10-and-the-sel4-platform-sel4-summit-2022
Кто-нибудь знает, на каких условиях распространяется эта OS?
https://www.kry10.com/resources
https://www.kry10.com/blog/kry10-and-the-sel4-platform-sel4-summit-2022