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
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- 'vhost-user' device backends workspace☆112Updated last week
- Table of ARM SoC and their features☆62Updated 2 months ago
- aarch64 system emulator☆41Updated 3 months ago
- ☆106Updated 2 years ago
- Buddy allocator, forked from the toyos repository.☆15Updated 4 years ago
- An UEFI application that unlocks a SED and starts an OS from it. Written in Rust☆47Updated 4 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- Rust support for seL4 userspace☆186Updated 2 months ago
- A tool for USB device pass-through using the vfio-user protocol.☆34Updated this week
- Status Reports☆68Updated last week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Updated 2 weeks ago
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆38Updated 5 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆43Updated 3 weeks ago
- ☆142Updated 3 weeks ago
- Ergonomic Rust framework for writing UEFI applications.☆71Updated last year
- A VMM implementation based of rust-vmm components☆161Updated last year
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆170Updated this week
- arm decoders for the yaxpeax project☆35Updated 3 months ago
- Experimental kernel with built-in replication.☆163Updated 6 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- Rust crate for Flattened Devicetree parsing☆54Updated last month
- A utility for decoding aarch64 ESR register values.☆103Updated this week
- Documentation and status of UEFI on RISC-V☆64Updated 4 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago