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.
  ☆71Updated 6 months ago
• eryjus / century-os
  A consolidation of all the Centuries I have started
  ☆9Updated 5 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated last year
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆204Updated 4 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• yoppeh / efi-clang
  Build UEFI applications with the Clang compiler and LLD linker.
  ☆61Updated last year
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated 3 weeks ago
• missimer / x86-64-kernel-boot
  ☆59Updated 3 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated 2 years ago
• no92 / vineyard
  Moved to:
  ☆12Updated 6 years ago
• Tiihala / Dancy
  Dancy Operating System
  ☆12Updated last week
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆21Updated 5 years ago
• xenos1984 / NOS
  Operating system project
  ☆33Updated 3 months ago
• darshdudhia / DarshOS
  An Operating System made in my spare time.
  ☆7Updated last year
• BrianOtto / nasm-uefi
  A UEFI Boot Loader Built in NASM
  ☆43Updated last year
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆39Updated 3 months ago
• NetaScale / SCAL-UX
  SCAL/UX, a hobby Unix-like operating system
  ☆19Updated 2 years ago
• DevSolar / pdclib
  The Public Domain C Library
  ☆246Updated this week
• AndrewAPrice / Perception
  A hobby operating system
  ☆104Updated last month
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆219Updated 6 years ago
• AxFab / kora-kernel
  Kernel for my operating system KoraOS
  ☆17Updated 11 months ago
• thomasloven / mittos64
  ☆50Updated 6 years ago
• mallardtheduck / osdev
  OS development...
  ☆46Updated last year
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated 11 months ago
• managarm / bootstrap-managarm
  Patches and build scripts to build a managarm distribution
  ☆40Updated this week
• lezione-os / lezione
  Lezione Operating System
  ☆10Updated 4 years ago
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆57Updated 8 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆25Updated 9 years ago