rust-vmm / xenLinks
Xen hypercall and interfaces in Rust
☆16Updated last year
Alternatives and similar repositories for xen
Users that are interested in xen are comparing it to the libraries listed below
Sorting:
- ☆19Updated last year
- Run UEFI applications☆110Updated 2 years ago
- ☆77Updated 2 years ago
- Table of ARM SoC and their features☆62Updated 2 months ago
- 'vhost-user' device backends workspace☆111Updated this week
- Ergonomic Rust framework for writing UEFI applications.☆71Updated last year
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆43Updated 3 weeks ago
- ☆106Updated 2 years ago
- aarch64 system emulator☆41Updated 2 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- Risc-V hypervisor for TEE development☆126Updated 3 weeks ago
- Rust crate for Flattened Devicetree parsing☆54Updated 3 weeks ago
- Documentation and status of UEFI on RISC-V☆64Updated 4 years ago
- Status Reports☆68Updated 2 weeks ago
- Rusty wrappers for Multiboot2.☆126Updated last month
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆33Updated last year
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Rust library for parsing ACPI tables and interpreting AML☆231Updated 3 months ago
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆38Updated 5 months ago
- A VMM implementation based of rust-vmm components☆160Updated last year
- Cross-platform Rust wrappers for the PCI ID Repository☆11Updated 4 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- ☆37Updated last week
- ☆58Updated last month
- Rust support for seL4 userspace☆182Updated 2 months ago
- A tool for USB device pass-through using the vfio-user protocol.☆32Updated this week
- A utility for decoding aarch64 ESR register values.☆103Updated 2 weeks ago
- The Hermit bootloader.☆82Updated last week
- memory-mapped registers for x86_64 systems☆35Updated 4 years ago