The seL4 Microkit | seL4 docs
Getting Started
Overview
Tutorials
Setting up with Docker
Repo manifest cheat sheet
The seL4 Kernel
Overview
Setting up
Tutorial
Setting up
Getting the tutorials
Hello world
Capabilities
Untyped
Mapping
Threads
IPC
Notifications
Interrupts
Fault handling
MCS
End
How-to
API docs
Manual
Supported platforms
Verified configurations
Configurations
Standalone seL4 builds
Bitfield generator
Testing & benchmarking
seL4test
Debugging guide
Debugging user space
sel4bench
Benchmarking guide
Contributing
Porting to a new platform
Releases
Sources
Microkit
Overview
Setting up your machine
Tutorial
Welcome
Part 0 - Setting up
Part 1 - Serial server
Part 2 - Client
Part 3 - Wordle server
Part 4 - Virtual machines
End
Manual
Roadmap
Supported platforms
Releases
Sources
CAmkES
Overview
Setting up your machine
Tutorials
Hello CAmkES
Introduction
Events
Timer
Virtual Machines
Cross-VM connectors
How-to
Manual
Supported platforms
Virtualisation
CAmkES VM
VM library
VMM library
Releases
Sources
C support
C runtime
User-level libraries
Build System
Tutorials
Init & Threads
IPC
ELF loading & Processes
Timer
How-to
Rust support
Overview
How to use
Tutorial
API
Supported configurations
Releases
Sources
ELF loader
ELF loader for C
capDL
Overview
Language Spec
capDL loader (C)
Releases
Examples & demos
Overview
The seL4 Microkit
The seL4 Microkit is an operating system framework on top of seL4. It provides a<br>small set of simple abstractions that ease the design and implementation of<br>statically structured systems on seL4, leveraging the kernel’s benefits of<br>security and performance.
The Microkit is distributed as an SDK that integrates with the build system of<br>your choice, significantly reducing the barrier to entry for new users of seL4.
Tutorial
Learn how to use Microkit and its concepts to make a system.
Learn more
Manual
User's manual for the Microkit SDK.
Learn more
Releases
SDK downloads and release notes.
Learn more
Sources
If you are planning to make contributions to the Microkit, this is<br>where to start.
Learn more
The seL4 Microkit is part of the repositories managed by the seL4 Foundation. It<br>is currently mainly maintained and developed by the Trustworthy Systems research<br>group at UNSW. See also the Microkit project page there.