Hello yadong,
Hi I compile camkes_arm_vm with tx1 vm_minimal Command: ../init-build.sh -DAARCH64=TRUE -DCAMKES_VM_APP=vm_minimal -DPLATFORM=tx1 Buf output file is not elf # aarch64-linux-gnu-objcopy -O binary images/capdl-loader-image-arm- tx1 sel4-vmm-minimal aarch64-linux-gnu-objcopy:images/capdl-loader-image-arm-tx1: File 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 build directory.
I hope this answers your question.
Sincerely, Damon