AmbiML / sparrow-kata-full
☆6Updated 2 years ago
Alternatives and similar repositories for sparrow-kata-full:
Users that are interested in sparrow-kata-full are comparing it to the libraries listed below
- ☆10Updated last year
- Rust support for seL4 userspace☆131Updated this week
- Lints for kernel or embedded system development.☆104Updated this week
- RISC-V hypervisor written in Rust☆354Updated 5 years ago
- virtio implementation☆388Updated last week
- Low level access to processors using the AArch64 execution state.☆77Updated 3 months ago
- Project Sparrow: Repo Materials☆20Updated last year
- A specialized hypervisor for Hermit.☆260Updated this week
- Minimal runtime / startup for RISC-V CPU's.☆301Updated last year
- The Hermit bootloader.☆74Updated this week
- The Xous microkernel☆556Updated this week
- Virtual machine's guest memory crate☆317Updated 2 weeks ago
- A template for building Rust applications for HiFive1 boards☆213Updated last year
- rustBoot is a standalone bootloader written entirely in `Rust`, designed to run on anything from a microcontroller to a system on chip. I…☆257Updated 5 months ago
- Low level access to RISC-V processors☆900Updated this week
- RISC-V processor emulator written in Rust+WASM☆648Updated last year
- VirtIO guest drivers in Rust.☆232Updated last week
- About this organization☆132Updated 6 months ago
- Basic template for an out-of-tree Linux kernel module written in Rust.☆285Updated 3 months ago
- ☆227Updated 8 months ago
- A try to follow the rust port in Linux kernel in driver development.☆99Updated 2 years ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆104Updated this week
- ☆77Updated last year
- Low level access to Cortex-A processors☆121Updated 2 years ago
- An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from…☆121Updated 11 months ago
- Rcore Virtual Machine☆110Updated 11 months ago
- ☆126Updated this week
- An experimental modern general-purpose microkernel OS.☆81Updated this week
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆27Updated this week
- ☆141Updated 3 months ago