secc
/
seL4-microkit
mirror of https://github.com/seL4/microkit.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
405 Commits 4 Branches 5 Tags 12 MiB
Rust 58.9%
C 26%
Python 5.9%
Assembly 4.5%
Makefile 4%
Other 0.6%
Go to file
Ivan-Velickovic 413c1c9cd6 tool: remove accidentally committed file 
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
 		2025-07-19 20:07:33 +10:00
.github github: use central CI workflows 2025-03-17 12:15:59 +11:00
.reuse manual: add section on internals 2025-03-04 17:29:31 +11:00
LICENSES docs: type set manual in seL4 foundation style 2024-06-27 10:54:11 +10:00
ci Add ability to specify version of SDK 2024-08-20 15:24:55 +10:00
docs Move list of supported platforms into manual 2025-07-16 15:38:09 +10:00
example Support building with LLVM 2025-07-01 11:45:13 +10:00
libmicrokit Support building with LLVM 2025-07-01 11:45:13 +10:00
loader Support building with LLVM 2025-07-01 11:45:13 +10:00
monitor Support building with LLVM 2025-07-01 11:45:13 +10:00
tests Update code for GCC version 12 2024-02-13 20:17:49 +11:00
tool/microkit tool: remove accidentally committed file 2025-07-19 20:07:33 +10:00
.flake8 Initial public source code release of seL4 core platform 2021-10-20 23:03:39 +00:00
.gitignore Add .pdf to gitignore 2025-03-06 11:04:39 +11:00
CHANGES.md loader: fixes with UART init 2025-03-20 16:59:29 +11:00
DEVELOPER.md Rework README to talk about seL4 docs-site 2025-07-16 15:38:09 +10:00
LICENSE.md Make LICENSE.md work for both repo and SDK 2023-09-13 14:35:42 +02:00
README.md Rework README to talk about seL4 docs-site 2025-07-16 15:38:09 +10:00
VERSION Start 2.0.1-dev release cycle 2025-03-21 13:55:48 +11:00
build_sdk.py Support building with LLVM 2025-07-01 11:45:13 +10:00
dev_build.py Support building with LLVM 2025-07-01 11:45:13 +10:00
flake.lock Add initial Nix flake for development shell 2024-10-25 13:48:56 +11:00
flake.nix nix: remove unused aarch64-toolchain & add qemu 2025-05-28 13:59:40 +10:00
mypy.ini Initial public source code release of seL4 core platform 2021-10-20 23:03:39 +00:00
requirements.txt Update PyYAML to 6.0.2 in requirements.txt 2024-08-12 13:39:45 +10:00

README.md

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:

  • 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.