and also this: https://www.udacity.com/course/advanced-operating-systems--u...

My university also has its own recordings for the introductory OS class: https://recordings.engineering.illinois.edu:8443/ess/portal/...

with the corresponding course website (for the latest term): http://illinois-cs.github.io/ and lab slides http://weichunstevelee.github.io/labs.html

Unfortunately, access to the machine problems code isn't available unless you are an enrolled student.

But if you are looking just for video recordings, what I linked to is a decent resource.

For Operating Systems Design (a more advanced course): https://recordings.engineering.illinois.edu:8443/ess/portal/...