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 last month
• riscvarchive / riscv-strace
  RISC-V strace port
  ☆13Updated 8 years ago
• seL4 / musllibc
  ☆27Updated last month
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆23Updated 2 years ago
• starfive-tech / meta-starfive
  StarFive OpenEmbedded Layer
  ☆16Updated last month
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• michaelforney / x509cert
  Tool and library for generating X.509 certificates and certificate requests (mirror)
  ☆16Updated 3 years ago
• foss-for-synopsys-dwc-arc-processors / binutils-gdb
  A mirror of the upstream binutils-gdb repository for ARC specific work
  ☆14Updated this week
• ibm-op-release / op-build
  Buildroot overlay for IBM Open Power releases
  ☆16Updated 4 months 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 4 months ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆19Updated 3 years ago
• qemu / ipxe
  Mirror of git.qemu.org/ipxe.git
  ☆18Updated last month
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆30Updated last month
• 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
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• skeeto / pwcheck
  Database lookup for "Have I Been Pwned"
  ☆8Updated 6 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• qemu / capstone
  Mirror of git://qemu.org/capstone.git
  ☆10Updated 2 weeks ago
• tinycorelinux / corebook
  ☆15Updated 8 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated last month
• Papierkorb / tarfs
  tar file system as loadable kernel module
  ☆16Updated 8 years ago
• clibs / bytes
  byte <> string conversion utilities
  ☆14Updated 10 years ago
• linuxboot / mainboards
  work in progress ports of linuxboot for various mainboards
  ☆21Updated 2 years ago
• clibs / trigger
  Simple event handling library.
  ☆11Updated 10 years ago