sel4bench-manifest

(★ 8)

Manifest of the seL4bench project, which contains microbenchmarks for seL4.

Owner Repos

rust-sel4 ★ 210

Rust support for seL4 userspace

Rust
sel4-tutorials ★ 61

Tutorials for working with seL4 and/or CAmkES.

Python
capdl ★ 44

Capability Distribution Language tools for seL4

Haskell
camkes-tool ★ 27

The main CAmkES tool

Python
camkes-manifest ★ 26

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
refos-manifest ★ 23

Reference Operating system based on seL4 --- example code

File Explorer

ZIP Download
  • default.xml
  • master.xml
  • README.md

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example
// repository documentation