OSTEP resources

One of my personal learning goals was to brush up on operating systems. I've heard nothing but high praises about OSTEP, so I picked it up. While studying through, I felt like supplementing my reading with lectures. It turns out that one of the authors has the lectures on YouTube, but they're unlisted, so you can't search for them. After digging I found his course site, which includes his lectures, discussions and some associated code and notes.