Prof. Kubi, Berkeley univ has a very good course on Advanced OS. May be you will find this useful.

https://people.eecs.berkeley.edu/~kubitron/courses/cs194-24-...