twied.github.io Short-form thoughts on systems programming, Linux kernel development, and virtualization.