Articles: #linux


Real-Time Application Development on Linux with PREEMPT RT

34min Monday, 29th September, 2025


While Linux is optimized for throughput and efficiency, real-time applications require bounded worst case latencies. However, with the merging of PREEMPT RT, mainline Linux converts to a real-time operating system (RTOS). Through presenting the application developer’s perspective and the changes PREEMPT RT introduces to the kernel, we review Linux’ real-time capabilities. Additionally, we investigate dynamic worst case execution time (WCET) analysis using a StarFive VisionFive 2 as a case study. Finally, we compare Linux to other RTOSes and argue that the lack of static WCET analysis is Linux’ main drawback for real-time applications.

Real-Time Linux on RISC-V

8min Friday, 27th June, 2025


Setting up Linux v6.12 on a StarFive VisionFive 2 with PREEMPT_RT. Also: How to setup your Linux laptop as a simple NAT router.

grub-install --removable for buggy UEFI

3min Friday, 8th November, 2024


Install Debian on a device with a broken NVRAM.

LunarVim in Distrobox

3min Tuesday, 25th October, 2022


You're missing that one program that isn't available in your Linux distro? With Distrobox, the 'Linux Subsystem for Linux,' you can install it anyways. This article explains how to do that with the example of installing LunarVim on Red Hat.

Bodging MP3 Names in Bash

3min Wednesday, 12th October, 2022


Why do it complicated when a Bash one-liner does it too?

Installing Gentoo To My Liking

13min Tuesday, 26th April, 2022


Gentoo is a Linux distribution that offers as many options as possible. This article leads you through the decisions I took to end up with a system that best suits my needs.

All Articles

Talks: #linux


All Talks

Software Projects: #linux


All Software Projects