Alternatives and similar repositories for uefi-headers

Users that are interested in uefi-headers are comparing it to the libraries listed below

• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆70Updated 7 months ago
• no92 / vineyard
  Moved to:
  ☆12Updated 6 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆21Updated 5 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 2 months ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 10 years ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 3 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆187Updated last year
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆88Updated 7 years ago
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆39Updated 5 months ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆206Updated 4 years ago
• portasynthinca3 / neutron
  A very simple operating system in C for UEFI-enabled x86-64 systems
  ☆20Updated 4 months ago
• AxFab / kora-kernel
  Kernel for my operating system KoraOS
  ☆17Updated last year
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆41Updated this week
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆53Updated 2 years ago
• yoppeh / efi-clang
  Build UEFI applications with the Clang compiler and LLD linker.
  ☆61Updated last year
• shreyaslad / slate
  a 64 bit x86 operating system
  ☆17Updated 4 years ago
• mallardtheduck / osdev
  OS development...
  ☆46Updated last year
• managarm / lil
  Lightweight Intel gpu Library
  ☆49Updated 11 months ago
• Tiihala / Dancy
  Dancy Operating System
  ☆13Updated 3 weeks ago
• xenos1984 / NOS
  Operating system project
  ☆33Updated 5 months ago
• alexfru / BootProg
  FAT12/16/32 Bootsector for .COMs/.EXEs
  ☆110Updated 2 years ago
• DevSolar / pdclib
  The Public Domain C Library
  ☆251Updated 3 weeks ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆62Updated last week
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated last year
• AtieP / Vigil
  An x86_64 operating system
  ☆19Updated 4 years ago
• managarm / xbstrap
  Build system for OS distributions
  ☆66Updated last month