登录注册

secc/seL4-microkit

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

分支3

标签7

+ 疑修

Web IDE

Bill Nguyen

Add x86 vCPU on/off API
Add microkit_vcpu_x86_on() and microkit_vcpu_x86_off().
Signed-off-by: Bill Nguyen bill.nguyen@unsw.edu.au

1天前700次提交

.cargo\rust: remove target JSON requirement3个月前
.githubUpdate seL4 to e912df26天前
.reuseexamples: add mr_prefill3个月前
LICENSESAdd LICENSES/GPL-2.0-only.txt10个月前
cici: make sdk_version.sh script more robust2个月前
custom_dtsAdd support for Kria K263个月前
docsAdd x86 vCPU on/off API1天前
exampleRename to microkit_cspace_root_slot_to_cptr5天前
initialiserStart 2.2.0-dev release cycle3个月前
libmicrokitAdd x86 vCPU on/off API1天前
loaderloader(aarch64 el1): pop stack properly28天前
monitormonitor: print format fix1个月前
testsUpdate code for GCC version 122年前
toolAdd x86 vCPU on/off API1天前
.flake8Initial public source code release of seL4 core platform4年前
.gitignoreAdd .pdf to gitignore1年前
.linkcheck-ignore.ymlAdd x86 vCPU on/off API1天前
CHANGES.mdAdd release notes for 2.2.03个月前
Cargo.lockUpdate rust-sel4 to 33cb13221天前
Cargo.tomlUpdate rust-sel4 to 33cb13221天前
DEVELOPER.mddocs: explain how to checkout the seL4 version6天前
LICENSE.mdMake LICENSE.md work for both repo and SDK2年前
README.mdTransition to capDL8个月前
VERSIONStart 2.2.0-dev release cycle3个月前
build_sdk.pyAdd stm32mp2 support3个月前
dev_build.pydev_build.py: do not use --release for tool1个月前
flake.lockUpdate to Nix 25.113个月前
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

20.3 MB

邀请码

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

QQ群

公众号