The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Леннарт Поттеринг предложил новую архитектуру верифицированной загрузки Linux, opennews (?), 26-Окт-22, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


134. "Леннарт Поттеринг предложил новую архитектуру верифицированн..."  +/
Сообщение от a_kusb (ok), 26-Окт-22, 13:47 
А прикольно было бы если бы после революции сделать Эльбрус лекарством против этого. Без спекулятивных дыр и функций против пользователя.
Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

178. "Леннарт Поттеринг предложил новую архитектуру верифицированн..."  +1 +/
Сообщение от Аноним (178), 26-Окт-22, 15:17 
Пользователи будут ныть ааа у меня не собирается Х, у меня тормозит Y
Ответить | Правка | Наверх | Cообщить модератору

338. "Леннарт Поттеринг предложил новую архитектуру верифицированн..."  –1 +/
Сообщение от Аноним (86), 27-Окт-22, 16:14 
А компилятор разве уже перестали давать только после подписывания NDA? И проприетарным он уж точно остался, в этом я на 100% уверен.
Ответить | Правка | Наверх | Cообщить модератору

359. "Леннарт Поттеринг предложил новую архитектуру верифицированн..."  +/
Сообщение от Michael Shigorinemail (ok), 27-Окт-22, 22:10 
Похоже, Вы заблуждаетесь так же, как и я пару лет назад (возможно, даже "благодаря" мне).

lcc входит в ОС Эльбрус, которой штатно комплектуются ВК Эльбрус, которые продаются _без_ NDA.

Ответить | Правка | Наверх | Cообщить модератору

358. "Леннарт Поттеринг предложил новую архитектуру верифицированн..."  +/
Сообщение от Michael Shigorinemail (ok), 27-Окт-22, 22:09 
У-уу, а я им в ответ ною: "а у меня собирается овер 85% сизифа, а у меня не тормозит". :]

Кстати, на домашнем "Эльбрус-16С" поднял первые пару виртуалок для удалённого доступа коллег; также известны стенды Игоря Молчанова в ИНЭУМ, ну и в Норси-Транс под проект можно запросить выделенный сервер для портирования и нагрузочного тестирования.

Ответить | Правка | К родителю #178 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру