mfleming / efilinux
UEFI boot loader
☆78Updated 2 years ago
Related projects: ⓘ
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆58Updated 3 years ago
- My gnu-efi development tree.☆71Updated last month
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆37Updated 5 years ago
- ☆65Updated this week
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- Build UEFI applications with the Clang compiler and LLD linker.☆54Updated 5 months ago
- EDK II LKL Filesystem Driver☆13Updated 7 years ago
- my homebrew OS☆31Updated 3 years ago
- ☆20Updated this week
- A tool to execute an elf binary in the UEFI shell environment.☆10Updated 8 years ago
- Utility for accessing a disk formatted with BMFS☆49Updated 3 weeks ago
- Pedigree operating system☆89Updated 8 years ago
- Mirror of git.qemu.org/seabios.git☆55Updated 11 months ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆100Updated 3 months ago
- A single sector Linux bootloader that can handle initrd☆68Updated last year
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- Shell script to build gcc for various architectures☆77Updated last month
- My experimental bare metal OS for the raspberry pi☆44Updated 10 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆32Updated 7 years ago
- Calcium OS project for x86_64☆37Updated 6 years ago
- Acess2 Hobby Operating System☆84Updated 10 months ago
- Mirror of git.qemu.org/openbios.git☆20Updated 2 weeks ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆29Updated 7 years ago
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- trivial UEFI bootloader app☆7Updated 9 years ago
- ☆19Updated 9 years ago
- Fast and lightweight yet another UEFI implementation☆100Updated 2 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆82Updated 6 years ago