AmbiML / sparrow-cantrip-full
☆10Updated last year
Alternatives and similar repositories for sparrow-cantrip-full:
Users that are interested in sparrow-cantrip-full are comparing it to the libraries listed below
- ☆6Updated 2 years ago
- Rust support for seL4 userspace☆131Updated last week
- RISC-V hypervisor written in Rust☆354Updated 5 years ago
- virtio implementation☆388Updated last week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆194Updated last month
- Minimal runtime / startup for RISC-V CPU's.☆301Updated last year
- Low level access to processors using the AArch64 execution state.☆77Updated 3 months ago
- Virtual machine's guest memory crate☆317Updated 2 weeks ago
- Basic template for an out-of-tree Linux kernel module written in Rust.☆287Updated 3 months ago
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated 4 months ago
- VirtIO guest drivers in Rust.☆232Updated last week
- ☆300Updated 3 weeks ago
- Lints for kernel or embedded system development.☆104Updated this week
- A template for building Rust applications for HiFive1 boards☆213Updated last year
- ☆141Updated 3 months ago
- Rust TrustZone-M application☆52Updated last year
- RedLeaf Operating System☆122Updated 2 years ago
- ☆126Updated this week
- ☆135Updated 2 months ago
- Experimental kernel with built-in replication.☆157Updated 11 months ago
- A specialized hypervisor for Hermit.☆260Updated this week
- ☆77Updated last year
- The Hermit bootloader.☆74Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆104Updated this week
- The Xous microkernel☆556Updated this week
- A try to follow the rust port in Linux kernel in driver development.☆99Updated 2 years ago
- Low level access to RISC-V processors☆901Updated this week
- Rust-based Unikernel☆126Updated last year
- Rcore Virtual Machine☆110Updated 11 months ago
- A toy operating system written in Rust on RISC V(rv32im)☆201Updated last year