-
Updated
Sep 12, 2024 - Shell
sel4
Here are 45 public repositories matching this topic...
Genode OS Framework
-
Updated
Sep 10, 2024 - C++
-
Updated
Sep 12, 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 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).
-
Updated
May 9, 2024 - Rust
-
Updated
Mar 29, 2023 - Python
A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8
-
Updated
Jan 11, 2019
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
-
Updated
Dec 8, 2018 - Rust
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
-
Updated
Oct 15, 2018 - Rust
Operating System built on top of the seL4 microkernel.
-
Updated
Nov 28, 2021 - C
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
How to create a Hello World seL4 project from scratch
-
Updated
Oct 17, 2020 - CMake
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."