tqh / efi-example
Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
☆60Updated 3 years ago
Alternatives and similar repositories for efi-example:
Users that are interested in efi-example are comparing it to the libraries listed below
- UEFI boot loader☆79Updated 2 years ago
- My gnu-efi development tree.☆72Updated last month
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Build UEFI applications with the Clang compiler and LLD linker.☆58Updated 11 months ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- A single sector Linux bootloader that can handle initrd☆71Updated 2 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 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…☆36Updated 8 years ago
- x86 emulation library☆150Updated 3 weeks ago
- my homebrew OS☆33Updated 4 years ago
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆107Updated 10 months ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- Run UEFI applications☆83Updated 2 years ago
- This repository is part of the https://cgit.freedesktop.org/xorg/app/intel-gpu-tools/tree/tools/, created as standalone tool for Video BI…☆14Updated 6 years ago
- A mirror of Nyanix repository☆23Updated last year
- Acess2 Hobby Operating System☆86Updated last year
- Intel Open Source Graphics Programmer Reference Manual (PRM)☆37Updated 10 months ago
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC☆37Updated 11 months ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- Operating system project☆33Updated last month
- ☆66Updated 3 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 4 months ago
- UEFI, on Loongson.☆14Updated 8 years ago
- Operating System☆132Updated 2 years ago
- Collect ACPI table dumps☆28Updated 2 months ago
- Shell script to build gcc for various architectures☆79Updated 7 months ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆142Updated 4 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆85Updated 6 years ago
- Fast and lightweight yet another UEFI implementation☆99Updated 2 years ago