Alternatives and similar repositories for uefi-headers

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

• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated last year
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 5 months ago
• yoppeh / efi-clang
  Build UEFI applications with the Clang compiler and LLD linker.
  ☆59Updated last year
• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆71Updated 5 months ago
• no92 / vineyard
  Moved to:
  ☆12Updated 6 years ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• xenos1984 / NOS
  Operating system project
  ☆33Updated 2 months ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆204Updated 4 years ago
• eryjus / century-os
  A consolidation of all the Centuries I have started
  ☆9Updated 5 years ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆21Updated 5 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 9 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 9 months ago
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated 2 years ago
• mallardtheduck / osdev
  OS development...
  ☆46Updated last year
• Menotdan / OSdev-tutorial
  My own OS Development tutorial.
  ☆42Updated 5 years ago
• thomasloven / mittos64
  ☆50Updated 6 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated 11 months ago
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆39Updated 2 months ago
• AtieP / Vigil
  An x86_64 operating system
  ☆20Updated 4 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• darshdudhia / DarshOS
  An Operating System made in my spare time.
  ☆7Updated last year
• shreyaslad / slate
  a 64 bit x86 operating system
  ☆16Updated 4 years ago
• missimer / x86-64-kernel-boot
  ☆59Updated 3 years ago
• nothotscott / VisualOS
  x86-64 UEFI operating system with the goal of eliminating command lines
  ☆28Updated 4 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 7 years ago
• AndrewAPrice / Perception
  A hobby operating system
  ☆103Updated 3 weeks ago