second-state / wasmedge-seL4Links
Integrate WasmEdge with seL4
☆42Updated 3 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:
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated this week
- 'vhost-user' device backends workspace☆92Updated last week
- ☆139Updated this week
- ☆17Updated last year
- Messaging and state layer for distributed serverless applications☆65Updated 2 months ago
- ☆35Updated last year
- ☆54Updated 4 months ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆80Updated last month
- Software bootloader for boards running Tock.☆27Updated last year
- A curated list of awesome things related to rustsbi☆40Updated 2 years ago
- ☆39Updated 3 years ago
- Heterogeneous Containerization of Large Language Model Apps☆45Updated 2 weeks ago
- Rust support for seL4 userspace☆160Updated this week
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 3 years ago
- Tiny C library written in Rust☆59Updated 6 months ago
- An implementation of ext2 filesystem in Rust☆15Updated 3 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 3 years ago
- The file system module for rCore OS.☆49Updated last year
- 洛佳的异步内核实验室，第二版☆13Updated 3 years ago
- Tool to create Tock Application Bundles from ELF files.☆18Updated 2 weeks ago
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated 8 months ago
- Rust Bindings for CRIU☆16Updated 7 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- ☆142Updated 7 months ago
- All public report slides, articles and meeting minutes related to RustSBI☆29Updated last week
- A VMM implementation based of rust-vmm components☆152Updated 9 months ago
- Rcore Virtual Machine☆115Updated last year
- CoreMark 1.0 ported to WebAssembly☆44Updated 4 years 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
- Advanced Operating Systems project☆20Updated 9 months ago