google / arm-gic

Related projects: ⓘ

• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆93Updated last year
• google / aarch64-paging
  A Rust library to manipulate AArch64 VMSA EL1 page tables.
  ☆26Updated 3 weeks ago
• google / aarch64-esr-decoder
  A utility for decoding aarch64 ESR register values.
  ☆67Updated this week
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆25Updated 5 months ago
• rust-vmm / vhost
  ☆126Updated last week
• rust-vmm / kvm-bindings
  ☆132Updated last week
• google / gpt-disk-rs
  Rust libraries for working with GPT (GUID Partition Table) disk data
  ☆58Updated last week
• fujita / rust-e1000
  ☆76Updated last year
• rust-vmm / linux-loader
  Linux kernel loader
  ☆182Updated last week
• rust-vmm / vm-fdt
  ☆13Updated last month
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆111Updated last month
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆32Updated 2 weeks ago
• rust-vmm / vmm-sys-util
  Helpers and utilities used by multiple rust-vmm components and VMMs
  ☆78Updated 2 weeks ago
• rust-vmm / vm-device
  ☆36Updated 10 months ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆73Updated 4 years ago
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆68Updated this week
• rustsbi / rustsbi-hifive-unmatched
  RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core
  ☆17Updated last year
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆40Updated this week
• rcore-os / RVM
  Rcore Virtual Machine
  ☆106Updated 6 months ago
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆45Updated last year
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆124Updated this week
• google / rust-scudo
  ☆46Updated last month
• lmt-swallow / rvvisor
  [WIP] A tiny RISC-V hypervisor software written in Rust
  ☆25Updated 3 years ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆24Updated this week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆79Updated 2 weeks ago
• google / pdl
  ☆38Updated 2 months ago
• dgreid / crosvm
  ☆53Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆23Updated last month
• riscv-admin / riscv-uefi-edk2-docs
  Documentation and status of UEFI on RISC-V
  ☆53Updated 3 years ago
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆49Updated last week