The content is by no means detailed and it is intended to jog your memory with some Pintos specific advise. If you find any topic unclear, I would recommend reading more online and making sure you are comfortable with the basics of C programming language before tacking Pintos.

  • Lecture recording link. Note that you need to login with your Imperial account to view it.
  • The slides are available here. If there are any mistakes let me know and I’ll update them.

Given the unprecedented circumstances and the transition to online teaching, any feedback (link) is very welcome.