wrmlab / wrmos

Related projects ⓘ

Alternatives and complementary repositories for wrmos

• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆45Updated this week
• seL4 / camkes-manifest
  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …
  ☆20Updated this week
• rth7680 / qemu-palcode
  Firmware for Alpha emulation under QEMU
  ☆12Updated 3 years ago
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆23Updated this week
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆80Updated this week
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆22Updated 3 years ago
• seL4 / musllibc
  ☆25Updated 4 months ago
• repk / sporc
  Sparc emulator
  ☆10Updated 6 years ago
• illumos / gfx-drm
  ☆21Updated 6 months ago
• andreiw / polaris
  Solaris/PPC
  ☆19Updated 10 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆16Updated this week
• HelenOS / harbours
  Ported software for HelenOS.
  ☆21Updated 7 months ago
• coreboot / libgfxinit
  mirror of https://review.coreboot.org/libgfxinit.git
  ☆22Updated 3 months ago
• ataraxialinux / netbsd-tools
  NetBSD userland tools
  ☆9Updated 4 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 10 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆19Updated 2 months ago
• MIPS / meos
  ☆12Updated 6 years ago
• openbios / fcode-utils
  A set of utilities to process FCODE, OpenFirmware's byte code
  ☆31Updated 4 months ago
• seL4 / docs
  This is the source of the seL4 docs.
  ☆16Updated this week
• neozeed / xMach
  xMach (Mach4+Lites) cloned from Sourceforge CVS
  ☆19Updated 3 months ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆38Updated this week
• Ravenports / Ravenports
  Universal package builder system
  ☆63Updated this week
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆18Updated 4 months ago
• zertovitch / zip-ada
  Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
  ☆24Updated this week
• jeffmerkey / open-netware
  Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)
  ☆15Updated 5 years ago
• Ada-France / aflex
  Aflex the Ada fast lexical analyser generator
  ☆15Updated 4 months ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆17Updated 2 years ago
• dancrossnyc / xinu68k
  68k port of the PDP-11 version of Comer's Xinu operating system
  ☆13Updated 9 years ago
• gabriele-galeotti / SweetAda
  Ada-language framework
  ☆38Updated this week