Blogs / Personal blogs

x86.lol

x86.lol

I’m blogging about low-level topics and my operating system projects on x86 and RISC-V.

Popular posts
4
Total points
609
HN comments
213
Rank
#4,081 personal

Visit x86.lol → RSS feedOn Hacker News Jan 2020 – May 2026

Systems & Performance 4Software Engineering 2Open Source 1Hardware & Electronics 1

2

The Polyglot NixOS

Recently a colleague mentioned building NixOS images that run unchanged on multiple architectures. Given the past adventures on this blog with systemd-repart and cross-compiling NixOS, I decide to give this a go.

4

Lanzaboote – NixOS Secure Boot

Secure Boot protects a system from an attacker that compromises the boot flow. For example, without Secure Boot it is easy to replace the code that reads your disk encryption password and store it somewhere where the attacker can pick it up later. So ideally you want Secure Boot to be enabled to limit the code that…