Haiku on Jetson?

Haiku Forum aarch64

How does one approach introducing an OS to the Jetson platform?
Looking for someone able to do UEFI assembly troubleshooting for ARM platforms Haiku's EFI ARM bootloader is hanging calling our kernel entry code.# Boot - Pastebin.com

I don’t know if can really work on Jetson, looking forward to hear some good news.