IyadHamid / UefiGameLinks
Bare metal game using EDK2.
☆14Updated 3 years ago
Alternatives and similar repositories for UefiGame
Users that are interested in UefiGame are comparing it to the libraries listed below
Sorting:
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 8 years ago
- ☆16Updated 5 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 4 years ago
- EDK II BaseTools Python tools as a PIP module☆27Updated last year
- Extensions to the edk2 build system allowing for a more robust and plugin based build system and tool execution environment☆74Updated 2 weeks ago
- Various (U)EFI utilities that I have developed☆75Updated 6 years ago
- Universal BIOS Recovery console for x86 PCs☆47Updated last year
- Various UEFI utilities built against UDK2018. Includes X64 binaries.☆106Updated 5 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆17Updated last year
- Project Mu - TianoCore Arm Packages☆52Updated this week
- Project Mu OEM Sample Code☆52Updated this week
- Firmware related resources☆33Updated 5 months ago
- Unofficial EDK2 nightly build☆80Updated this week
- Python library package that supports UEFI development☆66Updated last month
- Introduce basic UEFI HII (Human Interface Infrastructure) programming concept.☆14Updated 11 years ago
- A EDK2 Package that supplies a UEFI driver that will bind on top of Graphics Output Devices and rotate any Blt operations by 0, 90, 180 o…☆18Updated 3 years ago
- SerialICE is a flexible, software based system software debugger☆36Updated 5 months ago
- EDK II non-OSI licensed content☆82Updated 4 months ago
- Various useful utilities for UEFI☆148Updated last year
- Project Mu TianoCore Plus☆85Updated last week
- ARM64 version of Simple UEFI Bootloader☆31Updated 6 years ago
- Read-only mirror of https://github.com/intel/FSP. We don't handle pull requests.☆15Updated last week
- Implement a game by UEFI☆37Updated 7 years ago
- Tetris for UEFI☆34Updated 6 years ago
- Older, deprecated EFI Shell☆14Updated 9 years ago
- Implementation guide for those using the _DSD method as defined in the ACPI specification☆28Updated 2 years ago
- Dump WMI informations from ACPI tables☆38Updated 4 years ago
- PDFs of all the UEFI / EDK II presentations☆60Updated 3 years ago
- NTFS EFI driver☆32Updated last year
- ☆17Updated 9 years ago