Alternatives and similar repositories for gnu-efi

Users that are interested in gnu-efi are comparing it to the libraries listed below

• 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
• utshina / uefi-simple
  A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.
  ☆109Updated last year
• xenos1984 / NOS
  Operating system project
  ☆33Updated 3 months ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆30Updated 10 years ago
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆40Updated 6 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated last week
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated 11 months ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆87Updated last year
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 2 years ago
• kurtqiao / MyPkg
  UEFI application package
  ☆29Updated 9 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆198Updated last week
• ajxs / uefi-elf-bootloader
  UEFI ELF Bootloader example
  ☆97Updated 5 months ago
• coreboot / seabios
  Read-only mirror of https://git.seabios.org/seabios.git. We don't handle pull requests.
  ☆442Updated last month
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 7 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated 2 years ago
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated last year
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆219Updated 6 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 3 months ago
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆60Updated 3 years ago
• pbatard / uefi-simple
  UEFI development made easy
  ☆252Updated last year
• kmmoore / mosquitos
  A tiny x86_64 UEFI-based operating system built from scratch.
  ☆31Updated 4 years ago
• openbios / openbios
  First published Open Source implementation of OpenFirmware
  ☆388Updated 10 months ago
• ishanthilina / USB-FAT32-Bootloader
  A simple FAT32 bootloader written in assembly to boot from USB drives.
  ☆77Updated 7 years ago
• acpica / acpica
  The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Conf…
  ☆551Updated this week
• shawnanastasio / ShawnOS
  A Basic x86 Operating System/Kernel
  ☆48Updated 6 years ago
• alexfru / BootProg
  FAT12/16/32 Bootsector for .COMs/.EXEs
  ☆108Updated 2 years ago