Genodians.org - Stories around the Genode Operating System

Manually installing wsman(1)
January 5 2024 by Josef Söntgen

For convenience and to some degree also necessity most of our x86-based test machines feature AMT to power-cycle the system and also gain serial console access via SOL. On recent systems the controlling part is done via WS-MAN, for which a package is not always readily available on Linux distributions. The following post gives short instructions on how to build it manually and illustrates one or the other pitfall. Continue...
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...

Manually installing wsman(1)