Thanks! Do you know if the course is taught online? I couldn't find any lecture recordings on OpenCourseWare. I did find this YouTube playlist about xv6[1], which looks very good, but it's not from MIT.
[1]: https://www.youtube.com/playlist?list=PLbtzT1TYeoMhTPzyTZboW...