google / arm-gicLinks
A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).
☆38Updated 5 months ago
Alternatives and similar repositories for arm-gic
Users that are interested in arm-gic are comparing it to the libraries listed below
Sorting:
- 'vhost-user' device backends workspace☆112Updated last week
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated last year
- A utility for decoding aarch64 ESR register values.☆103Updated this week
- Linux kernel loader☆216Updated 3 weeks ago
- ☆156Updated last week
- Risc-V hypervisor for TEE development☆126Updated 3 weeks ago
- A Rust library to manipulate AArch64 VMSA EL1 page tables.☆40Updated 3 weeks ago
- ☆19Updated last year
- ☆41Updated 3 months ago
- ☆144Updated last year
- Rust crate for Flattened Devicetree parsing☆54Updated last month
- Low level access to processors using the AArch64 execution state.☆105Updated 2 months ago
- Rust support for seL4 userspace☆186Updated 2 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆170Updated this week
- Rcore Virtual Machine☆115Updated last year
- Rust libraries for working with GPT (GUID Partition Table) disk data☆69Updated 3 months ago
- ☆69Updated last week
- safe type-1 Rust Hypervisor for edge devices☆165Updated last week
- Lints for kernel or embedded system development.☆149Updated last week
- Rust RISC-V Virtual Machine☆113Updated 5 months ago
- A Type-1.5 hypervisor written in Rust.☆70Updated last year
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆49Updated 2 years ago
- Exit QEMU with user-defined code☆56Updated last month
- virtio implementation☆433Updated 2 weeks ago
- A VMM implementation based of rust-vmm components☆161Updated last year
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆95Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆17Updated 4 years ago
- Secure firmware framework focusing on developer experience☆151Updated this week
- Core KernelCI tools☆117Updated this week
- ☆37Updated 2 years ago