Alternatives and similar repositories for efi-clang

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

• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆70Updated 11 months ago
• TomatOrg / TomatBoot
  A UEFI 64bit Bootloader
  ☆149Updated 4 years ago
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆41Updated 7 years ago
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• utshina / uefi-simple
  A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.
  ☆116Updated last year
• managarm / lai
  LAI is an interpreter for AML, the ACPI Machine Language.
  ☆186Updated last month
• missimer / x86-64-kernel-boot
  ☆59Updated 3 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆30Updated 10 years ago
• glitchub / arith64
  __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC
  ☆57Updated last year
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• Openwide-Ingenierie / uefi-musl
  MUSL libc port for UEFI
  ☆11Updated 8 years ago
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆61Updated 4 years ago
• UltraOS / Hyper
  A modern x86/ARM bootloader supporting both BIOS and UEFI
  ☆52Updated 9 months ago
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆43Updated 8 months ago
• vineyard-os / vineyard
  A work-in-progress hobby operating system.
  ☆23Updated 5 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆53Updated 2 years ago
• ajxs / uefi-elf-bootloader
  UEFI ELF Bootloader example
  ☆102Updated 11 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆19Updated 7 years ago
• owenson / tiny-linux-bootloader
  A single sector Linux bootloader that can handle initrd
  ☆72Updated 2 years ago
• xenos1984 / NOS
  Operating system project
  ☆33Updated 8 months ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated last month
• mariuz / linux-0.01
  compilable linux-0.01
  ☆99Updated last month
• wfeldt / libx86emu
  x86 emulation library
  ☆159Updated 10 months ago
• toddsharpe / MetalOS
  Homebrew x64 OS written in C++ that runs Doom!
  ☆46Updated 4 months ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆205Updated 5 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated last month
• openmach / openmach
  OpenMach operating system
  ☆100Updated 11 years ago
• stivale / stivale
  The stivale boot protocols' specifications and headers.
  ☆110Updated 3 years ago