Alternatives and similar repositories for tinyefi

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

• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated 2 years ago
• N00byEdge / bootelf
  ☆34Updated last year
• 48cf / jinix
  linux distro but with jinx or something
  ☆18Updated 4 months ago
• rdmsr / tinyubsan
  Tiny libubsan implementation for hobby kernels
  ☆33Updated 3 years ago
• cute-engineering / chadlibc
  😎 C standard library
  ☆20Updated last year
• WivOS / WivOS
  A new hobby operating system made with velocity in mind :D
  ☆23Updated 11 months ago
• vex-os / kernel
  The mentally unstable 64-bit kernel
  ☆35Updated last month
• FedorLap2006 / DepthOS
  Very simple to use OS, which doesn't restrict you
  ☆27Updated 7 months ago
• TheUltimateFoxOS / FoxOS-kernel
  The FoxOS kernel
  ☆12Updated 4 years ago
• niqumu / Aulavik
  Tiny POSIX-like hobby OS written in C
  ☆18Updated 2 years ago
• iProgramMC / Boron
  The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS
  ☆71Updated this week
• managarm / lil
  Lightweight Intel gpu Library
  ☆52Updated last year
• cute-engineering / ce-heap
  🥞 A simple heap allocation library for hobby operating systems.
  ☆19Updated 2 years ago
• lowlevelmemes / acpi-shutdown-hack
  ☆18Updated 2 months ago
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆41Updated 2 months ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆39Updated last year
• theverygaming / vix
  ☆28Updated last week
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆80Updated last month
• wxwisiasdf / osdev-ide
  IDE integrated with qemu
  ☆13Updated 3 years ago
• Kyota-exe / Tonix
  Modern UNIX-like x86_64 operating system and kernel written in C++
  ☆50Updated 3 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆32Updated 7 months ago
• UltraOS / Hyper
  A modern x86/ARM bootloader supporting both BIOS and UEFI
  ☆52Updated 10 months ago
• LittleCodingFox / ToastOS
  A x86_64 hobby OS
  ☆25Updated 2 years ago
• Moldytzu / GaOS
  Gallium Operating System
  ☆13Updated 2 months ago
• menix-os / menix
  Modular Unix-like 64-bit kernel
  ☆64Updated this week
• coderarjob / meghaos-x86
  MeghaOS is a 32 bit, protected mode Operating System for the Intel x86 architecture.
  ☆26Updated 4 months ago
• Moldytzu / mOS
  Operating system written in C. Monolithic kernel design.
  ☆26Updated 2 years ago
• d0p1s4m4 / Fukuro
  Simple microkernel (early stage)
  ☆23Updated last year
• chocabloc / saf
  A Simple Archive Format
  ☆10Updated 4 years ago
• nop-os / nop
  ☆20Updated 3 years ago