I need to write more blog posts. Maybe something about exciting recent developments in #Linux? Eh, how about GNU Hurd system calls.
https://iandouglasscott.com/2024/02/09/hello-hurd
But there *are* some interesting lessons to learn from something like the Mach microkernel (for OS design, and more generally).