可控开源社区

secc/seL4-microkit

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

目录

Zoltan A. Kocsis

tool: Separate argument parsing
We separate argument parsing from main.rs.
This will help refactor main, which in turn will help
implementing Viper export.
Signed-off-by: Zoltan A. Kocsis 11808286+zaklogician@users.noreply.github.com
Signed-off-by: Ivan Velickovic i.velickovic@unsw.edu.au

1天前667次提交

.cargo\rust: remove target JSON requirement1个月前
.githubUpdate to seL4 15.0.01个月前
.reuseexamples: add mr_prefill2个月前
LICENSESAdd LICENSES/GPL-2.0-only.txt8个月前
cici: fix version script for non-dev versions1个月前
custom_dtsAdd support for Kria K262个月前
docsmanual: add x86 IRQ vector bound + priority note2个月前
exampleexample: typo fix1个月前
initialiserStart 2.2.0-dev release cycle1个月前
libmicrokitlibmicrokit: improve __assert_fail2个月前
loaderloader: set exception handler for RISC-V7天前
monitormonitor: lazy Scheduling Context rebind2个月前
testsUpdate code for GCC version 122年前
tooltool: Separate argument parsing2个月前
.flake8Initial public source code release of seL4 core platform4年前
.gitignoreAdd .pdf to gitignore1年前
.linkcheck-ignore.ymlAdd linkcheck ignore for ARM downloads3个月前
CHANGES.mdAdd release notes for 2.2.01个月前
Cargo.lockEnable kernel HardwareDebugAPI17天前
Cargo.tomlEnable kernel HardwareDebugAPI17天前
DEVELOPER.mdUpdate to seL4 15.0.01个月前
LICENSE.mdMake LICENSE.md work for both repo and SDK2年前
README.mdTransition to capDL6个月前
VERSIONStart 2.2.0-dev release cycle1个月前
build_sdk.pyEnable kernel HardwareDebugAPI17天前
dev_build.pydev_build.py: fix for cargo workspace changes6个月前
flake.lockUpdate to Nix 25.112个月前
flake.nixnix: minimise size of texlive closure1个月前
mypy.iniInitial public source code release of seL4 core platform4年前
platforms.ymlplatforms.yml: update for 2.2.01个月前
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

18.8 MB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

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