seL4 Microkit

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:

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.

Name		Name	Last commit message	Last commit date
Latest commit History 427 Commits
.github		.github
.reuse		.reuse
LICENSES		LICENSES
ci		ci
custom_dts		custom_dts
docs		docs
example		example
libmicrokit		libmicrokit
loader		loader
monitor		monitor
tests		tests
tool/microkit		tool/microkit
.flake8		.flake8
.gitignore		.gitignore
CHANGES.md		CHANGES.md
DEVELOPER.md		DEVELOPER.md
LICENSE.md		LICENSE.md
README.md		README.md
VERSION		VERSION
build_sdk.py		build_sdk.py
dev_build.py		dev_build.py
flake.lock		flake.lock
flake.nix		flake.nix
mypy.ini		mypy.ini
platforms.yml		platforms.yml
requirements.txt		requirements.txt

Provide feedback