Alternatives and similar repositories for libos:

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

• 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
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated 10 months ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆11Updated 12 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆38Updated 7 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• coderaiser / nemesis
  x86 operation system writen on fasm
  ☆41Updated 4 months ago
• archiecobbs / jcvm
  Java virtual machine implementation that converts class files into C source files (HISTORICAL)
  ☆16Updated 9 years ago
• refi64 / libcut
  Easy, flexible C unit testing
  ☆11Updated 8 years ago
• Ryanel / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 5 years ago
• jetcom / xinu-arm
  Xinu arm port, for Raspberry Pi
  ☆29Updated 11 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆52Updated last year
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 2 years ago
• tonyrog / vasm
  RISC-V emulator
  ☆10Updated 8 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 6 years ago
• jimix / k42
  K42 Kernel
  ☆24Updated 12 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆20Updated 12 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆41Updated 3 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 12 years ago
• mborgerson / jit
  A little just-in-time compiler thing
  ☆18Updated 6 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆15Updated 6 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆90Updated 7 years ago
• andrewchambers / cmips
  cmips
  ☆57Updated 10 years ago
• Hersh500 / cpu
  A simulator for a simple RISC CPU in C
  ☆47Updated 2 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆89Updated 8 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆42Updated 7 years ago
• MrBad / cOSiris
  Small Unix like operating system written in C, for i386 (PC) CPU
  ☆11Updated 6 years ago
• programble / bare-metal-tetris
  Tetris for x86 in bad C. Succeeded by Tetrasm.
  ☆61Updated 9 years ago