seL4 Microkit

The seL4 Microkit is a framework for creating static systems based on seL4. This part of the text assumes that the reader is familiar with the basics of the Microkit framework and API, or is using a companion resource to learn about the Microkit in parallel. Here are three such resources:

• The instructor
• The Mirokit manual
• The Mirokit tutorial

This part also assumes that the reader has worked through chapters 2 and 6 of Part I.