sel4
There are 1 repository under sel4 topic.
- Language:C 4627
genodelabs / genode
Genode OS Framework
Language:C++ 1044- RISC-V-Guide
mikeroyal / RISC-V-Guide
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.
Language:Assembly 492 - Language:C 364
awesomo4000 / awesome-provable
A curated set of links to formal methods involving provable code.
veracruz-project / veracruz
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
Language:Rust 186auxoncorp / ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
Language:Rust 107- Language:C 41
- Language:C 16
seL4 / seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Language:Shell 12- Language:Rust 10
- Language:Python 10
dornerworks / sel4-armv8-vmm-manifest
A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8
jonlamb-gh / rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
Language:Rust 6AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
Language:Rust 5- Language:C 5
mssabr01 / ICSVerifiedSoftwareProject
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
Language:C 5Rust seL4 toy system built on ferros for the imx6 sabrelite platform
Language:Rust 3- Language:CMake 3
- Language:Python 3
- Language:HTML 3
- Language:Rust 2
- Language:C 2
norrathep / seL4_hydra
Attestation and software update in seL4
Language:C 2Techget / Advanced_Operating_System_2017
Basic operating system features implementation. File system/Process management/Memory management
Language:C 2A repository of larger example Veracruz computations
Language:Python 2- Language:C 1
ptrk8 / seL4cp-workshop
My solutions to the draft-version of the seL4 Core Platform (seL4cp) Workshop held during the 2022 seL4 Summit (11 - 13 Oct).
Language:C 1- Language:Rust 0
- Language:Perl 0
- Language:Rust
- Language:C
- Language:C
- Language:C++
- Language:Python
