Genodians.org - Stories around the Genode Operating System

Firefox & Thunderbird VM for Sculpt 23.04
May 9 2023 by Alexander Böttcher

With the Sculpt 23.04 release several ready-to-use VMs powered by Seoul VMM got updated to the latest version. Continue...
An Android VM for ARMv8 (update)
May 3 2020 by Sebastian Sumpf

This is a follow up on the current state of the An Android VM for ARMv8 line of work. The article explained how to build Android from source and how to execute Android as a virtual machine on Genode. We were able to boot Android successfully but still had issues with the camera and the audio devices. Continue...
Virtual Machine Monitor for ARM
April 9 2020 by Stefan Kalkowski

In my last blog post, I described some aspects of ARMv8 hardware-assisted virtualization. The presented findings were collected during some exploration work I've done together with my colleague Alexander Boettcher during last year. As already mentioned, one outcome of this work was a new Virtual Machine Monitor (VMM) written from scratch for the ARMv8 architecture. In the meantime the VMM got extended to support recent, generic Linux kernels for ARMv8 and ARMv7, and thereby supersedes the former, outdated PoC implementation for ARMv7. Continue...
An Android VM for ARMv8
April 9 2020 by Sebastian Sumpf

In my last article I described how to build a Linux image that can be executed by Genode's VMM on i.MX8 platforms. With this article we take things to the next level by creating and executing an unmodified Android 10 VM on the i.MX 8M EVK SoC. Continue...
CPU affinity with Sculpt OS
March 18 2020 by Alexander Böttcher

With the latest 20.02 Sculpt release we added support to configure the affinity and number of CPUs available to components running on Sculpt. The principal support was already part of the Genode framework since 13.08, but missed to be easily usable on previous Sculpt versions. Continue...
Exploring the ARMv8 system level - Virtualization
February 25 2020 by Stefan Kalkowski

During last autumn, my colleague Alexander Boettcher and me wrote a virtual-machine-monitor for ARMv8 for Genode from scratch. It was an intensive teamwork and much more fun than just poring alone over some problem. In this fifth post about my ARMv8 first steps, I'd like to summarize some of the insights from this work. Continue...
Building a Linux VM image for ARMv8
February 24 2020 by Sebastian Sumpf

This brief article summarizes the steps necessary to build a runnable Linux kernel and initrd disk image that can be executed on top of Genode's custom VMM for i.MX8 platforms. Continue...
Seoul VMM and the new VM interface
May 9 2019 by Alexander Böttcher

In January I presented the ongoing work at the FOSDEM 2019 about the generalization of the virtualization interface on Genode for x86. Now the first bunch of commits entered Genode master for the Seoul VMM. Continue...
Updated packages for Sculpt CE
March 20 2019 by Alexander Böttcher

With the image release of Genode's Sculpt CE yesterday, it is time to report about some updated packages of mine. Continue...
Disposal browser VMs
March 6 2019 by Alexander Böttcher

Since the early beginning of Sculpt I host and maintain two packages for running an up-to-date Firefox as VM. My main motivation is to have the door to the Internet out-of my "work" VM, which contains all sorts of sensible data. Continue...