AricGamma / WinIoTBoot
Windows 10 IoT Core UEFI boot source code for Allwinner platform
☆26Updated 7 years ago
Alternatives and similar repositories for WinIoTBoot:
Users that are interested in WinIoTBoot are comparing it to the libraries listed below
- Uefi Rockchip Rk3399Pkg☆27Updated 7 years ago
- Windows driver for the DesignWare USB 2.0 HS OTG Controller as used in the Raspberry Pi 3.☆25Updated 6 years ago
- Cypress Bluetooth over UART Transport Driver for Windows☆11Updated 4 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆44Updated 3 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆16Updated 2 years ago
- QEMU with Windows ARM hacks. woa-kvm: ARM64 Build 18348- on KVM, winrt: Windows RT 8.1 on QEMU☆17Updated 2 years ago
- EDK2 ...but for other ARM SoCs!?!?!☆9Updated 11 years ago
- Please file issues at: https://github.com/MicrosoftDocs/windows-iotcore-docs☆98Updated 5 years ago
- EDK II EFIDroidUi☆12Updated 7 years ago
- A UEFI bootloader for Windows CE☆10Updated 6 years ago
- Device Tree-based Platform Device Driver Development for Tiano UEFI☆12Updated 4 months ago
- Qt Base (Core, Gui, Widgets, Network, ...) with UEFI support☆15Updated 7 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Updated 7 years ago
- Viewer for IFR structures☆19Updated 4 years ago
- Boot Shim with a Tegra 3 (Surface RT) specific patch☆12Updated 4 years ago
- ☆16Updated 2 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- A partially working linux kernel for nokia msm8974 devices☆11Updated 4 years ago
- An EFI application and driver to add SSDTs and/or patch in your own DSDT☆39Updated last year
- PReP emulation on Power8☆30Updated 8 years ago
- Get PC BIOS back on UEFI only system☆21Updated 3 years ago
- ☆65Updated 3 years ago
- Windows 200X/XP port of the old flashrom utility for Coreboot (formerly LinuxBIOS)☆17Updated 8 years ago
- Can encrypt, decrypt, extract and transfer DMI in Lenovo BIOS dumps.☆35Updated 3 months ago
- Windows 10 ARM64 BSP for Raspberry Pi 3B☆25Updated 3 years ago
- Dump WMI informations from ACPI tables☆36Updated 3 years ago
- Raspberry Pi Windows 10 GPU driver.☆23Updated 2 years ago
- Bare metal game using EDK2.☆12Updated 2 years ago
- EDK II EFIDroidPkg☆7Updated 6 years ago
- Run X86 PE file on Windows 10 ARM32☆39Updated 4 years ago