可控开源社区

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

目录

Julia Vassiliki

libsel4test: separately format a & b in test_op
Ref: https://github.com/seL4/sel4test/pull/145#issuecomment-4192034246
This will fix the code’s assumption that a & b are the same type,
instead preferring to just format each separately, and also
to compare with the operator naively, which should work for
our purposes.
I’ve verified locally that this allows me to compile locally with
a toolchain that sets -fshort-enums, and also that simulation
tests for {x86_64,aarch64,aarch32,riscv64} all pass with these
changes. I’ve also tested that when it does fail it does manage
to print an error correctly.
Signed-off-by: Julia Vassiliki julia.vassiliki@unsw.edu.au

10天前1324次提交

.githubgithub: use central CI workflows1年前
LICENSESconvert to SPDX license headers5年前
libsel4allocmantrivial: fixup style3个月前
libsel4benchInclude PMCCNTR in number of reported counters4个月前
libsel4debugBump minimum CMake version1年前
libsel4muslcsyslibsel4muslcsys: Return error if 0 len requested1年前
libsel4platsupportuse LibPlatSupportHaveTimer instead of inverse11个月前
libsel4serialserverBump minimum CMake version1年前
libsel4simple-defaulttrivial: fix whitespace2年前
libsel4simpleBump minimum CMake version1年前
libsel4syncBump minimum CMake version1年前
libsel4testlibsel4test: separately format a & b in `test_op`11天前
libsel4utilsFix runtime error1个月前
libsel4vkaBump minimum CMake version1年前
libsel4vspaceBump minimum CMake version1年前
.gitignoreconvert to SPDX license headers5年前
CMakeLists.txtBump minimum CMake version1年前
FindseL4_libs.cmakeconvert to SPDX license headers5年前
LICENSE.mdseL4 foundation setup5年前
README.mdconvert to SPDX license headers5年前

seL4 Libraries

A collection of libraries for working on seL4.

libsel4allocman: an allocator for managing virtual memory, malloc memory and cspaces.
libsel4bench: a library with utilities for benchmarking on seL4.
libsel4debug: a library with utilities for debugging on seL4. Only useful when debugging a userlevel app; potentially hacky.
libsel4muslcsys: a library to support muslc for the root task.
libsel4platsupport: a wrapper around libplatsupport specificially for seL4.
libsel4simple: an interface which abstracts over the boot environment of a seL4 application.
libsel4simple-default: an implementation of simple for the master branch of the kernel.
libsel4simple-experimental: an implementatoin of simple for the experimental branch of the kernel.
libsel4sync: a synchronisation library that uses notifications to construct basic locks.
libsel4test: a very basic test infrastructure library.
libsel4utils: a library OS - Commonly used stuff, actively maintained: implements threads, processes, elf loading, virtual memory management etc.
libsel4vka: an allocation interface for seL4.
libsel4vspace: a virtual memory management interface for seL4.

关于

c cmake promela

3.9 MB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

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