Re: [seL4] compile camkes_arm_vm project(tx1 vm_minimal), The file format is not correct

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