Alternatives and similar repositories for caos:

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

• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated last month
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• kokke / tiny-lint-c
  A small and simple static analysis tool for C in C
  ☆28Updated 7 months ago
• a-darwish / cuteOS-references
  Documentation, references, and collected academic research for the cuteOS Kernel.
  ☆39Updated 9 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆66Updated 4 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆59Updated 6 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆53Updated 3 weeks ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆52Updated last year
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 10 years ago
• DoctorWkt / fbcc
  Fabrice Bellard's fbcc C Compiler
  ☆41Updated 5 years ago
• jimix / k42
  K42 Kernel
  ☆27Updated 12 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆44Updated 4 years ago
• rikusalminen / danjeros
  A hobby operating system. Everyone's gotta have one.
  ☆48Updated 14 years ago
• haileys / mini64
  64 bit hobby OS
  ☆26Updated 9 years ago
• kaworu / JamesM
  me going through JamesM's kernel development tutorials
  ☆41Updated 5 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆51Updated 3 years ago
• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆72Updated 2 months ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆91Updated 7 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆69Updated 8 months ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆79Updated this week
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆85Updated last year
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆56Updated 8 years ago
• 0jk6 / hos-x86
  A simple Unix like operating system from scratch.
  Updated 4 years ago
• roscopeco / mink
  A minimal experimental microkernel
  ☆24Updated last year
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 12 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago