msekletar / systemd-boot
Simple UEFI Boot Manager
☆16Updated 8 years ago
Alternatives and similar repositories for systemd-boot:
Users that are interested in systemd-boot are comparing it to the libraries listed below
- Intel Itanium (ia64) Linux user target for Qemu☆32Updated 13 years ago
- EDK II non-OSI licensed content☆68Updated last month
- Kuroko built to run on UEFI.☆10Updated 6 months ago
- Simple UEFI Boot Manager☆30Updated 5 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆28Updated 6 months ago
- My gnu-efi development tree.☆72Updated last month
- Bare metal game using EDK2.☆12Updated 2 years ago
- Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI dev…☆74Updated 2 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 years ago
- A modern x86/ARM bootloader supporting both BIOS and UEFI☆43Updated last week
- Tiny libubsan implementation for hobby kernels☆31Updated 3 years ago
- A 64-bit operating system kernel for PCs☆9Updated 4 years ago
- Abandoned overcomplicated Microkernel using modern x86_64 features☆43Updated 4 years ago
- UEFI bootable ISO image creator☆9Updated 4 years ago
- Tetris for UEFI☆30Updated 5 years ago
- An EFI Byte Code (EBC) assembler, based on fasmg☆44Updated 2 years ago
- Test infrastructure and test cases for EDK II based firmware☆84Updated last month
- 64 bit bootloader for Cyjon operating system.☆13Updated 3 years ago
- Moved to codeberg: https://codeberg.org/osdev/nyu-efi☆31Updated this week
- Precompiled binaries of the libgcc GCC/clang runtime support library.