A Tiny Linux-Compatible Kernel

• UpdatedSep 26, 2025
• C

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

• UpdatedJun 20, 2022

Boot operating systems directly from ISO/WIM images

• UpdatedOct 2, 2025
• Shell

A UEFI 64bit Bootloader

• UpdatedFeb 26, 2021
• C

UEFI Secure Boot for Arch Linux + btrfs snapshot recovery

• UpdatedJul 18, 2024
• Shell

Operating System

• UpdatedMay 12, 2022
• C++

Ubuntu installation for servers without video card

• UpdatedDec 9, 2020

ExectOS Operating System

• UpdatedOct 7, 2025
• C++

UEFI ELF Bootloader example

• UpdatedFeb 8, 2025
• C

UEFI_MULTI - Make Multi-Boot USB-Drive

• UpdatedOct 14, 2024

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

• UpdatedOct 30, 2024
• Shell

Unattended OS installation configuration system

• UpdatedSep 15, 2019
• Shell

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

• UpdatedAug 21, 2024

Technology is free, SnowFlakeOS

• UpdatedSep 15, 2018
• Rust

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

• UpdatedNov 22, 2022
• Shell

Vagrant Environment for playing with Talos

• UpdatedJun 11, 2023
• Shell

Hackintosh asus model X455LAB dengan bootloader OPENCORE

• UpdatedFeb 4, 2024

Simple UEFI Boot Manager

• UpdatedDec 1, 2019
• C

Setup the Windows BCD and boot files from Linux or macOS.

• UpdatedOct 3, 2025
• Shell

A cross-platform lib for EFI variables editing on Windows, Linux and FreeBSD (*nix except macOS)

• UpdatedDec 9, 2024
• C++