I compile camkes_arm_vm with tx1 vm_minimal
../init-build.sh -DAARCH64=TRUE -DCAMKES_VM_APP=vm_minimal
Buf output file is not elf
# aarch64-linux-gnu-objcopy -O binary images/capdl-loader-image-arm-
format not recognized
The build system automatically converts the resulting ELF file into an
image that can be loaded by a bootloader.
The resulting ELF file can be found at 'elfloader/elfloader' inside the
I hope this answers your question.