Topsy - A Teachable Operating System

Where is the documentation?

There is a small booklet describing the whole system (Adobe PDF, PostScript (uncompressed)).

Recommended course material and textbooks:

Silberschatz, Galvin: Operating System Concepts
Silberschatz, Galvin, Gagne: Applied Operating System Concepts
Tanenbaum: Operating Systems/Modern Operating Systems
Hennessy, Patterson: The Hardware/Software Interface

Students' Theses (Diplom/Semesterarbeiten)

Dominik Moser (DA): Topsy SMP (Symmetrical Multiprocessing)

Lukas Ruf (SA): Topsy i386

David Schweikert (SA): TCP/IP Stack for Topsy

Toni Kaufmann und Reto Gaehler (SA): TCP for Topsy

Thomas Bretscher (SA): Dynamic Module Loader

Where is the source?

Check out the source site for the current release.

The source code itself is also available as hyperlinked HTML.

Are there any programming examples?

There's a page with some examples from the lecture and/or exercises.

Booting explained: If you ever wondered what's going on when an OS is booted have a look at this commented trace.