[an error occurred while processing this directive] [an error occurred while processing this directive]

(none)

Course information


Course Literature

Books

The main textbook for this course is: Other useful books are:

Lab documents

Lab assignments

see the lab page

Pintos

Programming in C

Debugging

We use the GDB debugger for debugging in the Pintos labs. A general introduction to debugging is

Some follow-up courses at IDA

[an error occurred while processing this directive]