Alternatives and similar repositories for rv6

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

• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 10 years ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• seL4 / musllibc
  ☆27Updated last month
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 4 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 6 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆62Updated 7 years ago
• akaros / akaros
  The Akaros operating system
  ☆43Updated 5 years ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆28Updated 5 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 5 years ago
• jhhuh / tinyemu
  Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)
  ☆66Updated 4 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• drh / iburg
  A Tree Parser Generator
  ☆102Updated last year
• repk / sporc
  Sparc emulator
  ☆11Updated 7 years ago
• jetcom / xinu-arm
  Xinu arm port, for Raspberry Pi
  ☆30Updated 12 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆200Updated last year
• stacksmith / fpgasm
  FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)
  ☆54Updated 4 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 10 years ago
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated 8 months ago
• machinaut / libos
  library OS, based on xv6, for running go programs on (virtual) bare metal
  ☆12Updated 14 years ago
• campaul / octave
  An 8-bit CPU designed for education
  ☆20Updated 11 years ago
• stevenknown / xgen
  ☆36Updated 3 months ago
• thejpster / vga-framebuffer-rs
  A Rust VGA Framebuffer implementation for embedded micros
  ☆32Updated 5 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 7 months ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆46Updated last year
• leonee / weenix
  ☆36Updated 11 years ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆223Updated 13 years ago