Alternatives and similar repositories for minimal-efi

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

• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆49Updated 3 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• JMarlin / wsbe
  The example code for the Windowing Systems by Example blog series
  ☆92Updated 4 years ago
• mkilgore / protura
  ☆91Updated 3 years ago
• vegesm / c72
  The first C compiler ported to x86
  ☆193Updated 4 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• AndrewAPrice / Perception
  A hobby operating system
  ☆104Updated 2 weeks ago
• protopopov1122 / kefir
  C17 compiler implementation from scratch
  ☆64Updated 2 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆92Updated last week
• tailix / libkernaux
  Auxiliary library for kernel development
  ☆30Updated 2 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆135Updated last year
• seyko2 / tccboot
  Using TinyCC to compile Linux kernels
  ☆65Updated 9 years ago
• toddsharpe / MetalOS
  Homebrew x64 OS written in C++ that runs Doom!
  ☆46Updated last week
• aligrudi / neatcc
  A small arm/x86(-64) C compiler
  ☆171Updated 2 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆41Updated 2 years ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆36Updated 7 months ago
• ghaerr / blink16
  Tiny visual 8086 emulator based on Blink
  ☆75Updated last year
• N00byEdge / bootelf
  ☆34Updated 10 months ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 9 years ago
• alexfru / BootProg
  FAT12/16/32 Bootsector for .COMs/.EXEs
  ☆110Updated 2 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆58Updated last month
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated last year
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆90Updated 3 months ago
• rdmsr / tisix
  Tiny and portable microkernel
  ☆16Updated 3 years ago
• osdev0 / wiki
  Modern OS Development wiki.
  ☆63Updated 2 years ago
• Itay2805 / TomatOS
  A 64bit tomato kernel
  ☆68Updated 4 years ago