During this hands-on course small teams (2-3) of students design and build their own little multi-server operating systems on top of the L4Ka::Pistachio microkernel. Among the goals is to gain practical experience in the design and implementation of a large software project within a team.
SDI lecture focuses on different "building blocks" of operating systems (e.g., communication, multi-tasking/-processing, virtual memory management, file services) and presents examples and case-studies found in contemporary operating systems. It is (mandatorily) combined with the SDI lab (registration required), which gives the students the opportunity to design (and later implement), team wise, their own little multi-server operating system on top of the L4Ka::Pistachio microkernel. Once we have introduced build environment, tools, and example code, we will focus on incorporating the building blocks from lecture into our to-be-designed OS, and have each team present their own design ideas for one particular aspect. Subsequent lab slots are reserved for implementation.