Yeah, I wonder what choices their made for their kernel, userspace, etc. Really interested to see how they solved the various challenges and problems that rise up in osdev.