diodesign / diosix
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
☆194Updated 2 months ago
Alternatives and similar repositories for diosix:
Users that are interested in diosix are comparing it to the libraries listed below
- RISC-V hypervisor written in Rust☆356Updated 5 years ago
- A specialized hypervisor for Hermit.☆262Updated this week
- LeOS operating system Kernel for AArch64 written in Rust☆78Updated 4 years ago
- Rust library for parsing ACPI tables and interpreting AML☆211Updated 2 weeks ago
- Rust RISC-V Virtual Machine☆96Updated 4 months ago
- Rust library to use x86 (amd64) specific functionality and registers.☆312Updated last year
- A VMM implementation based of rust-vmm components☆150Updated 6 months ago
- Rust support for seL4 userspace☆135Updated this week
- Linux kernel loader☆197Updated last week
- Microkernel and userspace written in Rust exploring modern ideas☆256Updated last month
- RISCV Rust Toolchain☆117Updated 6 years ago
- Virtual machine's guest memory crate☆319Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆113Updated last year
- ☆140Updated 4 months ago
- A hypervisor written in Rust.☆118Updated 3 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆48Updated 3 years ago
- VirtIO guest drivers in Rust.☆239Updated last week
- A toy operating system written in Rust on RISC V(rv32im)☆202Updated last year
- Low level access to Cortex-A processors☆121Updated 2 years ago
- Risc-V hypervisor for TEE development☆112Updated last year
- RISC-V OS written in Rust☆139Updated 9 months ago
- virtio implementation☆395Updated last week
- An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …☆327Updated 2 weeks ago
- A template for building Rust applications for HiFive1 boards☆214Updated last year
- Library to load and relocate ELF files.☆125Updated last year
- Rust, cargo and QEMU setup for multi-architecture OS development.☆37Updated 4 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆300Updated 5 years ago
- ☆137Updated last week
- A Raspberry Pi OS Kernel in Rust☆32Updated 5 months ago
- musl libc for RISC-V☆82Updated 5 years ago