andreiw / lampone
wip 3/4 stuff
☆14Updated 4 years ago
Alternatives and similar repositories for lampone:
Users that are interested in lampone are comparing it to the libraries listed below
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 4 years ago
- PReP emulation on Power8☆30Updated 8 years ago
- SerialICE is a flexible, software based system software debugger☆31Updated last year
- Windows 10 IoT Core UEFI boot source code for Allwinner platform☆27Updated 7 years ago
- Boot sector program for booting Intel's EDK Developer's UEFI Emulation (DUET) from hard disk with LBA.☆34Updated 13 years ago
- Utility for extracting UEFI image from InsydeFlasher executable file☆91Updated 10 years ago
- efibootwin is a Windows program for Read/Set UEFI Variable (BootNext, BootOrder,..) a little bit the linux efibootmgr☆30Updated 5 years ago
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- Insyde Software UEFI firmware flashing kernel driver☆32Updated 4 years ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆78Updated 3 years ago
- EDK II☆30Updated 6 years ago
- Secure-Launch implementation for Qualcomm devices☆79Updated 2 months ago
- Intel Itanium (ia64) Linux user target for Qemu☆32Updated 13 years ago
- Dump WMI informations from ACPI tables☆36Updated 3 years ago
- An EFI application and driver to add SSDTs and/or patch in your own DSDT☆40Updated last year
- UEFI read/write NTFS driver, based on ntfs-3g☆28Updated 3 years ago
- The UDK/EDK2/UEFI porting of the GNU's pciutils/lspci/setpci☆16Updated 7 months ago
- Fork of EDK2 for macOS compatibility☆19Updated 5 years ago
- Windows driver for the DesignWare USB 2.0 HS OTG Controller as used in the Raspberry Pi 3.☆11Updated 6 years ago
- UEFI read/write NTFS driver, based on ntfs-3g☆65Updated 4 months ago
- Acidanthera UEFI Development Kit based on EDK II edk2-stable202405☆64Updated last week
- edk2-platforms fork for RPi 5 dev ----- Binary releases here -> https://github.com/worproject/rpi5-uefi☆13Updated last year
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆144Updated last year
- ☆14Updated 5 years ago
- Highly experimental port of edk2 for rk3399☆31Updated 4 years ago
- Binary Configuration Tool for Intel(R) FSP☆69Updated 8 months ago
- OpenGL ICD for Virtio-GPU Windows driver☆92Updated last year
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆20Updated 8 years ago
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆12Updated 6 months ago
- Extract chunks from Insyde H2O Iflash files☆19Updated 4 years ago