This builds a complete bootloader image for TX3 Mini.
An aarch64 toolchain is required. On Arch Linux you can install aarch64-linux-gnu-binutils aarch64-linux-gnu-glibc aarch64-linux-gnu-linux-api-headers aarch64-linux-gnu-gcc.
Simply run make and a bootloader image will appear in out directory.