Additional Resources¶

This page contains pointers to additional resources and readings that complement what we see in the lectures.

Pintos¶

OSDev.org: A very detailed wiki with reference documentation for OS kernel implementors. This wiki is a great resource if you need more detailed explanations on how the OS interacts with the x86 architecture, as well as many other aspects of implementing an OS.
Writing a boot loader in Assembly and C: Part 1 and Part 2 (found by David Ramsey, OS‘2017)
Anatomy of a Program in Memory: Detailed explanation of how a program is laid out in memory (in 32-bit processors)

Intel® 64 and IA-32 Architectures Software Developer’s Manual - Volume 3A: System Programming Guide, Part 1: Contains all the gory details of the x86 (and x86_64) architecture that are relevant to the operating system (most notably, Chapter 4 contains a detailed specification of x86 paging, including a specification of the page tables and their entries).