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
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated last week
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 4 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 13 years ago
• patha454 / xv6_pi_mp
  The xv6 operating system, ported to the Raspberry Pi
  ☆16Updated 6 years ago
• hchunhui / myos
  a unix like OS from scratch
  ☆27Updated 3 years ago
• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• mahrz24 / rv6
  rv6 is a kernel & operating system written entirely in rust.
  ☆11Updated 6 years ago
• m-ou-se / bootlib
  A minimalistic library to help making your x86 assembly program bootable.
  ☆25Updated 6 years ago
• bewing0 / qcc
  A superfast C compiler inspired by TinyCC
  ☆16Updated 10 years ago
• repk / sporc
  Sparc emulator
  ☆11Updated 7 years ago
• andrewchambers / cmips
  cmips
  ☆56Updated 11 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• jhhuh / tinyemu
  Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)
  ☆66Updated 4 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆43Updated 10 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 4 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 3 years ago
• MrBad / cOSiris
  Small Unix like operating system written in C, for i386 (PC) CPU
  ☆11Updated 7 years ago
• ibara / LiteBSD-Ports
  The LiteBSD ports tree.
  ☆16Updated 7 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆45Updated 8 years ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆53Updated 5 months ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆28Updated 15 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• ShichenLiu / C-compiler
  C to LLVM / Python compiler
  ☆10Updated 8 years ago
• mborgerson / jit
  A little just-in-time compiler thing
  ☆18Updated 7 years ago
• triforce / minos
  A minimal bare bones operating system based on a monolithic kernel design written purely in Assembly language
  ☆24Updated 6 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 years ago