Great read! Thanks for all the links to Linux kernel source. That's super interesting to see.