Ask HN: Distributed Systems Course Suggestions

I'm looking for course suggestions in intermediate to advanced topics in Distributed systems and operating systems.

Example: this course on Raft by David Beazley https://www.dabeaz.com/raft.html.

Any suggestions/help/advice is much appreaciated.