https://github.com/sel4/microkit

Microkit - A simple operating system framework for the seL4 microkernel
https://github.com/sel4/microkit

Last synced: 4 months ago
JSON representation

Microkit - A simple operating system framework for the seL4 microkernel

• Host: GitHub
• URL: https://github.com/sel4/microkit
• Owner: seL4
• License: other
• Created: 2021-10-20T22:57:25.000Z (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2026-03-27T06:47:26.000Z (5 months ago)
• Last Synced: 2026-03-27T13:59:12.616Z (5 months ago)
• Language: Rust
• Homepage: https://docs.sel4.systems/projects/microkit/
• Size: 1.79 MB
• Stars: 178
• Watchers: 26
• Forks: 72
• Open Issues: 49
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE.md
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


# 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 five components:

   * Microkit bootloader

   * CapDL initialiser

   * Microkit library

   * Microkit monitor

   * 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](https://github.com/seL4/microkit/releases).

If you need help getting started see the [seL4 documentation website](https://docs.sel4.systems/projects/microkit/)

as well as the manual in the SDK (`doc/manual.pdf`).

If you are *developing* Microkit itself see [DEVELOPER.md](./DEVELOPER.md).