Состоялся выпуск разделительного ядра (separation kernel) Muen, развиваемого швейцарской компанией Codelabs.

Muen поддерживает только платформы Intel x86_64 и позволяет гарантировать, что запущенные в нём ядра ОС и приложения не могут получить доступ к ресурсам сверх выделенной для них квоты. Это касается, в том числе, оперативной памяти, процессорного времени и доступа к устройствам ввода-вывода.

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

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

Вернее фреймворка для построения операционных систем — именно такую терминологию предпочитают авторы из 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 демотивирует автора новости от попыток познакомится с наработками проекта глубже, чем чтение документации.

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

Один из разработчиков KDE Аарон Сейго объявил в своем блоге об открытии предварительного заказа планшета Spark Tablet.

Spark Tablet — новый планшет, работающий на ОС Mer Core (на основе MeeGo) и использующий адаптированную версию KDE Plasma Active.

Характеристики планшета:

• Экран с диагональю 7 дюймов с поддержкой multi-touch
• 1 GHz ARM Cortex A9 processor с GPU Mali 400
• 512 MB DDR2 RAM
• 4 GB Nand Flash Disk
• 2 USB ports
• Батарея 3000mAH @ 7.4v
• Вес 355 гр.

Предварительная стоимость планшета — 200 евро.

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

Вышел релиз GNAT GPL 2009 — сборка компилятора GCC от AdaCore.

Новшества:

Добавлена поддержка автоматического импорта определений из C и C++ заголовочных файлов. Теперь не надо дожидаться, пока кто–нибудь сделает привязки. (link link)

Стандартная утилита сборки пакетов gprbuild облегчает задачу сборки смешанных проектов (Ada&C++). Это упрощает внедрение Ады в проекты, уже начатые на C или C++. (link)

Появился порт для JVM, а также набор утилит AJIS, с помощью которых можно на высоком уровне из Java кода вызывать нативный Ada код и наоборот. (link)

Почти одновременно вышел SPARK GPL 2009. SPARK — это набор утилит, проверяющих утверждения касательно кода программы. С точки зрения компилятора, все утверждения находятся в специального вида комментариях, поэтому после успешной верификации исходники компилируются обычным компилятором Ады. Это первый раз, когда SPARK сделан доступным публично. (link)

После долгого перерыва снова есть порт на Mac OS X (x86_64). Предыдущий порт на Mac OS X был в 2006м году для PowerPC.

Полный список платформ в релизе, таким образом:

• dotnet-windows
• jvm-windows
• x86-windows
• x86-linux
• x86_64-linux
• x86_64-darwin

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