rust-vmm / xenLinks
Xen hypercall and interfaces in Rust
☆15Updated 7 months ago
Alternatives and similar repositories for xen
Users that are interested in xen are comparing it to the libraries listed below
Sorting:
- Run UEFI applications☆99Updated 2 years ago
- ☆18Updated last year
- Rust support for seL4 userspace☆164Updated last week
- Ergonomic Rust framework for writing UEFI applications.☆66Updated 8 months ago
- ☆98Updated 2 years ago
- Buddy allocator, forked from the toyos repository.☆15Updated 4 years ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- ☆78Updated 2 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆31Updated last week
- ☆107Updated 2 weeks ago
- 'vhost-user' device backends workspace☆98Updated last week
- Administrator : Marshall.Dawson@amd.com☆52Updated 3 weeks ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- An UEFI application that unlocks a SED and starts an OS from it. Written in Rust☆46Updated 3 years ago
- Sled System Emulator☆28Updated 4 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆37Updated 3 weeks ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 8 months ago
- Documentation and status of UEFI on RISC-V☆61Updated 4 years ago
- Rust RISC-V Virtual Machine☆107Updated 3 weeks ago
- Table of ARM SoC and their features☆58Updated 2 weeks ago
- QEMU with support for CHERI☆59Updated this week
- A collection of ideas for new kernel features☆63Updated 2 months ago
- WIP UEFI Display Driver for embedded-graphics☆25Updated 4 years ago
- QEMU for Rust, and Rust for QEMU☆77Updated this week
- Risc-V hypervisor for TEE development☆122Updated 2 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆40Updated last week
- A tool for USB device pass-through using the vfio-user protocol.☆19Updated this week