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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
