There are 5 repositories under uefi-boot topic.
Super UEFIinSecureBoot Disk: Boot any OS or .efi file without disabling UEFI Secure Boot
Boot operating systems directly from ISO files
Ubuntu installation for servers without video card
UEFI Secure Boot for Arch Linux + btrfs snapshot recovery
Unattended OS installation configuration system
UEFI_MULTI - Make Multi-Boot USB-Drive
Technology is free, SnowFlakeOS
Boot EFISTUB linux kernels on UEFI systems not supporting kernel command line
USB Format Tool - Make Bootable USB Drive with MBR and 2 Partitions
Hackintosh asus model X455LAB dengan bootloader OPENCORE
Archlinux manual and automated simple installation UEFI with GRUB,GUI,NVIDIA,AMD,User Space with all popular Desktop Environments.
Vagrant Environment for playing with Talos
Big Sur for the XPS 13 9350
Select which local O/S to boot by asking a network server
Add UEFI-Boot Support to Openwrt v19.07 & v18.06 (Unofficial Support)
RADII is a UEFI bootloader for the x86_64 architecture. It is made with the goal of understanding how modern desktop computers work, from hardware to radio buttons :^)
a featureful, yet simple Arch Linux install script
My Arch Linux setup for a lean, secure, command-line driven development environment with modular configuration management using shell scripts.
Kumpulan Folder EFI Hackintosh Opencore ASUS A455L | X455L
Arch Linux and NixOS, SSD (NVME), UEFI, LUKS, BTRFS Installation Script
Raspberry Pi 4 UEFI EDK2 build environment inside a vagrant box
MAAS in Containers
If your manjaro installation does not boot (any more), maxi may help to find what is missing
EFI for HP zBookPro G1 for macOS Catalina 10.15.6
Vagrant environment for playing with LinuxKit
Reboots the system then displays the firmware UI.