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:
- 'vhost-user' device backends workspace☆96Updated last week
- ☆143Updated 2 weeks ago
- A curated list of awesome things related to rustsbi☆41Updated 2 years ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆80Updated this week
- ☆54Updated 5 months ago
- A VMM implementation based of rust-vmm components☆153Updated 10 months ago
- Heterogeneous Containerization of Large Language Model Apps☆45Updated last month
- Messaging and state layer for distributed serverless applications☆67Updated 2 months ago
- virtio implementation☆408Updated 3 weeks ago
- ☆16Updated 3 years ago
- Container with all dependencies required for running rust-vmm crates integration tests.☆67Updated last week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆34Updated this week
- a Rust Hypervisor for mission-critical system☆109Updated last week
- Rcore Virtual Machine☆115Updated last year
- All public report slides, articles and meeting minutes related to RustSBI☆29Updated last week
- ☆327Updated 3 weeks ago
- SLEdge: a serverless runtime designed for the Edge.☆118Updated last year
- Experimental Linux Virtual Machine based on UML and noMMU☆65Updated 4 years ago
- ☆142Updated 8 months ago
- ☆17Updated last year
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated 8 months ago
- An implementation of ext2 filesystem in Rust☆15Updated 3 years ago
- ☆75Updated last year
- Linux kernel loader☆198Updated this week
- ☆35Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆127Updated this week
- Dragonball-sandbox is a collection of Rust crates to help build custom Virtual Machine Monitors and hypervisors.☆91Updated 2 years ago
- Rust support for seL4 userspace☆161Updated last week
- Rust Unikernel OS☆78Updated last week
- zcore_tutorial文档撰写工作以及单元测试工作组☆19Updated 4 years ago