-
The most widely deployed mobile virtualization solution
Data Sheets
Open Kernel Labs Blog
August 18, 2008
OKL4 teaching slides published
I'm making my L4 teaching/training slides available for general use, see the web site of my UNSW course on Advanced Operating Systems. The slides contain some general microkernel and L4 material, as well as a detailed discussion of the OKL4 API (specifically the OKL4 2.1 release).
This is the structure:
- Week 01 consists of two parts: a general microkernel introduction, followed by an overview of OKL4 constructs
- Week 02 presents the complete OKL4 release 2.1 API (including pointing out differences to previous L4 versions, and indicating future changes)
- Week 03 provides an in-depth discussion of microkernels and what makes them tick (and the reasons L4's predecessors didn't work). This belongs logically between the two parts of the Week 1 material, but was deferred to get the UNSW students started on their project. This material is optional if you don't care why things are the way they are and just want to work with OKL4.
Over the next few weeks I'll add slides for material that is relevant to building operating systems, but not particular to L4.
Posted by Gernot Heiser on August 18 at 07:24 AM
blog comments powered by Disqus
About Gernot Heiser:
Gernot Heiser, Co-founder and Consulting Scientist, never thought he would be in the business world. Prior to NICTA's creation in 2003, Dr Heiser was a full-time faculty member at the University of New South Wales. However, this die-hard academic couldn’t pass up the opportunity to see the commercialization of this research. Gernot still loves teaching, almost as much as he loves good wine and good food. And anyone will tell you that Gernot knows his wine.