Alternatives and similar repositories for libos:

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

• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated 11 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆43Updated 7 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆20Updated 12 years ago
• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆11Updated 12 years ago
• bford / PIOS
  PIOS: Parallel Instructional Operating System - Instructional Template Code
  ☆37Updated 12 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆64Updated 4 years ago
• rui314 / 8cc-old
  ☆22Updated 14 years ago
• jetcom / xinu-arm
  Xinu arm port, for Raspberry Pi
  ☆29Updated 11 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 12 years ago
• stevenknown / xocfe
  XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.
  ☆51Updated last week
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• jserv / codezero
  Codezero Microkernel
  ☆107Updated 3 years ago
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆43Updated 4 years ago
• aejsmith / kiwi
  Kiwi operating system
  ☆13Updated last month
• coderaiser / nemesis
  x86 operation system writen on fasm
  ☆42Updated 5 months ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 6 years ago
• atgreen / moxie-cores
  Moxie-compatible core repository
  ☆45Updated 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 8 years ago
• IanSeyler / netLib
  Network Communication Library
  ☆7Updated 10 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆89Updated 8 years ago
• tristanseifert / MosquitOS
  Open-sourced hobby operating system.
  ☆26Updated 10 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 2 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆90Updated 7 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆107Updated 4 years ago