diodesign / diosixLinks
A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
☆200Updated last year
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☆366Updated 6 years ago
- A specialized hypervisor for Hermit.☆278Updated last week
- A toy operating system written in Rust on RISC V(rv32im)☆209Updated 2 years ago
- RISCV Rust Toolchain☆118Updated 7 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Updated 3 months ago
- Rust library to use x86 (amd64) specific functionality and registers.☆317Updated 2 years ago
- Rust library for parsing ACPI tables and interpreting AML☆230Updated 2 months ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆308Updated 6 years ago
- A VMM implementation based of rust-vmm components☆159Updated last year
- A template for building Rust applications for HiFive1 boards☆219Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆119Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆81Updated 5 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆49Updated 4 years ago
- Experimental kernel with built-in replication.☆162Updated 5 months ago
- Linux kernel loader☆215Updated this week
- Rust support for seL4 userspace☆179Updated last month
- Low level access to Cortex-A processors☆122Updated 3 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆32Updated 5 years ago
- Rust RISC-V Virtual Machine☆112Updated 4 months ago
- RISC-V OS written in Rust☆141Updated last year
- Ergonomic Rust framework for writing UEFI applications.☆71Updated last year
- A barebones framework for a rust kernel.☆288Updated 3 years ago
- Virtual machine's guest memory crate☆347Updated 3 weeks ago
- A riscv isa simulator in rust.☆65Updated 2 years ago
- elf parser and navigation tool, pure Rust☆173Updated 9 months ago
- Manticore is a research operating system, written in Rust.☆295Updated 2 years ago
- ☆144Updated last year
- Minimal runtime / startup for RISC-V CPU's.☆304Updated 2 years ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/☆91Updated 3 years ago