可控开源社区

secc/seL4-microkit

同步镜像关注点赞复刻(Fork)

目录

Bill Nguyen

Update rust-sel4 to 33cb132
Branch: microkit-2.2.0-dev
Fixes 2 issues:

Fixed compile error in rust-sel4 when 1GB huge page support is
disabled in the kernel. In some environments such as cloud VMs or older
machines this won’t be available.

Fixed https://github.com/seL4/rust-sel4/issues/319


Signed-off-by: Bill Nguyen bill.nguyen@unsw.edu.au

8天前687次提交

.cargo\rust: remove target JSON requirement2个月前
.githubUpdate seL4 to e912df13天前
.reuseexamples: add mr_prefill3个月前
LICENSESAdd LICENSES/GPL-2.0-only.txt9个月前
cici: make sdk_version.sh script more robust1个月前
custom_dtsAdd support for Kria K263个月前
docsdocs: consistent name for the STM32MP2 board9天前
exampleexample: typo fix2个月前
initialiserStart 2.2.0-dev release cycle2个月前
libmicrokitlibmicrokit: improve __assert_fail3个月前
loaderAdd stm32mp2 support2个月前
monitormonitor: print format fix23天前
testsUpdate code for GCC version 122年前
toolloader: EL2 is actually Stage 1 descriptors13天前
.flake8Initial public source code release of seL4 core platform4年前
.gitignoreAdd .pdf to gitignore1年前
.linkcheck-ignore.ymlAdd linkcheck ignore for ARM downloads4个月前
CHANGES.mdAdd release notes for 2.2.02个月前
Cargo.lockUpdate rust-sel4 to 33cb1328天前
Cargo.tomlUpdate rust-sel4 to 33cb1328天前
DEVELOPER.mdUpdate seL4 to e912df13天前
LICENSE.mdMake LICENSE.md work for both repo and SDK2年前
README.mdTransition to capDL7个月前
VERSIONStart 2.2.0-dev release cycle2个月前
build_sdk.pyAdd stm32mp2 support2个月前
dev_build.pydev_build.py: do not use --release for tool21天前
flake.lockUpdate to Nix 25.113个月前
flake.nixnix: minimise size of texlive closure2个月前
mypy.iniInitial public source code release of seL4 core platform4年前
platforms.ymlAdd stm32mp2 support2个月前
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:

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.

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.

关于

python c makefile

19.6 MB

邀请码

Gitlink（确实开源）

加入我们
官网邮箱：gitlink@ccf.org.cn

QQ群

QQ群

公众号

公众号

版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9 京公网安备 11010802047560号