В прошлом месяце свободная (AGPLv3) микроядерная ОС (вернее обобщённый фреймворк для построения таковых) Genode порадовала нас релизом 26.02:

( читать дальше... )

>>> детали...

3 июня разработчики ОС Redox опубликовали ежемесячный публичный отчёт о прогрессе в разработке за май 2024.

• COSMIC. Джереми Соллера (разработчик из System76, а так же разработчик COSMIC в Redox, ссылка на персональный гитхаб) занимался заменой компонентов с Orbital на собственные COSMIC-аналоги, и теперь COSMIC-файлы, COSMIC-редактор и COSMIC-терминал являются постоянной частью рабочего стола Redox:

  У нас все еще есть несколько ошибок при выходе из приложений, но в остальном они работают без сбоев и выглядят великолепно!
  

• Обновление инструментария. Собственная ветка Rust была обновлена ​​до версии от 11 мая 2024 г. Исправлено множество проблем с программами, требующими последней версии Rust.
• Улучшения самостоятельного хостинга. Порт компилятора Rust был обновлен для соответствия версии собственного кросс-компилятора Rust.
• Обновлён собственный порт LLVM.
• Обновление Mesa3D. Собственная ветка Mesa3D была обновлена ​​до последней стабильной версии 24.0.8.
• Программная часть. Одним из участников разработки, Риббоном (Ribbon, ссылка на персональный гитхаб), упаковано больше программ, утилит и инструментов Cargo.

Для справки: Redox это unix-подобная микроядерная операционная система, написанная на языке программирования Rust с акцентом на безопасность и высокую производительность. При разработке использовался опыт таких ядер и операционных систем, как SeL4, Minix, Plan 9 и BSD. В качестве цели ставится создание экосистемы, похожей на GNU или BSD, но создаваемой на безопасном для памяти языке и с использованием актуальных для 2010-х годов технологий. Среди сопутствующих компонентов особо выделяются:

• микроядро, выполненное по типу ядра MINIX;
• библиотека Newlib для программ на Си (аналог glibc);
• драйверы работают в пространстве пользователя;
• имеется опционально включаемый GUI — Orbital;
• Ion shell — базовая библиотека для оболочек и выполнения команд в Redox, а также оболочка по умолчанию;
• файловая система TFS, аналог ZFS;
• пакетный менеджер Magnet;
• менеджер памяти Ralloc.

Проект существует и активно развивается с 2015 года, распространяется по лицензии MIT.

>>> Подробности на официальном ресурсе разработчиков

Недавно создатели фреймворка построения микроядерных ОС Genode порадовали нас релизом ОС общего назначения Sculpt 24.04.

( читать дальше... )

>>> Подробности

Вернее фреймворка для построения операционных систем — именно такую терминологию предпочитают авторы из Genode Labs.

Разработки доступны под свободной лицензией AGPLv3 и, по желанию, коммерческой лицензией.

Попытка сделать вариант, доступный для использования кем-то, помимо энтузиастов разработки микроядер, называется SculptOS.

Приятной особенностью проекта является чрезвычайно подробная документация ОС, оформленная в виде регулярно обновляемой книги Genode Foundations.

( читать дальше... )

>>> Подробности

Fuchsia — операционная система от Google, в основе которой лежат оригинальное микроядро Zircon, написанное на языках С и C++, и пользовательская оболочка, написанная на языке Dart с использованием фреймворка Flutter.

Новая система следует четырём принципам:

• безопасности — каждое приложение Fuchsia получает тот минимальный набор прав, который необходим для его корректной работы;
• обновляемости — программы и обновления безопасности Fuchsia должны доставляться так же легко и быстро, как это делается в Web;
• разнообразию — программы для Fuchsia могут быть написаны с помощью разных инструментов, включая C++, Web, Rust, Go, Flutter и Dart;
• прагматичности — Fuchsia не исследовательский эксперимент, а операционная система для конечного пользователя.

25 мая началось тихое развёртывание Fuchsia на устройствах Google Nest Hub первого поколения (Google Home Hub) — «умного дисплея» с голосовым управлением, входящего в экосистему Google Home. В рамках тестирования на устройствах пользователей заменяется Cast OS на ядре Linux, но интерфейс и функциональность остаются идентичными.

Ядро распространяется под лицензией MIT, а пользовательские компоненты под лицензиями BSD или Apache. Исходный код доступен через Git.

>>> Подробности

Вернее фреймворка для построения операционных систем — именно такую терминологию предпочитают авторы из Genode Labs.

Данный конструктор микроядерных ОС поддерживает несколько микроядер из семейства L4, ядро Muen и собственное минималистичное ядро base-hw.

Разработки доступны под лицензией AGPLv3 и, по желанию, коммерческой лицензией: https://genode.org/about/licenses

Попытка сделать вариант, доступный для использования кем-то помимо энтузиастов разработки микроядер называется SculptOS: https://genode.org/download/sculpt

В данном релизе:

• полная переработка графического стека (в будущем позволит без проблем рестартовать драйвера в случае сбоя);
• улучшения в интеграции Qt, позволившие частично портировать браузер Falkon (что достаточно наглядно иллюстрирует степень готовности к использованию ОС обывателями);
• обновления подсистемы шифрования (написанной на SPARK/Ada!);
• обновления VFS;
• и множество других улучшений.

Из особенностей данного проекта можно отметить следующее:

• повсеместное использование xml в качестве формата конфигурации - что может вызвать идиосинкразию у некоторых комментаторов;
• эталонный уровень написания release notes и документации — если бы все открытые проекты придерживались подобных стандартов жизнь была бы легка и удивительна.

В целом проект радует регулярными релизами, активно и планомерно развивается и выглядит очень перспективным в качестве альтернативы GNU/Linux в светлом микроядерном будущем. Увы, отсутствие порта Emacs демотивирует автора новости от попыток познакомится с наработками проекта глубже, чем чтение документации.

>>> Подробности

18 июня состоялся релиз Debian GNU/Hurd 2017, основанный на Debian 9 «Stretch».

На данный момент ОС доступна только для i386 и поддерживает около 80 % пакетов из репозиториев Debian.

Основные изменения:

• Ядра GNU Hurd и GNU Mach обновлены до версий 0.9 и 1.8 соответственно. Помимо множественных улучшений, они привносят повышенную стабильность при длительной работе под высокой нагрузкой.
• Обновлён инструмент fakeroot, который теперь может использоваться для более быстрой и безопасной сборки пакетов.
• Появилась возможность запуска subhurd'ов от непривилегированного пользователя, что обеспечивает простую и лёгкую виртуализацию.
• Реализована поддержка использования более 3 ГиБ ОЗУ.

Установочные образы Debian GNU/Hurd 2017 представлены в трёх вариантах: NETINST, CD и DVD. Также создан предустановленный образ, облегчающий задачу желающим попробовать Debian GNU/Hurd на виртуальной машине.

>>> Подробности

Видеозаписи всех докладов Moscow Virtualization Meetup можно посмотреть и скачать на сайте проекта Я.Гости:

• Что нового в NOVA Microhypervisor – Василий Сартаков, ksys labs
• CRIU 1.0. Что дальше – Андрей Вагин, Parallels Inc.
• Использование контейнеризации в среде массового хостинга – Павел Одинцов, FastVPS
• Другая виртуализация – Сергей Василенко, Mirantis Inc.
• OSv – The OS designed for the Cloud – Glauber Costa (Lord Glauber of Sealand), OSv / Cloudius Systems
• Управление образами виртуальных машин: libguestfs, virt-tools – Михаил Кулемин, Fedora Project
• Решения виртуализации и облачная инфраструктура, построение гетерогенного облака средствами Red Hat – Андрей Маркелов, Red Hat

Также команда Яндекса выложила фотоотчёт.

Мероприятие получилось не по-субботнему насыщенным, но оно того стоило.

>>> Подробности

Компания ksys labs при поддержке Genode Labs и сообщества разработчиков и исследователей микроядерных систем организует Летнюю Школу Системного Программирования (SSS'13). В рамках Школы вы сможете познакомиться с актуальными научными проектами в области системного программирования, виртуализации и надежности.

Участие в Школе бесплатное, но количество участников ограничено. Лекции будут проводиться на английском и русском языках. По итогам Летней школы предусмотрена стажировка с дальнейшим трудоустройством.

Направления летней школы

• Микроядерные ОС и их безопасность
• Виртуализация
• Надежность

Лекторы

• Bjoern Doebel, PhD Student in Operating Systems at TU Dresden, Germany.
• Sartakov Vasily, ksys labs, Russia.
• Dr.-Ing. Norman Feske, Genode Labs, Germany.
• Udo Steinberg, Research Scientist at Intel, Germany.

Ключевые Даты

01 Июня Начало приема заявок
15 Июля Окончание приема заявок
25 Июля Публикация результатов отбора
5-6 Августа Летняя Школа

Отборы

Для того чтобы принять участие в Школе необходимо заполнить анкету и выполнить практическое задание. Практическое задание представляет собой несколько задач с прошлой Летней Школы, позволяющее продемонстрировать знания в области операционных систем и навыки программирования.

>>> Подробности

Research In Motion поглотила компанию-разработчика встраиваемой ОС QNX QNX Software Systems

RIM планирует использовать наработки Harman/Kardon и QNX в своих мобильных смартфонах и автомобильных информационных и аудио системах

>>> Подробности

Codezero Microkernel - написанное с нуля микроядро, относящееся к семейству L4. Оно предназначено для встраиваемых систем и позиционируется создателями как «безопасный встраиваемый (embedded) гипервизор».

Кроме того, Codezero Microkernel - это современная, легкая в использовании, документированная, расширяемая, переносимая система, код которой открыт под лицензией GPL v.3. Основная поддерживаемая платформа - ARM.

Основные изменения в новой версии:

• Добавлены контейнеры (Containers), предоставляющие «конфигурируемый метод создания виртуальных вычислительных сред» (то есть виртуализации и защиты ресурсов).
• Capability-based Security - новое средство, позволяющее обеспечить защиту объектов ядра, системных вызовов, а также процессов и контейнеров.

Скачать.

Quick start.

>>> Подробности

Это первый основной релиз легендарной микроядерной операционной системы после 2004 года. Среди новых возможностей в первую очередь отмечается существенное увеличение производительности. Полностью переработана вся сетевая подсистема, новый Core Networking stack, основанный на коде NetBSD 4.0, обеспечил увеличение скорости работы в 2 раза.

В сентябре 2007 года QNX открыла исходные тексты системы.

>>> Подробности

Prex — это портативная операционная система реального времени для встраиваемых систем, предназначенная специально для маленьких, с ограниченными ресурсами, платформ. Небольшая, надежная, написана на языке C на основе микроядра традиционной архитектуры. Микроядро Prex предоставляет только основные функции для выполнения задач, потоки, управление памятью, IPC, исключения и синхронизации. Другие основные функции ОС — процессы, файловую систему, загрузку приложений и сетей — предоставляют сервисы пользовательского режима. Кроме того, Prex предусматривает слой эмуляции POSIX в целях использования существующих *nix приложений. Эта конструкция системы позволяет выполнять одновременно как родные задачи реального времени, так и общие POSIX-процессы, не уменьшая производительности в режиме реального времени.

Минимальные системные требования:

• процессор: 32-bit,
• память: 128KB RAM (ядро < 25k байт),
• таймер: таймер с программируемыми интервалами.

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

Изменения: Добавлена поддержка файловой системы FAT и функции FIFO/pipe.

Распространяется под лицензией BSD.

>>> Подробности