sgmarz / riscv_msi

Related projects ⓘ

Alternatives and complementary repositories for riscv_msi

• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆44Updated 10 months ago
• auxoncorp / selfe-sys
  A generated thin wrapper around libsel4.a, with supporting subcrates.
  ☆11Updated 2 years ago
• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆38Updated 2 years ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆21Updated last week
• rustsbi / slides
  All public report slides, articles and meeting minutes related to RustSBI
  ☆27Updated last week
• hermit-os / loader
  The Hermit bootloader.
  ☆70Updated this week
• riscv-non-isa / riscv-uefi
  ☆24Updated 2 years ago
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆22Updated last year
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆46Updated last year
• tock / libtock-c
  Userland apps for Tock written in C and C++
  ☆82Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆99Updated last year
• rust-vmm / vm-fdt
  ☆14Updated 3 months ago
• hannobraun / caterpillar
  An experimental project to create an interactive programming language.
  ☆16Updated this week
• rustsbi / xuantie
  Low level access to T-Head Xuantie RISC-V processors
  ☆32Updated 2 years ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆61Updated last year
• 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
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆121Updated last week
• ks0n / goOSe
  A minimal Kernel written in Rust
  ☆43Updated 3 weeks ago
• shady831213 / terminus
  A riscv isa simulator in rust.
  ☆63Updated last year
• rust-osdev / uart_16550
  Minimal support for uart_16550 serial output.
  ☆33Updated last week
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆41Updated 7 months ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆74Updated 4 years ago
• eigenraven / rvasm
  RISC-V Assembler
  ☆17Updated last year
• au-ts / libvmm
  An experimental virtual machine monitor for the seL4 microkernel
  ☆29Updated this week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆87Updated 3 weeks ago
• cbiffle / debugdb
  DWARF program analysis crate
  ☆16Updated 6 months ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆53Updated 10 months ago
• rust-osdev / pci_types
  Useful types for dealing with PCI
  ☆30Updated last month
• luojia65 / test-d1-flash-bare
  Test run any program on D1 Nezha board flash
  ☆26Updated 2 years ago
• zdimension / parm_extended
  ☆52Updated last month