Alternatives and similar repositories for riscv-magenta:

Users that are interested in riscv-magenta are comparing it to the libraries listed below

• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆22Updated 4 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• atgreen / moxie-cores
  Moxie-compatible core repository
  ☆45Updated last year
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 2 weeks ago
• ataraxialinux / netbsd-tools
  NetBSD userland tools
  ☆9Updated 4 years ago
• intel / intel-sdsi
  ☆48Updated 3 months ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 6 years ago
• AlmuHS / GNUMach_SMP
  SMP implementation in GNU Mach
  ☆25Updated 10 months ago
• seL4 / camkes-manifest
  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …
  ☆21Updated this week
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆38Updated 2 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• freebsd-riscv / freebsd
  FreeBSD src tree
  ☆18Updated 4 years ago
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆50Updated 5 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 9 months ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆82Updated 5 years ago
• michaeljclark / musl-riscv-toolchain
  riscv-linux musl gcc toolchain bootstrap scripts
  ☆17Updated 4 years ago
• ericvh / 9p-rfc
  RFC and standards documents relating the 9P protocol (and its extensions and applications)
  ☆77Updated 2 years ago
• starfive-tech / freelight-u-sdk
  ☆28Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• tinycorelinux / flwm
  ☆22Updated 5 years ago
• seL4 / musllibc
  ☆25Updated last week
• mahrz24 / rv6
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Updated 5 years ago
• riscvarchive / riscv-gentoo
  A port of Gentoo to RISC-V
  ☆20Updated 6 years ago
• machdyne / kakao
  Kakao Linux
  ☆32Updated 3 weeks ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 2 weeks ago
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 7 years ago
• j-core / jcore-cpu
  J-Core J2/J32 5 stage pipeline CPU core
  ☆50Updated 4 years ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆23Updated 2 years ago