second-state / wasmedge-seL4Links
Integrate WasmEdge with seL4
☆42Updated 2 years ago
Alternatives and similar repositories for wasmedge-seL4
Users that are interested in wasmedge-seL4 are comparing it to the libraries listed below
Sorting:
- 'vhost-user' device backends workspace☆90Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆32Updated this week
- Messaging and state layer for distributed serverless applications☆65Updated last month
- A curated list of awesome things related to rustsbi☆40Updated 2 years ago
- ☆138Updated last week
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated 7 months ago
- Heterogeneous Containerization of Large Language Model Apps☆43Updated 2 months ago
- Rcore Virtual Machine☆114Updated last year
- Rust Unikernel OS☆77Updated 3 weeks ago
- a Rust Hypervisor for mission-critical system☆91Updated last week
- ☆54Updated 3 months ago
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆17Updated last year
- All public report slides, articles and meeting minutes related to RustSBI☆29Updated 3 weeks ago
- Software bootloader for boards running Tock.☆25Updated last year
- ☆35Updated last year
- An experimental RTOS written in Rust.☆36Updated 2 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 3 years ago
- seL4 Device Driver Framework☆23Updated last year
- Tiny C library written in Rust☆58Updated 6 months ago
- Risc-V hypervisor for TEE development☆116Updated 2 weeks ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆80Updated last week
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 3 years ago
- CoreMark 1.0 ported to WebAssembly☆43Updated 4 years ago
- PoC LoongArch - RISC-V emulator☆32Updated last year
- A VMM implementation based of rust-vmm components☆152Updated 8 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆54Updated 2 months ago
- Rust support for seL4 userspace☆156Updated last week
- 🌀 Microkernel Real-Time Operating System in Rust☆46Updated 2 years ago
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆19Updated last year
- ☆17Updated 2 months ago