The "Advanced Operating Systems" looks fantastic! Do you or perhaps anyone else know if there are any video lectures for this similar to Onur's "Computer Architecture" class?
https://people.eecs.berkeley.edu/~kubitron/courses/cs194-24-...
I guess someone else would need to jump in.