Alternatives and similar repositories for miralis

Users that are interested in miralis are comparing it to the libraries listed below

• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆173Updated last week
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆111Updated 3 months ago
• rust-vmm / vm-fdt
  ☆19Updated last year
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆66Updated last year
• hermit-os / loader
  The Hermit bootloader.
  ☆79Updated last week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 4 months ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆16Updated 4 years ago
• embive / embive
  A lightweight, recoverable sandbox for executing untrusted RISC-V code in constrained environments
  ☆53Updated 2 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆54Updated 2 weeks ago
• qemu-rs / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆80Updated 2 months ago
• chipsalliance / caliptra-mcu-sw
  Caliptra MCU Software
  ☆21Updated this week
• cbiffle / debugdb
  DWARF program analysis crate
  ☆24Updated last year
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆128Updated this week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆79Updated 2 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆158Updated this week
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆33Updated last year
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆24Updated 2 years ago
• Freax13 / test-kernel
  ☆13Updated 3 years ago
• MarcusGrass / boot-rs
  Simple EFI bootloader
  ☆47Updated last week
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆38Updated 11 months ago
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated last week
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated last month
• arceos-org / arceos-staging
  An experimental modular OS written in Rust.
  ☆12Updated last year
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆125Updated last year
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆84Updated last week
• rust-osdev / virtio-spec-rs
  Definitions from the Virtual I/O Device (VIRTIO) specification.
  ☆28Updated 2 months ago
• toddmaustin / spectre-rust
  Spectre V1 Proof-of-Concept Attack in the Rust Language
  ☆27Updated 7 months ago