Here are
78 public repositories
matching this topic...
RPI4 EDK2 Secure Boot with custom keys
Updated
Oct 29, 2023
Makefile
Bootstraps an EDK II UEFI development environment from an Ubuntu machine
Updated
Dec 26, 2019
Dockerfile
Updated fork of ReadSMC: EFI utility to read SMC keys from (U)EFI shell
QEMU Tianocore EDK2 EFI images for armv7
A tetris game, that can be launched in UEFI
A command line application for building Clover.
Updated
Feb 14, 2023
Dockerfile
A simple wrapper around qemu to make virtual machines
Updated
Oct 30, 2022
Shell
Install and run KLEE on edk2
Easy to build drivers and re-use the libraries in edk2
Updated
May 31, 2018
Makefile
Allow building official TianoCore EDK2 with Visual Studio 2017
Parser for Platform Configuration Database (PCD) tables created in the EDKII build process
Homebrew formulae for installing edk2-buildtools
Updated
Jul 25, 2023
Ruby
This is an EDK2 Template Workspace.
QUICK HACK GNU EFI via ./install.sh script (install GNU EFI environment in 5 steps)
EDK II Source Level Debugging with the Intel® UEFI Development Kit Debugger (UDK Debugger)
[D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)
Updated
Mar 9, 2022
Python
EDK2 Utility Scripts - EDK2 install/setup plus building shell applications (native EDK2 + LIBC) and running under VM.
Updated
Jun 1, 2024
Shell
Improve this page
Add a description, image, and links to the
edk2
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
edk2
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.