9 results found Sort:

redox-os
redox redox-os
923
15.1k
mit
603
Mirror of https://gitlab.redox-os.org/redox-os/redox
bsd gnu rust sel4 linux minix plan9 posix redox freebsd openbsd gnu-hurd microkernel open-source operating-system
Created 2015-04-20
3,731 commits to master branch, last one 17 hours ago
seL4
seL4 seL4
662
4.7k
other
205
The seL4 microkernel
os sel4 microkernel sel4-microkernel
Created 2014-07-18
4,582 commits to master branch, last one 12 days ago
genodelabs
genode genodelabs
250
1.1k
other
82
Genode OS Framework
arm cpp goa x86 nova sel4 linux osdev riscv genode cplusplus framework sculpt-os hypervisor microkernel virtualization operating-system object-capabilities
Created 2011-12-20
13,465 commits to master branch, last one about a month ago
redox-os
kernel redox-os
80
601
mit
51
Mirror of https://gitlab.redox-os.org/redox-os/kernel
rust sel4 linux plan9 redox syscall microkernel
Created 2017-01-04
1,992 commits to master branch, last one a day ago
mikeroyal
RISC-V-Guide mikeroyal
39
512
unknown
19
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.
sbc rv32 sel4 riscv risc-v riscv64 optimize processor simulator hypervisor platformio android-app peripherals cpu-profiling risc-processor riscv-emulator tensoflow-lite virtualization computer-architecture processor-architecture
Created 2020-12-15
80 commits to main branch, last one 8 months ago
cl91
NeptuneOS cl91
11
371
gpl-3.0
17
Neptune OS: A Windows NT personality for the seL4 microkernel
os sel4 windows
Created 2020-03-01
578 commits to master branch, last one 17 days ago
awesomo4000
awesome-provable awesomo4000
8
193
unknown
10
A curated set of links to formal methods involving provable code.
coq agda sel4 idris isabelle isabelle-hol formal-verification certified-programming
Created 2017-11-10
16 commits to master branch, last one 2 years ago
veracruz-project
veracruz veracruz-project
39
189
mit
11
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
sgx tls rust sel4 wasm enclave privacy trustzone webassembly cryptography nitro-enclaves distributed-systems confidential-computing privacy-enhancing-technologies
Created 2020-10-27
2,272 commits to main branch, last one 6 months ago
auxoncorp
ferros auxoncorp
11
106
apache-2.0
8
A Rust-based userland which also adds compile-time assurances to seL4 development.
rust sel4 userland
Created 2019-01-08
706 commits to master branch, last one 2 years ago