Genodians.org - Stories around the Genode Operating System

Getting Fujitsu U7411 up and running: Network Boot
November 24 2022 by Christian Helmuth

Earlier this year, the Genode team met the challenge to bring our OS to recent Intel Gen11 hardware, more precisely we faced the task to fully enable the Fujitsu LIFEBOOK U7411. But first things first: How to prepare the notebook for remote booting without sufficient legacy BIOS support? Continue...
Sculpt OS on HP EliteBook 840 G5
October 21 2019 by Christian Helmuth

A few weeks ago, I got hold of a brand-new HP EliteBook and was eager to find out how Sculpt OS may do on it. The specs promised a smooth ride but as always I had to face some hidden obstacles. Continue...
How to prepare an x86 notebook for debugging
January 16 2019 by Christian Helmuth

For my first article on Genodians, I recorded my preparation steps to enable a recent notebook model for developments including the preservation of the OEM Windows installation, remote power control, and serial-over-lan logging. Continue...

Getting Fujitsu U7411 up and running: Network Boot