Alternatives and similar repositories for sparrow-cantrip-full:

Users that are interested in sparrow-cantrip-full are comparing it to the libraries listed below

• AmbiML / sparrow-kata-full
  ☆6Updated 2 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆141Updated 3 weeks ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆358Updated 5 years ago
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆302Updated last year
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆106Updated this week
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆79Updated 5 months ago
• rust-vmm / vm-virtio
  virtio implementation
  ☆398Updated 3 weeks ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆320Updated last week
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆120Updated 2 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆214Updated last year
• rust-embedded / riscv
  Low level access to RISC-V processors
  ☆938Updated this week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆261Updated this week
• Rust-for-Linux / rust-out-of-tree-module
  Basic template for an out-of-tree Linux kernel module written in Rust.
  ☆298Updated last month
• rust-vmm / linux-loader
  Linux kernel loader
  ☆197Updated last month
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆248Updated this week
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆196Updated 3 months ago
• rust-vmm / kvm
  ☆307Updated 3 weeks ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆115Updated 2 weeks ago
• riscv-non-isa / riscv-sbi-doc
  Documentation for the RISC-V Supervisor Binary Interface
  ☆397Updated this week
• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆281Updated this week
• rustsbi / rustsbi-qemu
  QEMU platform SBI support implementation, using RustSBI
  ☆143Updated 6 months ago
• d0u9 / Linux-Device-Driver-Rust
  A try to follow the rust port in Linux kernel in driver development.
  ☆99Updated 2 years ago
• rust-vmm / vhost
  ☆138Updated 3 weeks ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆131Updated 2 weeks ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆115Updated last year
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆111Updated this week
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• rust-vmm / kvm-bindings
  ☆141Updated 5 months ago
• betrusted-io / xous-core
  The Xous microkernel
  ☆567Updated this week
• hermit-os / loader
  The Hermit bootloader.
  ☆74Updated this week