Running the HiKey in 32-bit A32 mode

I have a 32-bit Linux binary I’d like to run, and so would like to run the HiKey in A32 (ARM) instead of A64 (AARCH64) mode. Is that at all possible? My initial idea was to build a ARM UEFI firmware from HiKeyPkg and simply skip the l-loader code that boots the board into 64-bit mode - but it looks like HiKeyPkg is only setup to build for AARCH64.

Has anyone done this, or know how one would go about it?

Try below and see if it works.
On this page: https://github.com/OP-TEE/optee_os/blob/master/README.md, follow step:

  • 4.1
  • 5.1
  • 5.2 (with hikey.xml)
  • 5.2.3
  • 5.5.1 (but instead of make all, run make COMPILE_NS_USER=32)