diodesign / diosixLinks
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
☆196Updated 5 months ago
Alternatives and similar repositories for diosix
Users that are interested in diosix are comparing it to the libraries listed below
Sorting:
- RISC-V hypervisor written in Rust☆360Updated 5 years ago
- A specialized hypervisor for Hermit.☆265Updated this week
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 4 years ago
- A template for building Rust applications for HiFive1 boards☆214Updated 2 years ago
- Low level access to Cortex-A processors☆119Updated 2 years ago
- Rust library for parsing ACPI tables and interpreting AML☆218Updated 3 months ago
- Rust RISC-V Virtual Machine☆104Updated 7 months ago
- Rust library to use x86 (amd64) specific functionality and registers.☆313Updated last year
- RISCV Rust Toolchain☆117Updated 6 years ago
- ☆142Updated 7 months ago
- Rust support for seL4 userspace☆160Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆116Updated last year
- Library to load and relocate ELF files.☆126Updated last year
- Manticore is a research operating system, written in Rust.☆293Updated last year
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆304Updated 5 years ago
- Microkernel and userspace written in Rust exploring modern ideas☆259Updated 2 weeks ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆48Updated 3 years ago
- Linux kernel loader☆197Updated last month
- Virtual machine's guest memory crate☆321Updated 3 weeks ago
- A VMM implementation based of rust-vmm components☆152Updated 9 months ago
- A hypervisor written in Rust.☆120Updated 3 years ago
- VirtIO guest drivers in Rust.☆263Updated this week
- RISC-V OS written in Rust☆140Updated last year
- ☆324Updated 3 weeks ago
- virtio implementation☆403Updated this week
- A Raspberry Pi OS Kernel in Rust☆34Updated 7 months ago
- How to bootstrap support for a no_std target☆211Updated last month
- The Hermit bootloader.