Genodians.org - Stories around the Genode Operating System

Pine fun - Excursion to the user land
February 18 2021 by Norman Feske

Equipped with the rudimentary debugging skills presented in the previous article, it is time to conquer the remaining stumbling blocks on our way to the user land. Continue...
Pine fun - Kernel skeleton
January 28 2021 by Norman Feske

Of the several kernels supported by the Genode OS framework, the so-called base-hw kernel is our go-to microkernel for ARM-based devices. Section Execution on bare hardware of the Genode Foundations book goes into detail about its underlying software design. This article describes the process of porting this kernel to a new board, specifically the Pine-A64-LTS single-board computer. Continue...
Exploring the ARMv8 system level - Part 2
June 18 2019 by Stefan Kalkowski

In this blog series I write about my insights when porting Genode's hw kernel to ARMv8. In the first post I've described how to first create a non-functional dummy system image. In this post, I want to show how easily you can develop and debug early system level startup code when using QEMU. Continue...
Exploring the ARMv8 system level
June 17 2019 by Stefan Kalkowski

Recently I got the chance to explore the 64-bit ARM system level universe. Finally, there were resources left to implement support for the ARMv8 architecture in Genode's own hw kernel. In the following blog posts I'd like to summarize my insights. Continue...

Pine fun - Excursion to the user land