TempleOS
templeos.org
templeos.org
I like resources such as the source code by address page, and the lack of complicated structures that get in the way of kernel programming, and I think it would still be fun to dig through the I/O and process management code when I have time to translate the naming paradigm so I can follow it.