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
see appendix for the log
Thank you very much
Log:
1、配置环境
#<mailto:root@HP-Z240:/home/yadong.li/seL4/camkes_arm_vm/build_temp>
../init-build.sh -DAARCH64=TRUE -DCAMKES_VM_APP=vm_minimal -DPLATFORM=tx1
loading initial cache file /home/yadong.li/seL4/camkes_arm_vm/projects/vm/settings.cmake
correct_platform_strings: Based on toolchain, setting KernelSel4Arch: aarch64
-- Found seL4: /home/yadong.li/seL4/camkes_arm_vm/kernel
………….
-- Found camkes-arm-vm: /home/yadong.li/seL4/camkes_arm_vm/projects/vm
-- Found camkes-tool: /home/yadong.li/seL4/camkes_arm_vm/projects/camkes-tool
-- Found global-components:
/home/yadong.li/seL4/camkes_arm_vm/projects/global-components
-- Found camkes-vm: /home/yadong.li/seL4/camkes_arm_vm/projects/camkes-vm
-- Found camkes-vm-images: /home/yadong.li/seL4/camkes_arm_vm/projects/camkes-vm-images
-- Found sel4_projects_libs:
/home/yadong.li/seL4/camkes_arm_vm/projects/seL4_projects_libs
-- Found elfloader-tool: /home/yadong.li/seL4/camkes_arm_vm/tools/seL4/elfloader-tool
-- Found musllibc: /home/yadong.li/seL4/camkes_arm_vm/projects/musllibc
-- Found util_libs: /home/yadong.li/seL4/camkes_arm_vm/projects/util_libs
-- Found seL4_libs: /home/yadong.li/seL4/camkes_arm_vm/projects/seL4_libs
-- Found projects_libs: /home/yadong.li/seL4/camkes_arm_vm/projects/projects_libs
-- Found capdl: /home/yadong.li/seL4/camkes_arm_vm/projects/capdl
--
/home/yadong.li/seL4/camkes_arm_vm/build_temp/kernel/gen_headers/plat/machine/devices_gen.h
is out of date. Regenerating...
-- CPIO test cpio_reproducible_flag PASSED
-- Found sel4runtime: /home/yadong.li/seL4/camkes_arm_vm/projects/sel4runtime
-- Performing Test compiler_arch_test
-- Performing Test compiler_arch_test - Success
-- /home/yadong.li/seL4/camkes_arm_vm/build_temp/ast.pickle is out of date.
Regenerating...
-- /home/yadong.li/seL4/camkes_arm_vm/build_temp/camkes-gen.cmake is out of date.
Regenerating...
-- Configuring done
-- Generating done
-- Build files have been written to: /home/yadong.li/seL4/camkes_arm_vm/build_temp
2、编译
#<mailto:root@HP-Z240:/home/yadong.li/seL4/camkes_arm_vm/build_temp> ninja
[41/320] Performing CAmkES generation for 15 files
[58/320] Generating capDL-tool/parse-capDL
stack build --fast
Building all executables for `capDL-tool' once. After a successful build of all of
them, only specified executables will be rebuilt.
capDL-tool-1.0.0.1: configure (exe)
Configuring capDL-tool-1.0.0.1...
capDL-tool-1.0.0.1: build (exe)
Preprocessing executable 'parse-capDL' for capDL-tool-1.0.0.1...
[ 1 of 16] Compiling CapDL.Model ( CapDL/Model.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/Model.o
)
[ 2 of 16] Compiling CapDL.State ( CapDL/State.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/State.o
)
[ 3 of 16] Compiling CapDL.PrintUtils ( CapDL/PrintUtils.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/PrintUtils.o
)
[ 4 of 16] Compiling CapDL.PrintC ( CapDL/PrintC.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/PrintC.o
)
[ 5 of 16] Compiling CapDL.PrintDot ( CapDL/PrintDot.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/PrintDot.o
)
[ 6 of 16] Compiling CapDL.PrintIsabelle ( CapDL/PrintIsabelle.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/PrintIsabelle.o
)
[ 7 of 16] Compiling CapDL.PrintModel ( CapDL/PrintModel.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/PrintModel.o
)
[ 8 of 16] Compiling CapDL.PrintXml ( CapDL/PrintXml.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/PrintXml.o
)
[ 9 of 16] Compiling CapDL.Matrix ( CapDL/Matrix.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/Matrix.o
)
[10 of 16] Compiling CapDL.STCC ( CapDL/STCC.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/STCC.o
)
[11 of 16] Compiling CapDL.AST ( CapDL/AST.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/AST.o
)
[12 of 16] Compiling CapDL.MakeModel ( CapDL/MakeModel.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/MakeModel.o
)
[13 of 16] Compiling CapDL.ParserUtils ( CapDL/ParserUtils.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/ParserUtils.o
)
[14 of 16] Compiling CapDL.DumpParser ( CapDL/DumpParser.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/DumpParser.o
)
[15 of 16] Compiling CapDL.Parser ( CapDL/Parser.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/Parser.o
)
[16 of 16] Compiling Main ( Main.hs,
.stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/Main.o )
Linking .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL ...
capDL-tool-1.0.0.1: copy/register
Installing executable(s) in
/home/yadong.li/seL4/camkes_arm_vm/build_temp/capDL-tool/.stack-work/install/x86_64-linux/lts-9.21/8.0.2/bin
stack install
Copying from
/home/yadong.li/seL4/camkes_arm_vm/build_temp/capDL-tool/.stack-work/install/x86_64-linux/lts-9.21/8.0.2/bin/parse-capDL
to /home/yadong.li/seL4/camkes_arm_vm/build_temp/capDL-tool/parse-capDL
Copied executables to /home/yadong.li/seL4/camkes_arm_vm/build_temp/capDL-tool:
- parse-capDL
Warning: Installation path /home/yadong.li/seL4/camkes_arm_vm/build_temp/capDL-tool
not found on the PATH environment variable.
[68/320] Building C object CMakeFiles/vm0.instance.bin.dir/components/VM/src/main.c.obj
…………………..
musllibc/build-temp/stage/include/inttypes.h:133:27: note: format string is defined here
#define PRIuPTR __PRIPTR "u"
[320/320] Generating images/capdl-loader-image-arm-tx1
#file images/capdl-loader-image-arm-tx1
images/capdl-loader-image-arm-tx1: data
#arch64-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
Show replies by thread
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