CS 422/522: Design and Implementation of Operating Systems Fall 2022, Yale University

This page is still under construction.

Course Information

Schedule

Assignments

Lecture Notes

Online Resources

• Lab tools guide and debugging tips

• Reading materials about x86 and PC hardware
• How to install compiler toolchain and QEMU
• OSDev Wiki, OSNews, SIGOPS, and advanced readings
• Executable and Linkable Format (ELF) (pdf).
• GNU online manuals including as (the GNU assembler), gdb, gcc, and emacs.
• An excellent online C reference (html).
• Undefined behavior in theory and practice (html).
• An Introduction to Programming with Threads (pdf).
• The art of assembly language (online html and pdf)
• GNU Online Docs, including the complete Emacs manual.
• Frequently-Asked Questions (FAQ) for Emacs and Unix.
• The Zoo, and Zoo-Specific Help Documents