[1/255] Generate invocation header gen_headers/arch/api/invocation.h
[2/255] Generate invocation header gen_headers/arch/api/sel4_invocation.h
[3/255] Generate invocation header gen_headers/api/invocation.h
[4/255] Generate syscall invocations
[5/255] Generate dummy headers for prune compilation
[6/255] Concatenating C files
[7/255] Generating linker.lds_pp
FAILED: cd /home/usds/Documents/sel4bench/build/elfloader-tool && /usr/bin/gcc -march=armv7-a -marm -D__KERNEL_32__ -I/home/usds/Documents/sel4bench/build/autoconf -I/home/usds/Documents/sel4bench/build/kernel/gen_config -I/home/usds/Documents/sel4bench/build/elfloader-tool/gen_config -I/home/usds/Documents/sel4bench/build/libsel4/gen_config -I/home/usds/Documents/sel4bench/build/projects/projects_libs/libusbdrivers/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4vka/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4utils/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4platsupport/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4serialserver/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4debug/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4test/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4muslcsys/gen_config -I/home/usds/Documents/sel4bench/build/projects/seL4_libs/libsel4vmm/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/fault/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/hardware/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/ipc/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/irq/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/irquser/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/page_mapping/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/scheduler/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/signal/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/smp/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/sync/gen_config -I/home/usds/Documents/sel4bench/build/projects/sel4bench/apps/sel4bench/gen_config -I/home/usds/Documents/sel4bench/build/projects/util_libs/libutils/gen_config -I/home/usds/Documents/sel4bench/build/projects/util_libs/libplatsupport/gen_config -I/home/usds/Documents/sel4bench/build/projects/util_libs/libethdrivers/gen_config -P -E -o linker.lds_pp -x c /home/usds/Documents/sel4bench/tools/seL4/elfloader-tool/src/arch-arm/linker.lds
gcc: error: unrecognized command line option �������-marm��������
ninja: build stopped: subcommand failed.