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?
Prof. Kubi, Berkeley univ
has a very good course on Advanced OS.
May be you will find this useful.