I'd also recommend this. There's even more information on a newer version of this course's site, 6.S081 [^1].

[^1]: https://pdos.csail.mit.edu/6.S081/2020/schedule.html