Alternatives and similar repositories for riscv-magenta:

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

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated this week
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆82Updated 5 years ago
• rminnich / NxM
  NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu
  ☆45Updated 11 months ago
• 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
• riscvarchive / riscv-gentoo
  A port of Gentoo to RISC-V
  ☆20Updated 6 years ago
• freebsd-riscv / freebsd
  FreeBSD src tree
  ☆18Updated 4 years ago
• POWER9BSD / freebsd
  FreeBSD src tree (read-only mirror)
  ☆12Updated 6 years ago
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated last month
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• void-linux / musl-obstack
  A standalone library to implement GNU libc's obstack
  ☆22Updated last year
• starfive-tech / opensbi
  ☆18Updated this week
• riscvarchive / riscv-poky
  Port of the Yocto Project to the RISC-V ISA
  ☆62Updated 6 years ago
• seL4 / musllibc
  ☆27Updated last month
• michaeljclark / musl-riscv-toolchain
  riscv-linux musl gcc toolchain bootstrap scripts
  ☆17Updated 4 years ago
• riscvarchive / riscv-glibc
  RISC-V port of GNU's libc
  ☆70Updated 4 years ago
• intel / intel-sdsi
  ☆48Updated 4 months ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• Harvey-OS / apex
  ANSI POSIX Environment neXt for Harvey OS
  ☆32Updated 5 years ago
• starfive-tech / Tools
  ☆20Updated last year
• troglobit / myLinux
  myLinux is an embedded operating system based on Buildroot and Finit
  ☆83Updated 9 months ago
• sjdh02 / trOS
  tiny aarch64 baremetal OS thingy
  ☆50Updated 6 years ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 2 months ago
• ataraxialinux / netbsd-tools
  NetBSD userland tools
  ☆9Updated 4 years ago
• repk / sporc
  Sparc emulator
  ☆10Updated 6 years ago
• riscv-non-isa / riscv-device-tree-doc
  RISC-V Specific Device Tree Documentation
  ☆42Updated 8 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 …
  ☆22Updated last week
• open-isa-org / open-isa.org
  Software, tools, documentation for Vegaboard platform
  ☆64Updated 5 years ago
• virtualsquare / vuos
  view based o.s.
  ☆39Updated this week