sel4
Here are 41 public repositories matching this topic...
CI GitHub actions for the seL4 repositories
-
Updated
May 20, 2024 - Python
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
-
Updated
May 9, 2024 - Rust
RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
-
Updated
Jan 4, 2024 - Assembly
A rust runtime for sel4, based on selfe-sys and sel4-runtime
-
Updated
Nov 5, 2023 - Rust
A repository of larger example Veracruz computations
-
Updated
May 1, 2023 - Python
-
Updated
Mar 29, 2023 - Python
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
Operating System built on top of the seL4 microkernel.
-
Updated
Nov 28, 2021 - 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."