SEL4PROJ

Projects related to the seL4 microkernel

Pinned Repositories

AOS
Advanced Operating Systems project
Language:C18 13 515
AOS-manifest
Advanced Operating Systems project manifest
124
capDL-tool
DEPRECATED: This has been moved to https://github.com/seL4/capdl
Language:Haskell5 21 10
libcpio
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
Language:C44
libelf
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
Language:C58
libmuslc
DEPRECATED: This library has been moved to https://github.com/seL4/musllibc
Language:C47
libplatsupport
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
Language:C7 20 38
libsel4utils
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
Language:C77
sel4-riscv-vmm-manifest
Manifest for building an experimental RISCV VMM
4 10 15
sel4_riscv_vmm
An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.
Language:C6 10 14

SEL4PROJ's Repositories

SEL4PROJ/AOS
Advanced Operating Systems project
Language:C18 13 515
SEL4PROJ/AOS-manifest
Advanced Operating Systems project manifest
124
SEL4PROJ/libplatsupport
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
Language:C7 20 38
SEL4PROJ/sel4_riscv_vmm
An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.
Language:C6 10 14
SEL4PROJ/sel4-riscv-vmm-manifest
Manifest for building an experimental RISCV VMM
4 10 15
SEL4PROJ/tlb
Formal Isabelle/HOL model of the ARMv7 TLB
Language:Isabelle3 8 03
SEL4PROJ/cakeml-bake
CakeML build tool
Language:Rust2 12 16
SEL4PROJ/channel-bench
Language:C2 11 04
SEL4PROJ/jormungand
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
Language:Isabelle2 10 0
SEL4PROJ/camkes-apps-ethernet-demo-x86--devel
Language:C1 8 01
SEL4PROJ/libsel4muslcsys
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
Language:C1 17 04
SEL4PROJ/linux-tegra
Linux kernel source tree
Language:C1 8 01
SEL4PROJ/camkes-apps-dataport--devel
Simple CAmkES app to demonstrate dataport
Language:Makefile18 0
SEL4PROJ/camkes-apps-event--devel
simple CAmkES app to demonstrate events
Language:Makefile19 0
SEL4PROJ/camkes-apps-simple--devel
Sample simple CAmkES app.
Language:C18 0
SEL4PROJ/camkes-cli
Command line interface for the CAmkES component framework
Language:Python9 0
SEL4PROJ/camkes-cli-example
Example CAmkES project for use with CAmkES CLI
Language:Makefile9 0
SEL4PROJ/channel-bench-manifest
11 04
SEL4PROJ/channel-bench-tools
Language:HTML11 02
SEL4PROJ/compiler-rt-sys
Rust shim layer around compiler-rt
Language:Rust6 0
SEL4PROJ/ethernet-demo-x86-manifest
SEL4PROJ/imagesh
A shell to put users into rootless containers
Language:Python1
SEL4PROJ/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Language:C++9 0
SEL4PROJ/libnfs
NFS client library
Language:C8 01
SEL4PROJ/seL4-deprecated
For old libraries/projects from other repositories that are no longer maintained
Language:C7 0
SEL4PROJ/seL4-deprecated-manifests
Manifests for projects that build with libraries/projects in seL4-deprecated
7 0
SEL4PROJ/sel4-github
github scripts for sel4-related tasks.
Language:Shell12 01
SEL4PROJ/sel4-riscv-vmm-linux-5.2
Linux kernel/config used for the experimental seL4 RISC-V VMM
Language:C7 0
SEL4PROJ/sel4-tutorials-source
This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials
Language:C9 02
SEL4PROJ/sel4-tutorials-source-manifest
This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials-manifest
9 01