I couln’t find this in the UEFI help section, so I thought I would ask. I have a stick PC which should easily run haiku, however it runs a 32 bit UEFI. I have successfully booted 64 bit linux with a 32 bit UEFI loader, but really wanted to run haiku. Any ideas? AFAIK, the UEFI loader is 64 bit only.