Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with sel4
A curated list of projects in awesome lists tagged with sel4 .
https://github.com/redox-os/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
bsd freebsd gnu gnu-hurd linux microkernel minix open-source openbsd operating-system plan9 posix redox rust sel4
Last synced: 16 Dec 2024
https://github.com/seL4/seL4
The seL4 microkernel
microkernel os sel4 sel4-microkernel
Last synced: 30 Oct 2024
https://github.com/sel4/sel4
The seL4 microkernel
microkernel os sel4 sel4-microkernel
Last synced: 17 Dec 2024
https://github.com/genodelabs/genode
Genode OS Framework
arm cplusplus cpp framework genode goa hypervisor linux microkernel nova object-capabilities operating-system osdev riscv sculpt-os sel4 virtualization x86
Last synced: 19 Dec 2024
https://github.com/redox-os/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
linux microkernel plan9 redox rust sel4 syscall
Last synced: 07 Nov 2024
https://github.com/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.
android-app computer-architecture cpu-profiling hypervisor optimize peripherals platformio processor processor-architecture risc-processor risc-v riscv riscv-emulator riscv64 rv32 sbc sel4 simulator tensoflow-lite virtualization
Last synced: 21 Dec 2024
https://github.com/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.
android-app computer-architecture cpu-profiling hypervisor optimize peripherals platformio processor processor-architecture risc-processor risc-v riscv riscv-emulator riscv64 rv32 sbc sel4 simulator tensoflow-lite virtualization
Last synced: 25 Oct 2024
https://github.com/veracruz-project/veracruz
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
confidential-computing cryptography distributed-systems enclave nitro-enclaves privacy privacy-enhancing-technologies rust sel4 sgx tls trustzone wasm webassembly
Last synced: 27 Oct 2024
https://github.com/auxoncorp/ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
Last synced: 26 Oct 2024
https://github.com/sel4/sel4-camkes-l4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Last synced: 11 Nov 2024
https://github.com/sel4/graph-refine
proof refinement-proof sel4 translation-validation
Last synced: 11 Nov 2024
https://github.com/jonlamb-gh/rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
aarch64 cargo-fel4 dma embedded-hal fel4 gpu gpu-memory graphics raspberry-pi-3 rpi3 rust rust-embedded sel4 sel4-microkernel
Last synced: 07 Nov 2024
https://github.com/jonlamb-gh/solox-amp-rust
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
arm cortex-a9 cortex-m4 fel4 imx6 no-std openamp-rpmsg rust rust-embedded sel4
Last synced: 07 Nov 2024
https://github.com/sel4/ci-actions
CI GitHub actions for the seL4 repositories
ci ci-actions continuous-integration sel4
Last synced: 11 Nov 2024
https://github.com/sel4/website
The seL4.systems website
microkernel proof sel4 verification
Last synced: 11 Nov 2024
https://github.com/jonlamb-gh/ferros-sabrelite-toy-system
Rust seL4 toy system built on ferros for the imx6 sabrelite platform
bounded-registers ferros imx6 no-std rust sel4 smoltcp tickv
Last synced: 07 Nov 2024
https://github.com/jonlamb-gh/sel4-hobd-prototype
Prototype HOBD system running on seL4
Last synced: 07 Nov 2024
https://github.com/jonlamb-gh/sel4twinkle-alloc-rs
An experimental Rust port of libsel4twinkle allocator
Last synced: 07 Nov 2024
https://github.com/sel4/whitepaper
Source for the seL4 white paper
microkernel os sel4 sel4-microkernel
Last synced: 11 Nov 2024
https://github.com/jonlamb-gh/fel4-test-project
A feL4 test project (Rust on seL4) - armv7 imx6 sabre lite
Last synced: 07 Nov 2024