9 results found Sort:

redox-os
redox redox-os
926
15.2k
mit
604
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,822 commits to master branch, last one a day ago
seL4
seL4 seL4
677
4.8k
other
204
The seL4 microkernel
os sel4 microkernel sel4-microkernel
Created 2014-07-18
4,613 commits to master branch, last one 2 days ago
genodelabs
genode genodelabs
256
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,727 commits to master branch, last one 10 days ago
redox-os
kernel redox-os
87
648
mit
51
Mirror of https://gitlab.redox-os.org/redox-os/kernel
rust sel4 linux plan9 redox syscall microkernel
Created 2017-01-04
2,030 commits to master branch, last one 3 days ago
mikeroyal
RISC-V-Guide mikeroyal
43
542
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 11 months ago
cl91
NeptuneOS cl91
11
379
gpl-3.0
18
Neptune OS: A Windows NT personality for the seL4 microkernel
os sel4 windows
Created 2020-03-01
578 commits to master branch, last one 3 months ago
awesomo4000
awesome-provable awesomo4000
9
198
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 3 years ago
veracruz-project
veracruz veracruz-project
39
191
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 9 months ago
auxoncorp
ferros auxoncorp
11
109
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