The purpose of the seL4 Microkit is to enable system designers to create static software systems based on the seL4 microkernel.
The seL4 Microkit consists of four parts:
- Microkit bootloader
- Microkit library
- Microkit initial task
- Microkit tool
The Microkit is distributed as a software development kit (SDK).
This repository is the source for the Microkit SDK.
If you are a system designer and want to use the Microkit SDK please download a pre-built SDK from the latest release.
If you need help getting started see the seL4 documentation website
as well as the manual in the SDK (doc/manual.pdf).
If you are developing Microkit itself see DEVELOPER.md.