可控开源社区

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

目录

julia

use LibPlatSupportHaveTimer instead of inverse
As suggested by Indan to be clearer to understand.
https://github.com/seL4/util_libs/pull/196#issuecomment-2918974119
Signed-off-by: julia git.ts@trainwit.ch

1个月前1313次提交

.githubgithub: use central CI workflows4个月前
LICENSESconvert to SPDX license headers4年前
libsel4allocmanBump minimum CMake version4个月前
libsel4benchBump minimum CMake version4个月前
libsel4debugBump minimum CMake version4个月前
libsel4muslcsyslibsel4muslcsys: Return error if 0 len requested4个月前
libsel4platsupportuse LibPlatSupportHaveTimer instead of inverse1个月前
libsel4serialserverBump minimum CMake version4个月前
libsel4simple-defaultBump minimum CMake version4个月前
libsel4simpleBump minimum CMake version4个月前
libsel4syncBump minimum CMake version4个月前
libsel4testBump minimum CMake version4个月前
libsel4utilsBump minimum CMake version4个月前
libsel4vkaBump minimum CMake version4个月前
libsel4vspaceBump minimum CMake version4个月前
.gitignoreconvert to SPDX license headers4年前
CMakeLists.txtBump minimum CMake version4个月前
FindseL4_libs.cmakeconvert to SPDX license headers4年前
LICENSE.mdseL4 foundation setup4年前
README.mdconvert to SPDX license headers4年前

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

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

©Copyright 2023 CCF 开源发展委员会
Powered by Trustie& IntelliDE 京ICP备13000930号