Hi, experts:

I want to test booting an AARCH32 UEFI bin.

I have downloaded a free licenced FVP model.

I used ATF(Arm Trusted Firmware) to boot UEFI.bin .

So, how to compile a AARCH32 UEFI bin?

Could current UEFI code be compiled as a 32bit bin?

Best wishes,