登录注册

secc/seL4-microkit

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

分支4

标签7

+ 疑修

Web IDE

Bill Nguyen

rollback rust-sel4 to c30d0e4
The commit ahead (413940c) have a broken change to the initialiser that
causes SError in EL0 on ARM due to incorrect untyped allocation.
Signed-off-by: Bill Nguyen bill.nguyen@unsw.edu.au

20小时前723次提交

.cargo\rust: remove target JSON requirement3个月前
.githubUpdate 'Build SDK' workflow seL4 version6天前
.reuseexamples: add mr_prefill4个月前
LICENSESAdd LICENSES/GPL-2.0-only.txt10个月前
cici: make sdk_version.sh script more robust3个月前
custom_dtsAdd support for Kria K264个月前
docsdocs: trivial fixes18天前
exampleexample: add rules for QEMU tests in Makefile11天前
initialiserStart 2.2.0-dev release cycle3个月前
libmicrokittool: create IPC buffer in the tool, not the ELF18天前
loaderloader: configure interrupt groups only on EL24个月前
monitortool: create IPC buffer in the tool, not the ELF18天前
testsUpdate code for GCC version 122年前
tooltool: remove duplicated range check of stack+MR15天前
.flake8Initial public source code release of seL4 core platform4年前
.gitignoreAdd .pdf to gitignore1年前
.linkcheck-ignore.ymlAdd x86 vCPU on/off API21天前
CHANGES.mdAdd release notes for 2.2.03个月前
Cargo.lockrollback rust-sel4 to c30d0e421小时前
Cargo.tomlrollback rust-sel4 to c30d0e421小时前
DEVELOPER.mddocs: explain how to checkout the seL4 version26天前
LICENSE.mdMake LICENSE.md work for both repo and SDK2年前
README.mdTransition to capDL8个月前
VERSIONStart 2.2.0-dev release cycle3个月前
build_sdk.pyCorrectly default intialize supported boards4个月前
dev_build.pydev_build.py: do not use --release for tool2个月前
flake.lockUpdate to Nix 25.114个月前
flake.nixnix: minimise size of texlive closure3个月前
mypy.iniInitial public source code release of seL4 core platform4年前
platforms.ymlAdd stm32mp2 support3个月前
requirements.txtUpdate PyYAML to 6.0.2 in requirements.txt1年前

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

README.md

21.5 MB

邀请码

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

QQ群

公众号