SEL4PROJ

All

62 repositories

AOS
Public
Advanced Operating Systems project
C
•17•19•1•0•Updated Sep 4, 2024Sep 4, 2024
AOS-manifest
Public
Advanced Operating Systems project manifest
5•12•0•0•Updated Sep 4, 2024Sep 4, 2024
channel-bench
Public
C
•
Other
•4•2•0•1•Updated Apr 14, 2023Apr 14, 2023
sel4_riscv_vmm
Public
An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.
C
•
Other
•6•7•0•0•Updated Oct 3, 2022Oct 3, 2022
sel4-riscv-vmm-manifest
Public
Manifest for building an experimental RISCV VMM
6•4•0•0•Updated Sep 23, 2022Sep 23, 2022
libnfs
Public
NFS client library
C
•
Other
•205•0•0•0•Updated Apr 8, 2022Apr 8, 2022
sel4-riscv-vmm-linux-5.2
Public
Linux kernel/config used for the experimental seL4 RISC-V VMM
C
•
Other
•0•0•0•0•Updated Mar 23, 2022Mar 23, 2022
sel4-github
Public
github scripts for sel4-related tasks.
Shell
•1•0•0•0•Updated Jan 19, 2021Jan 19, 2021
tlb
Public
Formal Isabelle/HOL model of the ARMv7 TLB
Isabelle
•3•3•0•0•Updated Feb 17, 2020Feb 17, 2020
imagesh
Public
A shell to put users into rootless containers
shell docker ssh podman
Python
•
GNU General Public License v3.0
•1•0•0•0•Updated Feb 7, 2020Feb 7, 2020
channel-bench-tools
Public
HTML
•
BSD 2-Clause "Simplified" License
•2•0•0•0•Updated Dec 19, 2019Dec 19, 2019
channel-bench-manifest
Public
4•0•0•0•Updated Dec 19, 2019Dec 19, 2019
seL4-deprecated-manifests
Public
Manifests for projects that build with libraries/projects in seL4-deprecated
0•0•0•0•Updated Dec 14, 2019Dec 14, 2019
seL4-deprecated
Public
For old libraries/projects from other repositories that are no longer maintained
C
•0•0•0•0•Updated Dec 14, 2019Dec 14, 2019
cakeml-bake
Public
CakeML build tool
build-system software-verification cakeml
Rust
•0•2•4•0•Updated Jun 28, 2019Jun 28, 2019
jormungand
Public
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
strongest-postcondition isabelle hoare-sep-tactics weakest-preconditions
Isabelle
•
Other
•0•2•0•0•Updated Dec 1, 2018Dec 1, 2018
libsel4muslcsys
Public archive
DEPRECATED: This library has been moved to https://github.com/seL4/seL4_libs
C
•
Other
•4•1•0•0•Updated Jul 25, 2018Jul 25, 2018
sel4-tutorials-source-manifest
Public archive
This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials-manifest
Other
•1•0•0•0•Updated Apr 19, 2018Apr 19, 2018
sel4-tutorials-source
Public archive
This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials
C
•
Other
•2•0•0•0•Updated Apr 18, 2018Apr 18, 2018
ethernet-demo-x86-manifest
Public
Other
•0•0•0•0•Updated Aug 9, 2017Aug 9, 2017
camkes-apps-ethernet-demo-x86--devel
Public archive
C
•
Other
•1•1•0•0•Updated Aug 9, 2017Aug 9, 2017
leveldb
Public
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
C++
•
BSD 3-Clause "New" or "Revised" License
•7.9k•0•0•0•Updated Jul 20, 2017Jul 20, 2017
camkes-cli-example
Public
Example CAmkES project for use with CAmkES CLI
Makefile
•0•0•0•0•Updated Jun 21, 2017Jun 21, 2017
linux-tegra
Public
Linux kernel source tree
C
•
Other
•55k•1•0•0•Updated May 24, 2017May 24, 2017
camkes-cli
Public
Command line interface for the CAmkES component framework
Python
•
Other
•0•0•0•0•Updated May 16, 2017May 16, 2017
libplatsupport
Public archive
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
C
•
Other
•8•7•2•0•Updated Feb 17, 2017Feb 17, 2017
camkes-apps-dataport--devel
Public archive
Simple CAmkES app to demonstrate dataport
Makefile
•
Other
•0•0•0•0•Updated Dec 14, 2016Dec 14, 2016
camkes-apps-simple--devel
Public archive
Sample simple CAmkES app.
C
•
Other
•0•0•0•0•Updated Dec 14, 2016Dec 14, 2016
camkes-apps-event--devel
Public archive
simple CAmkES app to demonstrate events
Makefile
•
Other
•0•0•0•0•Updated Dec 14, 2016Dec 14, 2016
compiler-rt-sys
Public
Rust shim layer around compiler-rt
Rust
•
Other
•0•0•0•0•Updated Jun 10, 2016Jun 10, 2016