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 - How did we come here?
February 11 2021 by Norman Feske

Some kids from the city once told me about programs called "debuggers". They also use a technology named "green light" to cross the streets. City kids. As we are still far away from urban territory, we are in need of the rural ways of debugging. What are our options? 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...

Pine fun - Excursion to the user land