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.
  ☆23Updated 4 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 3 months ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated last year
• riscvarchive / riscv-gentoo
  A port of Gentoo to RISC-V
  ☆20Updated 7 years ago
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated 3 months ago
• atgreen / moxie-cores
  Moxie-compatible core repository
  ☆46Updated last year
• ilia-glushchenko / VulkanCompositor
  WIP Proof-of-Concept Vulkan window compositor
  ☆38Updated 6 years ago
• chmeeedalf / gecko-dev
  POWER-targeted JIT fork of Mozilla.
  ☆12Updated 3 years ago
• genodelabs / genode-rpi
  Raspberry Pi family support for Genode OS framework
  ☆14Updated this week
• ataraxialinux / netbsd-tools
  NetBSD userland tools
  ☆9Updated 5 years ago
• starfive-tech / opensbi
  ☆18Updated 3 weeks ago
• milkv-pioneer / pioneer-files
  Hardware information
  ☆34Updated 6 months ago
• seL4 / camkes
  Component Architecture test suite and example apps.
  ☆29Updated 2 months ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated last year
• andreiw / polaris
  Solaris/PPC
  ☆21Updated 10 years ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• freebsd-riscv / freebsd
  FreeBSD src tree
  ☆18Updated 4 years ago
• repk / sporc
  Sparc emulator
  ☆10Updated 7 years ago
• aperezdc / 9pfuse
  FUSE-based 9P client from the Plan9 Port project, standalone version
  ☆32Updated last year
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆83Updated 5 years ago
• machdyne / kakao
  Kakao Linux
  ☆35Updated 2 months ago
• fjballest / octopus
  The Octopus operating system
  ☆28Updated 4 years ago
• genodelabs / genode-allwinner
  Allwinner SoC support for the Genode OS framework
  ☆16Updated this week
• abarth / tau
  An operating system for the Raspberry Pi
  ☆59Updated 10 years ago
• fjballest / nixMarkIV
  Nix source
  ☆12Updated 4 years ago
• chipforge / PearlRiver
  1st Testwafer for LibreSilicon
  ☆15Updated 6 years ago
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated last month
• system76 / coreboot-collector
  Utility for collecting valuable information for coreboot
  ☆24Updated 2 months ago