What's still extremely unclear so far:
- Will this UEFI implementation be standalone (not relying on the current firmware)
- Will this UEFI implementation be comform to what the Linux kernel expect from an arm64 implementation (proper timer initialization, PSCI support, entering the kernel at EL2)
- Will the firmware be rewritten to be 64bit clean (instead of the current 32bit -> warm reset -> 64bit)
I'd very much like to see proper plans regarding the above.