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 #6

Closed luinxz closed 3 years ago

luinxz commented 3 years ago

Following the readme.md, and after installing every dependency in the docker I tried to compile it, but I have gotten errors. Could you help me, please?

[libs/libmuslc] done.
[libs/libutils] building...
 [HEADERS]
 [STAGE] utils/*
 [STAGE] utils/*
 [STAGE] autoconf.h
 [CC] src/debug.o
 [CC] src/list.o
 [CC] src/xml.o
 [CC] src/zf_log.o
 [CC] src/arch/arm/stack.o
 [AR] libutils.a objs: src/debug.o src/list.o src/xml.o src/zf_log.o src/arch/arm/stack.o   
 [STAGE] libutils.a
[libs/libutils] done.
[libs/libsel4vka] building...
 [HEADERS]
 [STAGE] vka/*
 [STAGE] vka/*
 [STAGE] vka/*
 [STAGE] autoconf.h
 [CC] src/debug-vka.o
 [CC] src/null-vka.o
 [AR] libsel4vka.a objs: src/debug-vka.o src/null-vka.o   
 [STAGE] libsel4vka.a
[libs/libsel4vka] done.
[libs/libsel4vspace] building...
 [HEADERS]
 [STAGE] vspace/*
 [STAGE] vspace/*
 [STAGE] autoconf.h
 [CC] src/vspace.o
 [AR] libsel4vspace.a objs: src/vspace.o   
 [STAGE] libsel4vspace.a
[libs/libsel4vspace] done.
[libs/libplatsupport] building...
 [HEADERS]
 [STAGE] platsupport/*
 [STAGE] platsupport/*
 [STAGE] platsupport/*
 [STAGE] platsupport/*
 [STAGE] autoconf.h
 [CC] src/mach/imx/gpt.o
 [CC] src/mach/imx/ltimer.o
 [CC] src/plat/imx8/chardev.o
 [CC] src/plat/imx8/clock.o
 [CC] src/plat/imx8/gpio.o
 [CC] src/plat/imx8/i2c.o
 [CC] src/plat/imx8/mux.o
 [CC] src/plat/imx8/scu.o
 [CC] src/plat/imx8/serial.o
 [CC] src/plat/imx8/src.o
 [CC] src/arch/arm/clock.o
 [CC] src/arch/arm/delay.o
 [CC] src/arch/arm/dma330.o
 [CC] src/arch/arm/generic_timer.o
 [CC] src/arch/arm/i2c.o
 [CC] src/arch/arm/i2c_bitbang.o
 [CC] src/io.o
 [CC] src/local_time_manager.o
 [CC] src/serial.o
 [CC] src/tqueue.o
 [AR] libplatsupport.a objs: src/mach/imx/gpt.o src/mach/imx/ltimer.o src/plat/imx8/chardev.o src/plat/imx8/clock.o src/plat/imx8/gpio.o src/plat/imx8/i2c.o src/plat/imx8/mux.o src/plat/imx8/scu.o src/plat/imx8/serial.o src/plat/imx8/src.o src/arch/arm/clock.o src/arch/arm/delay.o src/arch/arm/dma330.o src/arch/arm/generic_timer.o src/arch/arm/i2c.o src/arch/arm/i2c_bitbang.o src/io.o src/local_time_manager.o src/serial.o src/tqueue.o   
 [STAGE] libplatsupport.a
[libs/libplatsupport] done.
[libs/libsel4simple] building...
 [HEADERS]
 [STAGE] simple/*
 [STAGE] simple/*
 [STAGE] autoconf.h
 [CC] src/simple.o
 [AR] libsel4simple.a objs: src/simple.o   
 [STAGE] libsel4simple.a
[libs/libsel4simple] done.
[libs/libsel4debug] building...
 [HEADERS]
 [STAGE] sel4debug/*
 [STAGE] sel4debug/*
 [STAGE] sel4debug/*
 [STAGE] autoconf.h
 [CC] src/alloc.o
 [CC] src/backtrace.o
 [CC] src/bootinfo.o
 [CC] src/caps.o
 [CC] src/identity.o
 [CC] src/printf.o
 [CC] src/register_dump.o
 [CC] src/stack.o
 [CC] src/trace.o
 [AR] libsel4debug.a objs: src/alloc.o src/backtrace.o src/bootinfo.o src/caps.o src/identity.o src/printf.o src/register_dump.o src/stack.o src/trace.o   
 [STAGE] libsel4debug.a
[libs/libsel4debug] done.
[libs/libsel4simple-default] building...
 [HEADERS]
 [STAGE] simple-default/*
 [STAGE] autoconf.h
 [CC] src/libsel4simple-default.o
 [CC] src/arch/arm/default.o
 [AR] libsel4simple-default.a objs: src/libsel4simple-default.o src/arch/arm/default.o   
 [STAGE] libsel4simple-default.a
[libs/libsel4simple-default] done.
[libs/libsel4platsupport] building...
 [HEADERS]
 [STAGE] sel4platsupport/*
 [STAGE] sel4platsupport/*
 [STAGE] sel4platsupport/*
 [STAGE] autoconf.h
 [ASM] src/sel4_arch/aarch64_hyp/crt0.o
 [ASM] src/sel4_arch/aarch64_hyp/sel4_crt0.o
 [CC] src/bootinfo.o
 [CC] src/common.o
/host/libs/libsel4platsupport/src/common.c: In function ‘__serial_setup’:
/host/libs/libsel4platsupport/src/common.c:280:25: warning: this statement may fall through [-Wimplicit-fallthrough=]
         started_regular = 1;
         ~~~~~~~~~~~~~~~~^~~
/host/libs/libsel4platsupport/src/common.c:281:5: note: here
     case NOT_INITIALIZED:
     ^~~~
 [CC] src/device.o
 [CC] src/dummy_tls.o
 [CC] src/io.o
 [CC] src/serial.o
 [CC] src/timer.o
 [CC] src/arch/arm/device.o
 [CC] src/arch/arm/io_port_ops.o
 [CC] src/arch/arm/pmem.o
 [CC] src/arch/arm/serial.o
 [AR] libsel4platsupport.a objs:src/sel4_arch/aarch64_hyp/crt0.o src/sel4_arch/aarch64_hyp/sel4_crt0.o src/bootinfo.o src/common.o src/device.o src/dummy_tls.o src/io.o src/serial.o src/timer.o src/arch/arm/device.o src/arch/arm/io_port_ops.o src/arch/arm/pmem.o src/arch/arm/serial.o   
 [STAGE] libsel4platsupport.a
[libs/libsel4platsupport] done.
[libs/libelf] building...
 [HEADERS]
 [STAGE] elf/*
 [STAGE] autoconf.h
 [CC] src/elf.o
 [CC] src/elf32.o
 [CC] src/elf64.o
 [AR] libelf.a objs: src/elf.o src/elf32.o src/elf64.o   
 [STAGE] libelf.a
[libs/libelf] done.
[libs/libcpio] building...
 [HEADERS]
 [STAGE] cpio/*
 [STAGE] autoconf.h
 [CC] src/cpio.o
 [AR] libcpio.a objs: src/cpio.o   
 [STAGE] libcpio.a
[libs/libcpio] done.
[libs/libsel4utils] building...
 [HEADERS]
 [STAGE] sel4utils/*
 [STAGE] sel4utils/*
 [STAGE] sel4utils/*
 [STAGE] autoconf.h
 [CC] src/elf.o
 [CC] src/iommu_dma.o
 [CC] src/mapping.o
 [CC] src/page_dma.o
 [CC] src/process.o
 [CC] src/profile.o
 [CC] src/slab.o
 [CC] src/stack.o
 [CC] src/strerror.o
 [CC] src/thread.o
 [CC] src/vspace/bootstrap.o
 [CC] src/vspace/vspace.o
 [CC] src/irq_server/irq_server.o
 [CC] src/time_server/client.o
 [CC] src/sel4_arch/aarch64_hyp/arch.o
 [AR] libsel4utils.a objs: src/elf.o src/iommu_dma.o src/mapping.o src/page_dma.o src/process.o src/profile.o src/slab.o src/stack.o src/strerror.o src/thread.o src/vspace/bootstrap.o src/vspace/vspace.o src/irq_server/irq_server.o src/time_server/client.o src/sel4_arch/aarch64_hyp/arch.o   
 [STAGE] libsel4utils.a
[libs/libsel4utils] done.
[libs/libsel4muslcsys] building...
 [HEADERS]
 [STAGE] muslcsys/*
 [STAGE] arch_stdio.h
 [STAGE] autoconf.h
 [CC] src/sys_yield.o
 [CC] src/sys_thread.o
 [CC] src/sys_morecore.o
 [CC] src/vsyscall.o
 [CC] src/sys_io.o
 [CC] src/sys_exit.o
 [AR] libsel4muslcsys.a objs: src/sys_yield.o src/sys_thread.o src/sys_morecore.o src/vsyscall.o src/sys_io.o src/sys_exit.o   
 [STAGE] libsel4muslcsys.a
[libs/libsel4muslcsys] done.
[libs/libsel4allocman] building...
 [HEADERS]
 [STAGE] allocman/*
 [STAGE] allocman/*
 [STAGE] autoconf.h
 [CC] src/allocman.o
 [CC] src/bootstrap.o
 [CC] src/vka.o
 [CC] src/cspace/simple1level.o
 [CC] src/cspace/single_level.o
 [CC] src/cspace/two_level.o
 [CC] src/utspace/split.o
 [CC] src/utspace/twinkle.o
 [CC] src/mspace/dual_pool.o
 [CC] src/mspace/fixed_pool.o
 [CC] src/mspace/k_r_malloc.o
 [CC] src/mspace/malloc.o
 [CC] src/mspace/virtual_pool.o
 [CC] src/mspace/vspace_pool.o
 [AR] libsel4allocman.a objs: src/allocman.o src/bootstrap.o src/vka.o src/cspace/simple1level.o src/cspace/single_level.o src/cspace/two_level.o src/utspace/split.o src/utspace/twinkle.o src/mspace/dual_pool.o src/mspace/fixed_pool.o src/mspace/k_r_malloc.o src/mspace/malloc.o src/mspace/virtual_pool.o src/mspace/vspace_pool.o   
 [STAGE] libsel4allocman.a
[libs/libsel4allocman] done.
[libs/libsel4dma] building...
 [HEADERS]
 [STAGE] dma/*
 [STAGE] autoconf.h
 [CC] src/dma.o
 [AR] libsel4dma.a objs: src/dma.o   
 [STAGE] libsel4dma.a
[libs/libsel4dma] done.
[libs/libsel4arm-vmm] building...
 [HEADERS]
 [STAGE] sel4arm-vmm/*
 [STAGE] sel4arm-vmm/*
 [STAGE] autoconf.h
 [CC] src/plat/imx8/devices/misc_devices.o
 [CC] src/plat/imx8/devices/vuart.o
 [CC] src/arch/arm/devices/vram.o
 [CC] src/fault.o
 [CC] src/copyinout.o
 [CC] src/devices.o
 [CC] src/guest_vspace.o
 [CC] src/vm.o
 [CC] src/vchan_vm_component.o
 [CC] src/images/images.o
 [CC] src/images/atags.o
 [CC] src/devices/generic_forward.o
 [CC] src/devices/generic_ac.o
 [CC] src/devices/vusb.o
 [CC] src/arch/arm/devices/vgic/vgic500.o
 [AR] libsel4arm-vmm.a objs: src/plat/imx8/devices/misc_devices.o src/plat/imx8/devices/vuart.o src/arch/arm/devices/vram.o src/fault.o src/copyinout.o src/devices.o src/guest_vspace.o src/vm.o src/vchan_vm_component.o src/images/images.o src/images/atags.o src/devices/generic_forward.o src/devices/generic_ac.o src/devices/vusb.o src/arch/arm/devices/vgic/vgic500.o   
 [STAGE] libsel4arm-vmm.a
[libs/libsel4arm-vmm] done.
[apps/linux] building...
/usr/bin/dtc
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/dma_power_domain: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/dma_power_domain/dma_lpuart0: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_format): /reserved-memory/rpmsg@0xb8000000: unit name should not have leading "0x"
<stdout>: Warning (clocks_property): /cpus/cpu@0:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /serial@5a060000:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /serial@5a060000:clocks: cell 2 is not a phandle reference
<stdout>: Warning (power_domains_property): /imx8qm-pm/dma_power_domain/dma_lpuart0:power-domains: cell 0 is not a phandle reference
<stdout>: Warning (power_domains_property): /serial@5a060000:power-domains: cell 0 is not a phandle reference
/usr/bin/dtc
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/connectivity_power_domain: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/connectivity_power_domain/conn_enet0: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/dma_power_domain: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/dma_power_domain/dma_lpuart0: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_format): /reserved-memory/rpmsg@0xb8000000: unit name should not have leading "0x"
<stdout>: Warning (clocks_property): /cpus/cpu@0:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /serial@5a060000:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /serial@5a060000:clocks: cell 2 is not a phandle reference
<stdout>: Warning (clocks_property): /ethernet@5b040000:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /ethernet@5b040000:clocks: cell 2 is not a phandle reference
<stdout>: Warning (clocks_property): /ethernet@5b040000:clocks: cell 4 is not a phandle reference
<stdout>: Warning (clocks_property): /ethernet@5b040000:clocks: cell 6 is not a phandle reference
<stdout>: Warning (clocks_property): /ethernet@5b040000:clocks: cell 8 is not a phandle reference
<stdout>: Warning (power_domains_property): /imx8qm-pm/connectivity_power_domain/conn_enet0:power-domains: cell 0 is not a phandle reference
<stdout>: Warning (power_domains_property): /imx8qm-pm/dma_power_domain/dma_lpuart0:power-domains: cell 0 is not a phandle reference
<stdout>: Warning (power_domains_property): /serial@5a060000:power-domains: cell 0 is not a phandle reference
<stdout>: Warning (power_domains_property): /ethernet@5b040000:power-domains: cell 0 is not a phandle reference
/usr/bin/dtc
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/dma_power_domain: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_vs_reg): /imx8qm-pm/dma_power_domain/dma_lpuart0: node has a reg or ranges property, but no unit name
<stdout>: Warning (unit_address_format): /reserved-memory/rpmsg@0xb8000000: unit name should not have leading "0x"
<stdout>: Warning (clocks_property): /cpus/cpu@0:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /serial@5a060000:clocks: cell 0 is not a phandle reference
<stdout>: Warning (clocks_property): /serial@5a060000:clocks: cell 2 is not a phandle reference
<stdout>: Warning (power_domains_property): /imx8qm-pm/dma_power_domain/dma_lpuart0:power-domains: cell 0 is not a phandle reference
<stdout>: Warning (power_domains_property): /serial@5a060000:power-domains: cell 0 is not a phandle reference
[apps/linux] done.
[apps/sel4arm-vmm] building...
 [HEADERS]
 [STAGE] vmlinux.h
 [STAGE] vmconf.h
 [STAGE] autoconf.h
make[1]: *** [/host/apps/sel4arm-vmm/Makefile:51: /host/stage/arm/imx8/bin/linux-*] Error 1
make: *** [tools/common/project.mk:331: sel4arm-vmm] Error 2
luinxz commented 3 years ago

I was able to fix that

jiachengye66 commented 2 years ago

我能够解决这个问题

I am a novice. I made a new error in the compilation process after you, and I don't know how to solve it.The problem seems to be on the communication-server。 Could you please help me? [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