search

dornerworks / sel4-armv8-vmm-manifest

A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8
Other
7 stars 2 forks source link

Compilation-time Errors on the communication-server #7

Closed jiachengye66 closed 2 years ago

jiachengye66 commented 2 years ago

I am a novice.I made an error in the compilation process, and I don't know how to solve it.The problem seems to be on the communication-server.I think I have followed the readme.md, and after installing every dependency in the docker. Could you please help me?Thank you!

[STAGE] libsel4arm-vmm.a [libs/libsel4arm-vmm] done. [apps/linux] building... [apps/linux] done. [apps/communication-server] building... [HEADERS] [STAGE] autoconf.h [CC] src/main.o [LINK] communication-server.elf /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(vsyscall.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_exit.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_io.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_morecore.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4muslcsys.a(sys_yield.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(common.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(device.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: multiple definition ofseL4_VCPUReg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:122: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: multiple definition of seL4_PSCIFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:82: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: multiple definition ofseL4_VCPUFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:76: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: multiple definition of seL4_VGICMaintenance_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:70: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: multiple definition ofseL4_VMFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:63: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: multiple definition of seL4_UserException_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:53: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: multiple definition ofseL4_UnknownSyscall_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/sel4_arch/constants.h:41: first defined here /usr/lib/gcc-cross/aarch64-linux-gnu/10/../../../../aarch64-linux-gnu/bin/ld: /host/stage/arm/zynqmp/lib/libsel4platsupport.a(serial.o):/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: multiple definition of `seL4_CapFault_Msg'; src/main.o:/host/stage/arm/zynqmp/include/sel4/shared_types.h:38: first defined here collect2: error: ld returned 1 exit status make[1]: [/host/stage/arm/zynqmp/common/common.mk:309: communication-server.elf] Error 1 make: [tools/common/project.mk:331: communication-server] Error 2

`

jiachengye66 commented 2 years ago

Changing the compilation environment： gcc-9 and aarch64-linux-gnu-gcc-9