目录
- .cargo\rust: remove target JSON requirement7个月前
- .githubci: don't build SDK for documentation changes3个月前
- .reuseexamples: add mr_prefill8个月前
- LICENSESAdd LICENSES/GPL-2.0-only.txt1年前
- ciUpdate MSRV to Rust 1.9527天前
- custom_dtsAdd support for Kria K268个月前
- docsStart 2.3.1-dev release cycle1个月前
- exampleexamples/hierarchy: add expected output1个月前
- initialiserStart 2.3.1-dev release cycle1个月前
- libmicrokitlibmicrokit,loader,monitor: omit stack protector1个月前
- loaderlibmicrokit,loader,monitor: omit stack protector1个月前
- monitorlibmicrokit,loader,monitor: omit stack protector1个月前
- testsUpdate code for GCC version 122年前
- tooltool: remove bandaid patch for hotfix #60523天前
- .gitignoreAdd .pdf to gitignore1年前
- .linkcheck-ignore.ymlmanual: document must have CPU features for x863个月前
- CHANGES.mdAdd release notes (CHANGES.md) for Microkit 2.3.11个月前
- Cargo.lockRemove grant_reply permission from reply caps27天前
- Cargo.tomlRemove grant_reply permission from reply caps27天前
- DEVELOPER.mdUpdate MSRV to Rust 1.9527天前
- LICENSE.mdMake LICENSE.md work for both repo and SDK3年前
- README.mdTransition to capDL1年前
- VERSIONStart 2.3.1-dev release cycle1个月前
- build_sdk.pysmp: enable the second cluster for rockpro642个月前
- dev_build.pydev_build.py: do not use --release for tool6个月前
- flake.lockUpdate MSRV to Rust 1.9527天前
- flake.nixnix: update to 26.05 release3个月前
- platforms.ymlplatforms.yml: update for 2.3.11个月前
邀请码
版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9
京公网安备 11010802047560号
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.