600.439: Microkernel Architecture and Design
Fall 2007 Syllabus (Preliminary)
Last Update: 9/22/2007
This course provides a look at the architecture and design issues in a modern microkernel from the inside. The course will give an overview of the architecture of the Coyotos secure microkernel, and will walk through its source code from power-on through the first interprocess communication.
The 3 hour lecture format will be split each week into two parts, one dealing with overview or design issues and the other looking at some particular part of the kernel.
The basis for grading in this course will be classroom participation and software projects.
The syllabus that follows is a work in progress!
|Week of||Topic(s) and Papers|
Overview and Introduction
Further Overview, Booting the Pentium
Physical Memory, Interrupts, Transactions, and Locking
Part 1: Walk-through of the tools and steps in building a Coyotos image, including mkimage.
Part 2: The capability invocation path.
Part 1: Restart on the capability invocation path.
Part 2: Discussion of the project assignment.
Part 1: Invocation path for kernel-implemented capabilities..
Part 2: Questions related to the project assignment.
Part 1: What capability systems (might be) good for.
Part 2: Page fault handling.
Part 2: Constructor, VirtualCopySpace
Final lecture. Compare and contrast what UNIX got "right" vs. what Coyotos got "right."