EDK2 UEFI firmware and dual-boot bootloader for Xiaomi POCO F4 / Redmi K40S (munch / Snapdragon 870)
uefi arm64 munch tianocore dual-boot windows-on-arm woa poco-f4 redmi-k40s windows-11-arm snapdragon-870
-
Updated
Aug 21, 2026 - ASL