9 results found Sort:

redox-os
redox redox-os
927
15.2k
mit
601
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,793 commits to master branch, last one 16 hours ago
seL4
seL4 seL4
672
4.7k
other
206
The seL4 microkernel
os sel4 microkernel sel4-microkernel
Created 2014-07-18
4,593 commits to master branch, last one 20 hours ago
genodelabs
genode genodelabs
254
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,658 commits to master branch, last one a day ago
redox-os
kernel redox-os
85
628
mit
51
Mirror of https://gitlab.redox-os.org/redox-os/kernel
rust sel4 linux plan9 redox syscall microkernel
Created 2017-01-04
2,021 commits to master branch, last one 2 days ago
mikeroyal
RISC-V-Guide mikeroyal
43
528
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 10 months ago
cl91
NeptuneOS cl91
11
374
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 about a month ago
awesomo4000
awesome-provable awesomo4000
8
194
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
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 8 months ago
auxoncorp
ferros auxoncorp
11
107
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