Alternatives and similar repositories for uefi

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

• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆30Updated 10 years ago
• farlepet / lambda-kern
  Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C
  ☆16Updated last week
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆35Updated 8 years ago
• nebulaeonline / nebulae
  nebulae kernel - stage 0 uefi barebones
  ☆35Updated 2 years ago
• himanshugoel2797 / ApertureOS
  Toy Operating System
  ☆11Updated 9 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 3 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 13 years ago
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• Openwide-Ingenierie / uefi-musl
  MUSL libc port for UEFI
  ☆11Updated 8 years ago
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 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
• jesus-ramos / not-a-good-os
  just a toy operating system for fun
  ☆19Updated 11 years ago
• Xv64 / OS
  A UNIX-like OS targeting AMD64 compatible processors
  ☆17Updated 3 years ago
• himanshugoel2797 / Cardinal
  Operating system designed to be fast and secure.
  ☆21Updated 8 years ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 4 months ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆86Updated 3 months ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 4 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆52Updated last month
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆41Updated 7 years ago
• XVilka / cparse
  Parser of C-syntax data definitions, C-syntax function definitions
  ☆19Updated 13 years ago
• cjsmeele / stoomboot
  An x86 real mode multiboot-ish ELF bootloader
  ☆26Updated 7 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 15 years ago
• zhengruohuang / toddler-ng
  The next generation Toddler, a well designed usable and portable microkernel OS
  ☆16Updated 4 years ago
• iankronquist / kernel-of-truth
  A simple kernel written in C and a platform to play with x86_64 extensions
  ☆30Updated 7 years ago
• snf / llvm_assemble
  LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)
  ☆20Updated 9 years ago
• klange / hobby-os-landscape
  A guide to hobbyist operating systems
  ☆62Updated 7 years ago