uefi-boot

A Tiny Linux-Compatible Kernel

Super UEFIinSecureBoot Disk: Boot any OS or .efi file without disabling UEFI Secure Boot

A UEFI 64bit Bootloader

Ubuntu installation for servers without video card

Operating System

Boot operating systems directly from ISO files

A quick & dirty script to emulate Raspberry PI family devices on your laptop.

Unattended OS installation configuration system

UEFI Secure Boot for Arch Linux + btrfs snapshot recovery

Technology is free, SnowFlakeOS

Boot EFISTUB linux kernels on UEFI systems not supporting kernel command line

UEFI_MULTI - Make Multi-Boot USB-Drive

Simple UEFI Boot Manager

UEFI ELF Bootloader example

USB Format Tool - Make Bootable USB Drive with MBR and 2 Partitions

Big Sur for the XPS 13 9350

Add UEFI-Boot Support to Openwrt v19.07 & v18.06 (Unofficial Support)

Bootloader

a featureful, yet simple Arch Linux install script

Archlinux manual and automated simple installation UEFI with GRUB,GUI,NVIDIA,User Directories with all popular Desktop Environments. Automated installation uses systemd as boot loader and has a lot of tweaks for support of games and multimedia applications.

jOS UEFI bootable 64 bit kernel

HACKINTOSH ASUS A455LA X455L Browadwell SERIES DENGAN Bootloader OPENCORE

EFI for HP zBookPro G1 for macOS Catalina 10.15.6

Vagrant Environment for playing with Talos

Raspberry Pi 4 UEFI EDK2 build environment inside a vagrant box

EFI Unified Kernel Image Maker

Vagrant environment for playing with LinuxKit

My Arch Linux setup for a lean, secure, command-line driven development environment with modular configuration management using shell scripts and plain text files.

Select which local O/S to boot by asking a network server

Arch Linux, SSD (NVME), UEFI, LUKS, BTRFS Installation Script