rust-vmm / vm-fdtLinks
☆18Updated 10 months ago
Alternatives and similar repositories for vm-fdt
Users that are interested in vm-fdt are comparing it to the libraries listed below
Sorting:
- Loupe: Syscall Usage Analysis Tool☆35Updated this week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆19Updated 2 weeks ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Updated 4 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆38Updated last week
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated last week
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆16Updated 2 weeks ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Updated 7 months ago
- Inspect and dissect an ELF file with pretty formatting.☆107Updated last year
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 3 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆52Updated last week
- The Hermit bootloader.☆76Updated last week
- ☆77Updated last year
- Rust crate for Flattened Devicetree parsing☆48Updated 4 months ago
- Rust support for seL4 userspace☆156Updated last week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Updated 2 years ago
- Risc-V hypervisor for TEE development☆116Updated 2 weeks ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆85Updated 2 months ago
- ☆16Updated 3 years ago
- Code coverage support for Rust `no_std` and embedded programs☆57Updated 6 months ago
- An experimental modular OS written in Rust.☆12Updated 10 months ago
- Rust bindings for the Linux userfaultfd functionality☆43Updated 4 months ago
- seL4 Device Driver Framework☆23Updated last year
- Unified interface for type-safe MMIO and CPU register access in Rust☆48Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆130Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆119Updated this week
- ☆13Updated 2 years ago