Sebastian Sumpf
Tomasz Gajewski
Johannes Kliemann
Valery Sedletski
Cedric Degea
Daniel Collins-
Meeting Seed7
A strongly typed programming language. Interpreted and compiled. Performance in the ballpark of C. Memory-safe since decades. I feel embarrassed to admit that I had been totally unaware of Seed7 until mere two months ago. Continue...
-
Experimental multi kernel Sculpt 25.10 PC image
With the release of Sculpt 25.10 I take the opportunity to publish also a multi-kernel image version of Sculpt 25.10. Even so not supported officially, the other capability based microkernels of the Genode OS framework are in a principal working state also to power Sculpt OS. I crafted and uploaded an image for interested people, which contains Sculpt 25.10 with the following kernel combinations Continue...
-
Sculpting with less noise and more clarity
With Sculpt 25.10, we kick off the practical evaluation phase of a new human-oriented configuration format specifically designed for the usage patterns of Genode and Sculpt OS in particular. With a ready-to-use system image, I'm inviting you to try it at home. Continue...
-
Lock-screen component for Sculpt 25.10
When leaving your notebook, locking your displays of your running OS is crucial to avoid any kind of harm - to your system, to your data, to your employer ... Same applies to when running Sculpt OS, which provides all features, just a lock screen component needs to be configured. Continue...
-
Disk I/O optimization with focus on VBox6 - part 1
This first post provides insight into Genode's block I/O stack as used by VBox6 VMs. It starts by recording the status-quo, examining the different layers involved in providing block I/O for VBox6 and shows initial rework steps to improve I/O throughput. Continue...
-
What's new in Sculpt OS 25.04
With Sculpt OS 25.04 released earlier this week, let's take a closer look at some highlights like the new multi-monitor window-management capabilities, display rotation, enhanced sandboxing UI controls, a welcome web-browser update, and enhanced hardware compatibility. Continue...
-
Docker image based on Ubuntu 24.04
The pre-built docker image to easily develop Genode on top of arbitrary host systems got updated to a more recent Ubuntu 24.04 base system. Moreover, it now contains the Genode toolchain 23.05., Qemu 8.2, AMT tools to remote control x86 hardware, CTAGs tools to facilitate Linux device driver porting, and all necessary host tools to run almost any kernel, board, and run-script combination. Please note: for the time being OKL4-based scenarios cannot be build using this container, because its tooling depends on the ancient Python 2.6. Continue...
-
A casual Sculpt OS walkthrough
As we recently got repeatedly asked for a screencast introducing the practical use of Sculpt OS, I have now recorded a guided tour through the installation, use, and customization of Sculpt OS version 24.10. Continue...
-
Moving on from XML? A teaser for a possible alternative
The prominent role of XML throughout Genode has been a recurrent point of critique. Technical pros and cons notwithstanding, syntax is a matter of taste, and XML tastes not favorably to many. Over the past two years, I've secretly pondered over a tasteful alternative, which I'd like to share with you today. Continue...
-
MNT Pocket Reform Sculpt 24.10 Preview Image
Within in the last release cycle we worked on adding and extending the support for the i.MX8MP SoC as also found in one of the SoM options for the MNT Pocket Reform and are happy to show-case a first preview version of Sculpt running on this handy computing device. Continue...
-
Control the devices in your testing fleet
Imagine having a number of devices in a testing fleet, which you use to test your changes periodically or on each push to the repository. You are faced with the challenge of controlling these devices. In this article, I describe the solution we at Gapfuit came up with. Continue...
-
Building Rust projects with a custom profile
Starting with Rust 1.77, our Rust Goa projects were giving us trouble. My colleague Sebastian was quick to figure out and fix the initial runtime linking problem. However, with that out of the way, the applications would simply crash with a segfault. Continue...
-
Genode and RISC OS demo
This is the demo I showed on the RISC OS Southwest show this spring. Continue...
-
A couple of new challenges
An update to Genode's official list of future challenges has been long overdue. Continue...
-
On-target debugging with GDB on Sculpt OS 24.04
With the recent Sculpt release, we introduced initial on-target debugging support to get the best from the ported GNU debugger (GDB) and our custom debug monitor that fuels the Sculpt runtime. This little hands-on introduction is completed by a live demo. Continue...
-
What's new in Sculpt OS 24.04
Sculpt OS 24.04 is packed. The spectrum of topics ranges from user experience, over audio, USB, suspend/resume, on-target debugging, and goes on. In the article, I'm presenting my personal highlights of this most profound release so far, garnished with various bits and pieces of the updated documentation. Continue...
-
FOSDEM 2024 aftermath
This year's FOSDEM was once again an eventful experience. By now, most presentations have become available. Yet I took the opportunity to re-record a more complete version of my talk that I want to share with you. Continue...
-
Manually installing wsman(1)
For convenience and to some degree also necessity most of our x86-based test machines feature AMT to power-cycle the system and also gain serial console access via SOL. On recent systems the controlling part is done via WS-MAN, for which a package is not always readily available on Linux distributions. The following post gives short instructions on how to build it manually and illustrates one or the other pitfall. Continue...
-
A SIP client for Genode on the PinePhone
We ported the "Linphone Console Client" and the "SIP Client for Ubuntu Touch" to Genode to expand the available features on the PinePhone when it comes to mobile communication. This article illustrates the integration and describes how you can experience it yourself. Continue...
-
Create a specialized run target for Goa
If you need special services for your Goa project, you can easily create a customized run target for testing your project. I will describe how you can achieve this in this article with two simple examples. Continue...
-
Crafting a modded Sculpt OS image in a few moderate steps
I'd like to invite you to get playful with Sculpt OS. Because Sculpt OS is entirely Free Software, no user is bound to the decisions taken by us core developers. This article gives you tangible steps to start modding your user experience beyond the mere configuration level. Continue...
-
What's new in Sculpt OS 23.10
My personal highlights and a few technical tidbits about the just released Sculpt OS version 23.10, putting the spotlight on the Framework laptop, the PinePhone, and the MNT Reform laptop. Continue...
-
A first complex Rust package
With the release of depot packages for Sculpt OS 23.10, we finally have all building blocks in place to build and run a Rust package without needing to locally build its Genode dependencies. Continue...
-
Migration of incompatible File Vault containers
The File Vault is a graphical tool for creating and managing encrypted file containers in Genode. The first official version was published with Sculpt 21.03b. Since then, the File Vault is part of the basic tooling for Sculpt. Continue...
-
x86 CPU frequency and power steering with Sculpt 23.10
With Sculpt 23.10 the previous sneak peek feature got integrated into the Genode base framework and hence is readily available with the new Sculpt OS release. Continue...
Stories around the Genode Operating System
