miniblog.

Looking back on 10 years of the verified seL4 microkernel: https://microkerneldude.wordpress.com/2019/08/06/10-years-sel4-still-the-best-still-getting-better/ Includes some interesting design notes and comments on avoiding a kernel heap entirely.

An interesting paper looking at bugs in the Linux kernel and exploring which wouldn't work on seL4: https://ts.data61.csiro.au/publications/csiro_full_text/Biggs_LH_18.pdf (Also, apparently Google's Fuschia is based on the Zircon microkernel!)

Minix and how it has won mindshare in a way that Hurd struggled to: https://www.reddit.com/r/hurd/comments/273tij/hurd_the_minix_3_microkernel/chxycem/ (due to seL4, Redox I'm excited re microkernels)