x86.lol x86.lol

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

Polyglot NixOS: The Same Disk Image for All Architectures
x86.lol·21w·Hacker News, r/NixOS
Quick and Dirty Website Change Monitoring
x86.lol·40w·Hacker News
FOSDEM Edition: Thoughts on the Mikrokernels
x86.lol·67w·Hacker News
Hardening C Against ROP: Getting CET Shadow Stacks Working
x86.lol·86w
Immutable Systems: Cross-Compiling for RISC-V using Nix Flakes
x86.lol·86w
Immutable Systems: NixOS + systemd-repart + systemd-sysupdate
x86.lol·90w
Confidential Computing: Complexity vs Security
x86.lol·97w
RISC-V: The (Almost) Unused Bit in JALR
x86.lol·126w
Split Lock Detection VM Hangs
x86.lol·132w
Intel TDX Doesn't Protect You from the Cloud
x86.lol·151w
The Flawed Design of Intel TDX
x86.lol·171w
Lanzaboote: Towards Secure Boot for NixOS
x86.lol·181w·Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help