On Fri, Oct 21, 2016 at 2:35 PM, Ian Campbell wrote: > I think there are also physical arm64 systems using EDK2/Tianocore as > their firmware. Unmodified upstream versions that you can re-flash? I got the impression most UEFI firmware is based on EDK2/Tianocore, even on x86, but it has proprietary modifications. -- bye, pabs https://wiki.debian.org/PaulWise