News RSS feed

Collaboration with Barkhausen Institut Jul 23, 2021

In the scope of a joint innovation project together with the Barkhausen Institut, we will leverage the combination of Genode's component architecture with hardware-software co-design.

Guidance for porting Genode to a new SoC Jun 01, 2021

Our new "Genode Platforms" documentation complements the existing Genode Foundations book with a wealth of hardware-related topics.

Genode OS Framework 21.05 released May 31, 2021

Genode 21.05 introduces Webcam support and file encryption for Sculpt OS, switches the tool chain to GCC 10, and extends the arsenal of device drivers for i.MX8, Pine64, USB, and RISC-V.

New Sculpt OS version 21.03 Mar 30, 2021

Sculpt OS 21.03 becomes resilient against classes of device-driver failures, introduces configurable real-time priorities, and adds interfaces for CPU-load balancing and screen capturing.

Genode OS Framework 21.02 release Mar 20, 2021

The user-visible features of Genode 21.02 that we released at the end of February are the addition of VirtualBox 6, mobile-data connectivity via LTE, pluggable network drivers, and initial support for the Pine-A64-LTS board.

FOSDEM recordings of our pluggable-device-drivers talk Mar 10, 2021

Among the variety of topics presented at this year's microkernel developer room at FOSDEM, we presented our recent work on pluggable device drivers.

Follow our progress