Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
☆61Aug 5, 2021Updated 4 years ago
Alternatives and similar repositories for efi-example
Users that are interested in efi-example are comparing it to the libraries listed below
Sorting:
- My gnu-efi development tree.☆70Feb 11, 2025Updated last year
- MOVED TO: https://cirosantilli.com#how-to-teach☆12Jul 27, 2019Updated 6 years ago
- UEFI, on Loongson.☆14Jun 19, 2016Updated 9 years ago
- UEFI bootloader stub☆15Dec 10, 2025Updated 2 months ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- uefi app/bootloader development sandbox☆15Apr 25, 2016Updated 9 years ago
- UEFI boot loader☆82Aug 15, 2022Updated 3 years ago
- collateral from http://basicinputoutput.com☆15Feb 15, 2023Updated 3 years ago
- A UNIX-like operating system with an emphasis on simplicity☆38Jan 18, 2020Updated 6 years ago
- An experimental x86_64 Operating System which Boots on UEFI.☆16Mar 5, 2024Updated last year
- KBoot boot loader☆28Jan 12, 2025Updated last year
- The CybOS operating system☆11Jul 9, 2018Updated 7 years ago
- ☆12Nov 22, 2021Updated 4 years ago
- 🔱 Yet another ARP posioning tool☆11Jan 2, 2018Updated 8 years ago
- ☆13Dec 30, 2016Updated 9 years ago
- My progress following and expanding on the ponchoOS tutorials☆13Jul 14, 2021Updated 4 years ago
- Thread safe gcc function entry/exit tracer and call graph generator☆15Dec 22, 2015Updated 10 years ago
- 🔱 A WIP SMP-aware micro-kernel☆10Jul 29, 2025Updated 7 months ago
- Repository containing all UEFI development I am doing☆13Aug 6, 2016Updated 9 years ago
- Kiwi operating system☆15Jan 12, 2025Updated last year
- The ryppl command-line tool☆43Mar 30, 2013Updated 12 years ago
- ☆19Oct 21, 2022Updated 3 years ago
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆13Oct 8, 2018Updated 7 years ago
- Tools to build open-vm-tools for TinyCoreLinux☆11Dec 8, 2015Updated 10 years ago
- Git version control tutorial.☆14Aug 7, 2020Updated 5 years ago
- Fork of gem5 with a gem5-gpu specific branch. See gem5.org for more information.☆14Jun 7, 2017Updated 8 years ago
- The FoxOS kernel☆12Dec 7, 2021Updated 4 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 10 years ago
- My research environment based off of Microsoft's Singularity RDK/ Verve.☆16Nov 27, 2016Updated 9 years ago
- A demo of Github email search☆17Dec 28, 2015Updated 10 years ago
- A secure, modern and intelligent operative system☆31Oct 9, 2017Updated 8 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.☆19Jul 3, 2012Updated 13 years ago
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆16May 20, 2022Updated 3 years ago
- The Intel Gigabit Packet Driver (GPLv2) for DOS, packaged into an installable format for FreeDOS 1.2☆16Aug 24, 2016Updated 9 years ago
- 一个简陋的 x86-64 操作系统。☆15May 6, 2024Updated last year
- EDK II EFIDroidUi☆12Oct 10, 2017Updated 8 years ago
- Moved to:☆12Jul 9, 2019Updated 6 years ago
- nebulae kernel - stage 0 uefi barebones☆35Dec 14, 2023Updated 2 years ago