Alternatives and similar repositories for libos

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

• jetcom / xinu-arm
  Xinu arm port, for Raspberry Pi
  ☆30Updated 12 years ago
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• mokafive / grub
  The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…
  ☆9Updated 9 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆34Updated 12 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 7 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 3 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• rikusalminen / danjeros
  A hobby operating system. Everyone's gotta have one.
  ☆48Updated 14 years ago
• rzezeski / libMicro
  ☆11Updated 5 years ago
• jesus-ramos / not-a-good-os
  just a toy operating system for fun
  ☆19Updated 10 years ago
• andrewchambers / cmips
  cmips
  ☆56Updated 10 years ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆52Updated last year
• aejsmith / kiwi
  Kiwi operating system
  ☆14Updated 5 months ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 9 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆27Updated 14 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆43Updated 7 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• bewing0 / qcc
  A superfast C compiler inspired by TinyCC
  ☆15Updated 10 years ago
• duckinator / dux
  An operating system.
  ☆29Updated 7 years ago
• 0ctobyte / popcorn
  A 64-bit kernel for ARMv8-A CPU's.
  ☆30Updated 3 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• ycui1984 / enhanced-plan9
  google summer code
  ☆14Updated 10 years ago