iPXE make error

I don’t know if this the correct place but I am trying to network boot for the Jetson TX1 using the USB NIC.
I used the source files from ipxe.org, however, whilst making the files I got the following errors.

make: *** No rule to make target ‘bin/ipxe.dsk’, needed by ‘all’. Stop.

The only things I changed was the makefile.
Changes made:
Arch=i386 to Arch=arm64 //since I’m using the Jetson TX1.

Platform=pcbios to Platform=efi

Original error message.
… build build…
[BUILD] bin/golan.ids.o
[BUILD] bin/arbel.ids.o
[BUILD] bin/qib7322.ids.o
[BUILD] bin/xhci.ids.o
[BUILD] bin/uhci.ids.o
[BUILD] bin/ehci.ids.o
[AR] bin/blib.a
ar: creating bin/blib.a
make: *** No rule to make target ‘bin/ipxe.dsk’, needed by ‘all’. Stop.

Does anyone have any idea on what the problem might be?

Thanks.

Hi teg5926,

We’re no experience on this feature,thus no much suggestion could be provided.
Hope someone from community could give the direction on resolving this issue, or you could try to ask the support from ipxe.org.

Thanks