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
  ☆50Updated 3 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 4 years ago
• mkilgore / protura
  ☆90Updated 2 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆56Updated 8 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 2 months ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• managarm / lil
  Lightweight Intel gpu Library
  ☆48Updated 6 months ago
• protopopov1122 / kefir
  C17 compiler implementation from scratch
  ☆64Updated last year
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 7 months ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆60Updated last month
• nebulaeonline / nebulae
  nebulae kernel - stage 0 uefi barebones
  ☆35Updated last year
• osdev0 / freestnd-c-hdrs-0bsd
  Moved to codeberg: https://codeberg.org/osdev/freestnd-c-hdrs-0bsd
  ☆27Updated 3 weeks ago
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆34Updated 2 months ago
• primis / Apollo
  x86 Kernel Project
  ☆32Updated last year
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆70Updated 4 years ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated 3 months ago
• DeanoBurrito / northport
  Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.
  ☆91Updated this week
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆91Updated last week
• GabrielRRussell / KoiOS
  Koi Operating System, Senior Mastery Capstone Project 2020
  ☆24Updated 4 years ago
• maxtyson123 / MaxOS
  A 64bit hobby operating system written in C++
  ☆45Updated this week
• JMarlin / wsbe
  The example code for the Windowing Systems by Example blog series
  ☆90Updated 4 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago
• AymenSekhri / CyanOS
  Coding an operating system to keep my sanity during the quarantine.
  ☆69Updated 2 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆69Updated 8 months ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 2 years ago
• N00byEdge / bootelf
  ☆34Updated 6 months ago
• Tix3Dev / apoptOS
  A modern x86_64 UNIX-like microkernel-based operating system
  ☆63Updated 2 years ago
• vex-os / vex
  The mighty 64-bit kernel
  ☆35Updated 6 months ago