This may surprise a lot of people ,"Whaaaat ? Isn't UEFI a kind of BIOS on PC?"Well, it can also be on your phone too , in fact.
This is an EDK II (UEFI) port for MI 6.Currently it's incomplete,and how much it will be in the future depends on whether I have enough time.
What is this port for?
This is an UEFI port, so there are many possibilities. As a second-stage bootloader, it can boot any ARM64 OSes that support UEFI.
But at this point, only Linux is capable.Windows booting still need more efforts.
See Github README.md for more details.
Only source is provided since it's not completed.