Pinned toot

We just released the version 19.11 of the Genode OS Framework.

The highlights of this version are the prototype of a custom block-device encrypter implemented in SPARK, virtualization of 64-bit ARM platforms, new tooling especially geared towards the porting and development of application software, and much improved POSIX compatibility.

genode.org/documentation/relea

Pinned toot

New version of released today, this forth stage features package deployment and routing control via a graphical user interface. This release is a huge jump forward as it allows users to share packages using a federated package indexes.

genode.org/documentation/artic
genode.org/download/sculpt

For information on creating and deploying your own packages, see
genodians.org/

We just released the version 19.11 of the Genode OS Framework.

The highlights of this version are the prototype of a custom block-device encrypter implemented in SPARK, virtualization of 64-bit ARM platforms, new tooling especially geared towards the porting and development of application software, and much improved POSIX compatibility.

genode.org/documentation/relea

Genode 19.08 released, featuring:

- Flexible keyboard layouts
- Custom kernel for 64-bit ARM and NXP i.MX8
- i.MX8 network driver
- SMBIOS table access on x86
- New tooling for light-weight tracing
- General system time concept
- Clipboard handling
- SSH exec channel support
- Qt5 update to version 5.13
- Updated Ada/SPARK runtime
- Disposable VM for handling captive portals
- Consolidation of the C runtime and Noux

genode.org/documentation/relea

In response to requests from people interested in coming to Dresden to work on projects with direct assistance, Genode Labs will hold a new event, the "Genode Community Summer" this year.

For more information, see genodians.org/m-stein/2019-08-

19.05 released

The highlights of version 19.05 are a new kernel-agnostic virtualization interface, initial support for the 64-bit ARM architecture, the use of C++17 by default, a new tool chain based on GCC 8.3, updated C and SPARK runtimes, and the consolidation of build directories across boards.

genode.org/documentation/relea

Genode boosted

Three conclusions to draw from #Google denying #Huawei access to software & the importance #FreeSoftware has for technology users, public bodies, and businesses alike: fsfe.org/news/2019/news-201905

New version of released today, this forth stage features package deployment and routing control via a graphical user interface. This release is a huge jump forward as it allows users to share packages using a federated package indexes.

genode.org/documentation/artic
genode.org/download/sculpt

For information on creating and deploying your own packages, see
genodians.org/

19.02 released,
Release highlights include:

- Sculpt OS with federated software provisioning

- Showcase of a Java-based IoT network appliance (Boot2Java)

- Showcase for a component-based web service (Genodians.org)

- OpenJDK with JIT on 32-bit ARM and 64-bit x86

- Improved Ada and SPARK support

- Initial OCaml bytecode runtime

- API cleanup and safety improvements

- Support for i.MX 6 Quad Sabrelite and Nitrogen6 SoloX boards

genode.org/documentation/relea

Thank you to everyone who participated in the Microkernels and Component based OS devroom at . It was a pleasure to host such an international group of presenters, and it was good to see that the and communities can get along so well :-)

For those that missed it nearly all of the recordings should be available today:
fosdem.org/2019/schedule/track

Which additional programming languages would you like to support? Which languages would you like to see improved?

Currently supported languages:
- Ada / SPARK
- C / C++
- Java
- Nim
- Python
- Rust

This years roadmap for and has been finalized: genode.org/news/road-map-for-2

In 2019, we will focus on practical use cases, on interoperability, and on harmonizing Genode with existing applications and programming languages.

...

- Hardware/Software Co-Design for Efficient Microkernel Execution
- : A sandboxed, re-targetable execution environment for unikernels
- Evolution of file system and disk management in
- Operating System hardening : Dealing with external interrupts
- The impact of Meltre and Specdown on microkernel systems

fosdem.org/2019/schedule/track

The schedule of this year's Microkernel and Component-based devroom has been selected:

- What's new in the world of
- Microkernel virtualization under one roof ()
- A roadmap for the ?
- A microkernel written in Rust: Porting the UNIX-like OS to Armv8
- Hands-on composition of basic components
- : Unikernels Made Easy
...

18.11 is here, in this release we focused on improving quality assurance on various fronts, including static code analysis, on-target test orchestration, and code-coverage measurements.

New features include support for hosting unikernels via , a new health-monitoring mechanism, a Genode SDK, an SSH server, and a new window layouter.

Read more at
genode.org/documentation/relea

Genode boosted
Genode boosted

The third official version of has been released

genode.org/download/sculpt

This version - Sculpt with Visual Composition (VC) - introduces a
novel graphical user interface for the interactive deployment of
subsystems. For the first time, Sculpt can be explored without editing
any text files.

Sculpt VC is available as ready-to-use disk image and is accompanied
with updated documentation:

genode.org/documentation/artic

We are pleased to announce the release of 18.08, which continues our story of sculpting Genode into a general-purpose OS. The release specifically addresses the device-driver support of modern PC hardware, the concern of applying microcode updates to Intel CPUs in a timely fashion, the scalability of application workloads, and the interactive usability of the system.

genode.org/documentation/relea

Genode boosted

are you interested in operating system design and implementation? also into functional programming? come join us at our 6th MirageOS retreat early October in Marrakesh. more details including trip reports from earlier retreats at retreat.mirage.io pls sign up soon! :) #OCaml #MirageOS

Interested in developing a Genode-based secure endpoint operating system? Gapfruit is looking for a Qt/C++ developer: lists.genode.org/pipermail/use

Show more
FLOSS.social

For people who care about, support, or build Free, Libre, and Open Source Software (FLOSS).