可控开源社区

secc/seL4-microkit

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

目录

Ivan Velickovic

tool: simplify pv_offset use
inittask_p_v_offset doesn’t actually need to be calculated.
For ui_p_reg_end we know the size of the init task so can just use that
instead.
This change was motivated by inittask_p_v_offset causing exceptions
in debug builds of the tool (which are not released in the SDK) since it
is unsigned overflow and Rust does not panic for integer overflow in
release mode by default.
Signed-off-by: Ivan Velickovic i.velickovic@unsw.edu.au

5天前642次提交

.cargo\rust: remove target JSON requirement25天前
.githubUpdate to seL4 15.0.019天前
.reuseexamples: add mr_prefill1个月前
LICENSESAdd LICENSES/GPL-2.0-only.txt8个月前
cici: fix version script for non-dev versions19天前
custom_dtsAdd support for Kria K262个月前
docsmanual: format fix9天前
exampleexample: typo fix19天前
initialiserStart 2.2.0-dev release cycle19天前
libmicrokitlibmicrokit: improve __assert_fail1个月前
loaderloader: handle non-PSCI ARM platforms better23天前
monitormonitor: lazy Scheduling Context rebind1个月前
testsUpdate code for GCC version 122年前
tooltool: simplify pv_offset use5天前
.flake8Initial public source code release of seL4 core platform4年前
.gitignoreAdd .pdf to gitignore1年前
.linkcheck-ignore.ymlAdd linkcheck ignore for ARM downloads2个月前
CHANGES.mdAdd release notes for 2.2.019天前
Cargo.lockAdd support for FPU flag for PDs9天前
Cargo.tomlAdd support for FPU flag for PDs9天前
DEVELOPER.mdUpdate to seL4 15.0.019天前
LICENSE.mdMake LICENSE.md work for both repo and SDK2年前
README.mdTransition to capDL6个月前
VERSIONStart 2.2.0-dev release cycle19天前
build_sdk.pytool: do not hard-code kernel object sizes26天前
dev_build.pydev_build.py: fix for cargo workspace changes5个月前
flake.lockUpdate to Nix 25.112个月前
flake.nixnix: minimise size of texlive closure25天前
mypy.iniInitial public source code release of seL4 core platform4年前
platforms.ymlplatforms.yml: update for 2.2.019天前
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.2 MB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

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