目录
- .cargorust: move workspace to top-level2个月前
- .githubci: run style check with expected Rust toolchain14天前
- .reusedep5: fix Cargo.lock path2个月前
- LICENSESAdd LICENSES/GPL-2.0-only.txt5个月前
- ciAdd ability to specify version of SDK1年前
- custom_dtsAdd support for Compulab IOT-GATE-IMX8PLUS5个月前
- docsmanual: various style fixes2个月前
- exampletool: capdl-spec -> capdl-json2个月前
- initialiserStart 2.1.0-dev release cycle2个月前
- libmicrokitlibmicrokit: ack all IRQs (workaround seL4/#1536)3个月前
- loaderloader: hot-fix for RPi4B2个月前
- monitormonitor: fix error overwrite scenario2个月前
- testsUpdate code for GCC version 122年前
- tooltool: fix clippy13天前
- .flake8Initial public source code release of seL4 core platform4年前
- .gitignoreAdd .pdf to gitignore11个月前
- CHANGES.mdRelease notes typo fixes2个月前
- Cargo.lockStart 2.1.0-dev release cycle2个月前
- Cargo.tomlrust: move workspace to top-level2个月前
- DEVELOPER.mdUpdate to seL4 14.0.0 tag2个月前
- LICENSE.mdMake LICENSE.md work for both repo and SDK2年前
- README.mdTransition to capDL3个月前
- VERSIONStart 2.1.0-dev release cycle2个月前
- build_sdk.pybuild_sdk.py: host targets cleanup14天前
- dev_build.pydev_build.py: fix for cargo workspace changes2个月前
- flake.lockRevert "Pin Rust toolchain"2个月前
- flake.nixflake.nix: add extra rust targets2个月前
- mypy.iniInitial public source code release of seL4 core platform4年前
- platforms.ymlRelease 2.1.02个月前
- requirements.txtUpdate PyYAML to 6.0.2 in requirements.txt1年前
邀请码
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:
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.