Alternatives and similar repositories for rv6

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

• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆69Updated 3 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 4 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆60Updated 6 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 9 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 3 months ago
• seL4 / musllibc
  ☆28Updated 2 months ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆68Updated 4 years ago
• leonee / weenix
  ☆36Updated 10 years ago
• wbthomason / ironkernel
  A multi-platform kernel written in Rust
  ☆58Updated 7 years ago
• akaros / akaros
  The Akaros operating system
  ☆41Updated 4 years ago
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆82Updated 3 weeks ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• MiSTer-devel / Altair8800_Mister
  Altair8800_Mister
  ☆12Updated 4 months ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• egranata / puppy
  The Puppy Operating System
  ☆26Updated 6 years ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆24Updated 4 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆53Updated 2 months ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 9 months ago
• stacksmith / fpgasm
  FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)
  ☆53Updated 4 years ago
• osnr / rpi-kernel
  Pseudo-OS for the Raspberry Pi. Written in Rust.
  ☆46Updated 9 years ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆82Updated 5 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
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 4 months ago
• drh / iburg
  A Tree Parser Generator
  ☆99Updated 10 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆31Updated 5 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆81Updated last week