Below you can find documentation and reference sheets on tools, miscellaneous devices, topics, etc., related to this course. More links and documents may be added as the semester progresses.
There is no textbook for this course. However, the following is a list of books on operating systems you may find useful.