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