sel4
Here are 41 public repositories matching this topic...
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
CI GitHub actions for the seL4 repositories
-
Updated
May 20, 2024 - Python
-
Updated
Mar 29, 2023 - Python
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
A repository of larger example Veracruz computations
-
Updated
May 1, 2023 - Python
How to create a Hello World seL4 project from scratch
-
Updated
Oct 17, 2020 - CMake
Basic operating system features implementation. File system/Process management/Memory management
-
Updated
Nov 23, 2017 - C
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
-
Updated
Dec 8, 2018 - Rust
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
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."