CharlyCst / miralis

Related projects ⓘ

Alternatives and complementary repositories for miralis

• rust-vmm / vm-fdt
  ☆14Updated 3 months ago
• Freax13 / test-kernel
  ☆13Updated 2 years ago
• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆29Updated 6 years ago
• KuangjuX / hypercraft
  hypercraft is a VMM library written in Rust.
  ☆46Updated last month
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆46Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆77Updated 10 months ago
• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆38Updated 2 years ago
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆28Updated last week
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆61Updated last year
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆23Updated 4 months ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆17Updated this week
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆23Updated 2 months ago
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆58Updated 2 months ago
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆22Updated last year
• cbiffle / debugdb
  DWARF program analysis crate
  ☆16Updated 6 months ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆32Updated last week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆55Updated 2 weeks ago
• ubugeeei / ubcc
  A toy C Compiler implemented by Rust.
  ☆19Updated last year
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆52Updated 2 weeks ago
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆29Updated this week
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆32Updated 4 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆55Updated 6 months ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆31Updated last month
• rustsbi / sbi-rt
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆21Updated 10 months ago
• ks0n / goOSe
  A minimal Kernel written in Rust
  ☆43Updated 3 weeks ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆15Updated 9 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆70Updated this week
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 3 years ago
• rust-lang / thorin
  DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.
  ☆42Updated 2 months ago
• heki-linux / lvbs-linux
  Linux kernel source tree with changes to support LVBS with Hyper-V
  ☆16Updated 2 months ago