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
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆61Updated 7 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 4 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 10 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 5 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system kernel created in C
  ☆16Updated 6 months ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 3 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆23Updated 9 years ago
• seL4 / musllibc
  ☆27Updated 2 weeks ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 8 years ago
• stacksmith / fpgasm
  FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)
  ☆54Updated 4 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 5 years ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• jdryg / RISCVEmu
  Toy RISC-V emulator
  ☆15Updated 8 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 6 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• zhmu / ananas
  Ananas Operating System
  ☆56Updated 3 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 8 months ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆25Updated 5 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 6 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 7 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆26Updated last year
• rikusalminen / danjeros
  A hobby operating system. Everyone's gotta have one.
  ☆49Updated 14 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆46Updated last year
• jhhuh / tinyemu
  Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)
  ☆66Updated 4 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 8 years ago