msekletar / systemd-boot
Simple UEFI Boot Manager
☆15Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for systemd-boot
- Bare metal game using EDK2.☆12Updated last year
- UEFI bootable ISO image creator☆9Updated 3 years ago
- My gnu-efi development tree.☆70Updated 3 months ago
- Test infrastructure and test cases for EDK II based firmware☆77Updated this week
- Very minimalistic UEFI boot menu / kernel bootloader☆27Updated last month
- Intel Itanium (ia64) Linux user target for Qemu☆30Updated 13 years ago
- EDK II non-OSI licensed content☆62Updated this week
- A modern x86/ARM bootloader supporting both BIOS and UEFI☆37Updated last month
- Tetris for UEFI☆29Updated 5 years ago
- GNU-EFI fork with fixes and improvements.☆27Updated 2 months 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…☆51Updated last week
- efi headers☆35Updated 2 weeks ago
- Kuroko built to run on UEFI.☆8Updated last month
- 64 bit bootloader for Cyjon operating system.☆14Updated 3 years ago
- Final Year Project - Multi-Tasking GUI based Operating System designed with usability in mind☆13Updated 6 years ago
- Tiny implementation of the GNU/Linux CGroupFS (sans resource controllers) as a PUFFS or FUSE filesystem for BSD platforms☆14Updated 3 years ago
- System root repository for the Ghost operating system project.☆15Updated 2 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆38Updated 5 years ago
- A fast, tiny operating system for the PC.☆8Updated 8 years ago
- xbstrap-compatible build server☆16Updated this week
- 🎨 An ansi escape code parser and renderer for hobby operating systems☆44Updated 3 years ago
- A UEFI Boot Loader Built in NASM☆39Updated 9 months ago
- Build UEFI applications with the Clang compiler and LLD linker.☆56Updated 7 months ago
- My useless x86_64 Operating System☆13Updated 2 years ago
- A 64-bit operating system kernel for PCs☆9Updated 3 years ago
- A modular POSIX-like operating system created for educational purposes☆19Updated 6 years ago
- EDK II BaseTools Python tools as a PIP module☆25Updated 3 months ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 6 years ago
- UEFI application package☆29Updated 8 years ago
- uefi bootloader for x86 and x64☆8Updated 2 years ago