#
sel4
Here are 38 public repositories matching this topic...
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
tls
rust
distributed-systems
cryptography
privacy
webassembly
wasm
sgx
enclave
trustzone
privacy-enhancing-technologies
sel4
confidential-computing
nitro-enclaves
-
Updated
Aug 12, 2022 - Rust
-
Updated
Mar 28, 2022 - Python
A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8
-
Updated
Jan 11, 2019
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
-
Updated
Jan 11, 2020 - C
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
-
Updated
Oct 15, 2018 - Rust
How to create a Hello World seL4 project from scratch
-
Updated
Oct 17, 2020 - CMake
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
rust
gpu
graphics
gpu-memory
rpi3
aarch64
dma
raspberry-pi-3
sel4
rust-embedded
embedded-hal
fel4
sel4-microkernel
cargo-fel4
-
Updated
Dec 8, 2018 - Rust
CI GitHub actions for the seL4 repositories
-
Updated
Jul 18, 2022 - Python
Operating System built on top of the seL4 microkernel.
-
Updated
Nov 28, 2021 - C
Basic operating system features implementation. File system/Process management/Memory management
-
Updated
Nov 23, 2017 - C
Improve this page
Add a description, image, and links to the sel4 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sel4 topic, visit your repo's landing page and select "manage topics."
