Kry10 - OS, основанная на ядре seL4

0

1

https://www.kry10.com

Кто-нибудь знает, на каких условиях распространяется эта OS?

https://www.kry10.com/resources

https://www.kry10.com/blog/kry10-and-the-sel4-platform-sel4-summit-2022

Ссылка

←	Сейчас идёт стрим про СПО OSSDEVCONF Live

Качество дистрибутивов

→

https://sel4.systems/Foundation/Summit/2022/slides/d2_01_Kry10_Secure_Platform_Boyd_Multerer.pdf

sanyo1234 ☆
(30.09.23 21:30:04 MSK) автор топика

Ссылка

Кто-нибудь знает, на каких условиях распространяется эта OS?

Ты забыл сначала доказать, что она распространяется.

t184256 ★★★★★
(30.09.23 21:48:29 MSK)

Ты не нашел на сайте Download и пошел на ЛОР, чтобы этот раздел за тебя нашли? Его там нет

HerbertHoover ★
(30.09.23 21:51:28 MSK)

Ответ на: комментарий от t184256 30.09.23 21:48:29 MSK

Однако судя по https://www.kry10.com/contact

We’ll make sure to keep you updated as we get closer to broad availability of the Kry10 Platform.

Распространение все же предполагается в будущем?

sanyo1234 ☆
(30.09.23 21:57:01 MSK) автор топика

Ответ на: комментарий от HerbertHoover 30.09.23 21:51:28 MSK

Linux.org.ru is a popular Russian-language Linux community website that provides a forum for users to ask and answer questions related to Linux and open-source software. Users can find answers to their Linux-related questions by posting on the forum or searching for existing threads.

sanyo1234 ☆
(30.09.23 21:59:49 MSK) автор топика