-
Exploring Genode Base HW with Raspberry Pi - further workflow automation
In a previous article I described step by step how to prepare a Raspberry Pi and Genode build system to be able to almost automatically build and test compiled images on a device. There was one piece missing in this puzzle that made it incomplete: after each build device had to be started manually. This article describes my solution to this missing element. Continue...
-
Exploring Genode Base HW with Raspberry Pi - beginning
It started few months ago. Continue...
Stories around the Genode Operating System
