Cool, when I was enrolled in the OS class at university, we worked with JOS (exokernel) instead and I relied heavily also on the great OSTEP[0] learning resources!

[0]: https://pages.cs.wisc.edu/~remzi/OSTEP/