mfleming / efilinuxLinks
UEFI boot loader
☆80Updated 2 years ago
Alternatives and similar repositories for efilinux
Users that are interested in efilinux are comparing it to the libraries listed below
Sorting:
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- Shell script to build gcc for various architectures☆81Updated 2 months ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- My gnu-efi development tree.☆70Updated 5 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Metta OS☆70Updated 8 months ago
- Utility for accessing a disk formatted with BMFS☆53Updated last month
- Libelf is a simple library to read ELF files.☆53Updated 3 years ago
- Mirror of git.qemu.org/openbios.git☆23Updated 10 months ago
- Mirror of git.qemu.org/sgabios.git☆19Updated 3 years ago
- Open Source Appliance Development Kit (mirror)☆36Updated 3 months ago
- UEFI, on Loongson.☆14Updated 9 years ago
- OPAL boot and runtime firmware for POWER☆108Updated 2 weeks ago
- Pedigree operating system☆90Updated 9 years ago
- Codezero Microkernel☆108Updated 3 years ago
- oskit code from Fluke OS project at University of Utah☆35Updated 2 years ago
- The core components of the L4Re operating system.☆90Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated this week
- NOVA userland☆48Updated 11 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆84Updated last year
- OpenMach operating system☆97Updated 10 years ago
- Syslinux GIT repo; master is identical to upstream master☆61Updated 4 years ago
- Mirror of git.qemu.org/seabios.git☆68Updated last week
- K42 Kernel☆28Updated 13 years ago
- http://www.memtest.org☆55Updated 9 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Suite of utilities for Linux on Power systems☆40Updated last month