techdoc

frontmatter

created on

June 13, 2026

quoting in dynamic values It’s a bit counterintuitive, but the following works, no escaping of the double quotes is required: ...

useful add-ons

created on	April 3, 2026
last modified on	June 9, 2026

This is a collection of useful CLI utilities, which usually are not by default installed by GNU/Linux distributions. ...

building an Unified Kernel Image with dracut

created on

January 14, 2026

The dracut man page describes dracut as a ’low-level tool for generating an initramfs/initrd image’, but with ‘uefi=yes’ in dracut’s config, dracut builds an UEFI image that is executable by an UEFI firmware. This is perfect for building an Unified Kernel Image....

Unified Kernel Images

created on

January 14, 2026

A Unified Kernel Image (UKI) is a combination of an UEFI boot stub, a Linux kernel, and further (optional) resources like an initrd, all combined into a single UEFI image. This file can either be directly invoked by the UEFI firmware bootloader or by a bootloader like rEFInd or an OS’ bootloader. ...

frontmatter

created on

June 13, 2026

quoting in dynamic values It’s a bit counterintuitive, but the following works, no escaping of the double quotes is required: ...

useful add-ons

created on	April 3, 2026
last modified on	June 9, 2026

This is a collection of useful CLI utilities, which usually are not by default installed by GNU/Linux distributions. ...

basic git concepts

created on	October 28, 2023
last modified on	May 6, 2026

overview of a git repo The following picture shows the structure of a git repo and illustrates the flow of data between the repo’s components. The arrows also illustrate the workflow when working with git, with each arrow labeled with the corresponding git command (i.e. add for the command git add): ...

building an Unified Kernel Image with dracut

created on

January 14, 2026

The dracut man page describes dracut as a ’low-level tool for generating an initramfs/initrd image’, but with ‘uefi=yes’ in dracut’s config, dracut builds an UEFI image that is executable by an UEFI firmware. This is perfect for building an Unified Kernel Image....