Судя по описанию:

https://sel4.systems/About/seL4-whitepaper.pdf

и более свежему материалу:

https://www.trustworthy.systems/projects/TS/makatea_reqts.pdf

Ядро seL4 предполагает возможность создания на его базе гипервизора.

Вопрос: Есть ли какие-то готовые тулзы и маны для удобного запуска в таком гипервизоре Linux и по возможности OpenBSD?

Интересует именно верифицируемый вариант seL4, а не гипервизор OKL4 из соседнего форка ядер L4.

А еще лучше, если не гипервизор, а софтовый эмулятор, IMHO он хоть и медленнее, но безопаснее гипервизора, особенно на X86.

Получается, SSH v2 (например в OpenSSH v9.0) и TLS v1.3, если не ошибаюсь ?

Чем они отличаются с точки зрения безопасности с учетом того, что оба поддерживают аутентификацию клиентов и серверов по сертификатам закрытых ключей, вероятно можно привязать аппаратный крипто и к TLS с обоих сторон также как к SSH?

Интересна их сопротивляемость к MITM и другим атакам при использовании аппаратных криптоключей на обоих концах линии.

https://drive.google.com/file/d/19M6CTynWbeeDbal-LHi1whoJJT-Wkp_J/view

Какие плюсы и минусы такого подхода?

PS: позиционно колонки двух сравнительных таблиц внутри PDF документа (по ссылке выше) никак между собой не связаны, это две отдельные таблицы (одна сравнивает виды лицензий, а другая - виды скриптов и расределение прав на них), которые можно было бы аналогично разместить горизонтально одну за другой, если бы было свободное место сбоку.

https://zen.yandex.ru/media/electromozg/da-v-rossii-skoro-poiavitsia-svoi-bez...

Цитата:

В общем, всё идёт к тому, что в районе 2024-2025 годов (по моим оценкам) у России будет свой первый прототип безмасочного литографа для производства чипов по нормам 28 нм и 16 нм, а работы по дальнейшему уменьшению техпроцесса, несомненно, продолжатся.

Пожалуйста, посоветуйте, где можно взять недорогой относительно универсальный одноплатник ARM 64bit с портом SATA и Ethernet для безголового сервера (headless, только SSH доступ) ?

Оперативки желательно 2-4 GB, чем больше - тем лучше конечно.

Пожалуйста, подскажите список компаний, где набирают DevOps стажеров.

Пожалуйста, подскажите, какие крипты позволяют добавлять свои сообщения в блок чейн?

Желательно относительно длинные сообщения, хотя бы от 128-256 символов и более по возможности.

Желательно квантово стойкие типа QRL (в нем недостаточно символов в сообщении).

Хотелось бы для файлов проставлять метки времени типа таких:

The hash code of the file: «$File» according to GOST R 34.11-2012 512 bits:" $GOST512

Для длительного хранения.

PS: Если раздел выбран неправильно, просьба модераторам не удалять сообщение, а перенести его в правильный раздел.

Пожалуйста, посоветуйте готовую софтину, которую можно было бы включить в качестве IMAP прокси между своей почто читалкой и gmail, чтобы за пределами моего компа (в Internet) поддерживалась только 2 factor authentication без использования однофакторных (в контексте почтового клиента) Google application passwords.

Почему все учат Python, мне он не нравится. Мне нравится C# (комментарий)

https://ru.wikipedia.org/wiki/ΜClinux

Даже сайт проекта не открывается, но есть копии в вебархиве:

https://web.archive.org/web/20181014184953/http://www.uclinux.org/pub/uClinux...

Может быть, есть какие-то живые форки этого проекта?

Danube Cloud это менеджер приватного облака узлов виртуализации на базе Joyent SmartOS (ядро IllumOS/SunOS). Это решение можно сравнить отчасти с OpenNebula, Proxmox и vSphere.

Из нового:

• поддержка BHYVE;
• онлайн изменение размера диска BHYVE;
• конвертация KVM в BHYVE.

Основные функциональные возможности:

• основан на базе SmartOS с ZFS, KVM и Solaris zones;
• быстрый и простой деплой;
• веб-интерфейс администрирования, совместимый с мобильными устройствами;
• уникальный уровень безопасности, RBAC;
• поддержка VLAN/VXLAN;
• снэпшоты виртуальных машин;
• интегрированные инкрементальные бэкапы виртуальных машин;
• репликация дисков виртуальных машин с удобным восстановлением одним нажатием;
• интегрирован Zabbix с автоконфигурацией;
• управление DNS и IP адресами;
• multi-tenant дата центр.

>>> Подробная документация

>>> Очень высокая надежность и безопасность гипервизора

>>> Сайт

>>> Подробности (github.com)