Alternatives and similar repositories for uefi

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

• utshina / uefi-simple
  A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.
  ☆116Updated last year
• garasubo / T-Visor
  Real-time hypervisor for ARM
  ☆64Updated 9 years ago
• matsud224 / raspvisor
  A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)
  ☆52Updated 5 years ago
• cupnes / uefi_bare_metal_programming_part2_samples
  ☆13Updated 8 years ago
• takeharukato / sample-tsk-sw
  A Sample Operating System Kernel for Embedded Systems
  ☆14Updated 5 years ago
• mischief / efivim
  vim ported to UEFI
  ☆136Updated 2 years ago
• utshina / VMXbench
  A UEFI application that measures the number of cycles involved in a VM entry/exit
  ☆30Updated 8 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆137Updated 3 years ago
• matsud224 / tinyos
  An UNIX-like toy operating system runs on x86 CPU
  ☆58Updated 5 years ago
• cupnes / bare_metal_uefi
  ☆34Updated 7 years ago
• hikalium / nvme_uio
  Simple implementation of NVMe Linux usermode driver
  ☆21Updated 7 years ago
• morimolymoly / hypervisor-notes
  hypervisorなmemo
  ☆13Updated 6 years ago
• hikalium / opv86
  Opcode / Instruction finder for x86_64
  ☆78Updated 5 months ago
• orumin / SimpleMyLoader
  Boot Loader with UEFI
  ☆11Updated 10 years ago
• nyuichi / xv6
  xv6 porting to GAIA architecture
  ☆47Updated 10 years ago
• envzhu / semzhu-visor
  Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu
  ☆10Updated 6 years ago
• cupnes / c92_uefi_bare_metal_programming_samples
  ☆58Updated 8 years ago
• c-util / c-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆41Updated 7 years ago
• RIKEN-RCCS / MilvusVisor
  A thin-hypervisor that runs on aarch64 CPUs.
  ☆101Updated 3 weeks ago
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆89Updated this week
• RKX1209 / TinyLinux
  TinyLinux mini linux kernel implmentation from scratch
  ☆142Updated 9 years ago
• satoru-takeuchi / elkdat
  ELKDAT: easy linux kernel development and test tool
  ☆115Updated 4 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 3 years ago
• shift-crops / x86emu
  simple x86 emulator
  ☆120Updated 4 years ago
• yabits / 9pfsPkg
  Painless Network-Transparent Network Boot with 9P
  ☆63Updated 2 years ago
• oraccha / omicron
  Omicron Wiki
  ☆18Updated 13 years ago
• fujitsu / xbyak_translator_aarch64
  ☆45Updated 2 years ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆26Updated 4 years ago
• retrage / edk2-nightly
  Unofficial EDK2 nightly build
  ☆80Updated this week
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago