Alternatives and similar repositories for wrmos

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

• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated 2 weeks ago
• riscvarchive / riscv-lld
  RISC-V port of LLVM Linker
  ☆24Updated 6 years ago
• foss-for-synopsys-dwc-arc-processors / binutils-gdb
  A mirror of the upstream binutils-gdb repository for ARC specific work
  ☆14Updated last week
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆30Updated 2 months ago
• jimix / k42
  K42 Kernel
  ☆27Updated 13 years ago
• tommythorn / yari
  YARI is a high performance open source FPGA soft-core RISC implementation, binary compatible with MIPS I. The distribution package includ…
  ☆45Updated 5 months ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 8 months ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• riscvarchive / riscv-strace
  RISC-V strace port
  ☆13Updated 8 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated 3 weeks ago
• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆17Updated 2 months ago
• pfalcon / berkeley-db-1.xx
  Berkeley DB 1.85 with patches and fixes applied
  ☆26Updated 2 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• acjf3 / l3mips
  L3 based MIPS specification and emulator
  ☆15Updated 3 years ago
• skeeto / pwcheck
  Database lookup for "Have I Been Pwned"
  ☆8Updated 6 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated last month
• cjlano / tinysh
  tinysh: minimal shell
  ☆29Updated 13 years ago
• michaeljclark / musl-riscv-toolchain
  riscv-linux musl gcc toolchain bootstrap scripts
  ☆17Updated 4 years ago
• riscv / riscv-smbios
  RISC-V SMBIOS Type 44 Spec
  ☆12Updated last year
• seL4 / musllibc
  ☆27Updated 2 months ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 2 months ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆23Updated 2 years ago
• XUANTIE-RV / xuantie-yocto
  Yocto project for Xuantie RISC-V CPU
  ☆38Updated 4 months ago
• open-estuary / estuary
  ☆14Updated 5 years ago
• riscvarchive / riscv-fesvr
  RISC-V Frontend Server
  ☆63Updated 6 years ago