rust-vmm / xenLinks
Xen hypercall and interfaces in Rust
☆16Updated 9 months ago
Alternatives and similar repositories for xen
Users that are interested in xen are comparing it to the libraries listed below
Sorting:
- ☆18Updated last year
- Run UEFI applications☆102Updated 2 years ago
- ☆78Updated 2 years ago
- Risc-V hypervisor for TEE development☆124Updated 4 months ago
- Rust support for seL4 userspace☆170Updated last month
- Rust crate for Flattened Devicetree parsing☆51Updated 9 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆147Updated this week
- ☆32Updated last week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated this week
- An experimental modular OS written in Rust.☆12Updated last year
- 'vhost-user' device backends workspace☆102Updated this week
- ☆109Updated last week
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- A collection of ideas for new kernel features☆65Updated 4 months ago
- A utility for decoding aarch64 ESR register values.☆97Updated last week
- WIP UEFI Display Driver for embedded-graphics☆25Updated 4 years ago
- Ergonomic Rust framework for writing UEFI applications.☆66Updated 9 months ago
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆37Updated 2 months ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 9 months ago
- QEMU with support for CHERI☆61Updated last week
- Rust RISC-V Virtual Machine☆110Updated 2 months ago
- A Type-1.5 hypervisor written in Rust.☆67Updated last year
- ☆100Updated 2 years ago
- Baremetal Backtracing on RISC-V☆15Updated 4 years ago
- hypercraft is a VMM library written in Rust.☆52Updated last year
- A virtual machine monitor for the seL4 microkernel☆43Updated last week
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆54Updated this week
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago