I'm getting an error when building from Ubuntu.
I'm building from: repo init -u https://github.com/seL4/sel4test-manifest.git I've configured with: make ia32_simulation_release_xml_defconfig and done "make menuconfig" accepting the defaults.
Finally I run make and get errors:

[KERNEL]
 [PBF_GEN] arch/object/structures.pbf
 [PBF_GEN] arch/api/shared_types.pbf
 [PBF_GEN] plat/machine/hardware.pbf
 [PBF_GEN] api/types.pbf
 [BF_GEN] arch/object/structures_gen.h
 [BF_GEN] arch/api/shared_types_gen.h
 [BF_GEN] plat/machine/hardware_gen.h
 [BF_GEN] api/types_gen.h
 [CPP] src/arch/x86/32/machine_asm.s
 [AS] src/arch/x86/32/machine_asm.o
 [CPP] src/arch/x86/32/traps.s
 [AS] src/arch/x86/32/traps.o
 [CPP] src/arch/x86/32/head.s
 [AS] src/arch/x86/32/head.o
 [CPP] src/arch/x86/halt.s
 [AS] src/arch/x86/halt.o
 [CPP] src/arch/x86/idle.s
 [AS] src/arch/x86/idle.o
 [TOUCH] sources_list_updated
 [CPP_GEN] kernel_all.c
 [CPP] kernel_all.c_pp
 [CP] kernel_final.c
 [CC] kernel_final.s
 [AS] kernel.o
 [LD] kernel.elf
/usr/bin/ld:linker.lds_pp:5: syntax error
collect2: error: ld returned 1 exit status
make[1]: *** [kernel.elf] Error 1
make: *** [kernel_elf] Error 2

make V=3
mkdir -p /home/talos/seL4test/stage/x86/pc99
mkdir -p /home/talos/seL4test/build/x86/pc99
mkdir -p /home/talos/seL4test/images
mkdir -p /home/talos/seL4test/stage/x86/pc99/common
cp -R /home/talos/seL4test/tools/common/* /home/talos/seL4test/stage/x86/pc99/common
[libs/libsel4] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4 -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4 SOURCE_DIR=/home/talos/seL4test/libs/libsel4 V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4'
 [GEN] include/sel4/types_gen.h
 [GEN] arch_include/x86/sel4/arch/invocation.h
 [GEN] include/sel4/shared_types_gen.h
 [GEN] sel4_arch_include/ia32/sel4/sel4_arch/invocation.h
 [HEADERS]
 [STAGE] api/*
 [STAGE] interfaces/*
 [STAGE] sel4/*
 [STAGE] interfaces/*
 [STAGE] sel4/*
 [STAGE] interfaces/*
 [STAGE] sel4/*
 [STAGE] sel4/*
 [STAGE] interfaces/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4'
[libs/libsel4] done.
[libs/libmuslc] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libmuslc
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libmuslc -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libmuslc/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libmuslc SOURCE_DIR=/home/talos/seL4test/libs/libmuslc V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libmuslc'
make[1]: Nothing to be done for `default'.
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libmuslc'
[libs/libmuslc] done.
[libs/libcpio] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libcpio
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libcpio -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libcpio/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libcpio SOURCE_DIR=/home/talos/seL4test/libs/libcpio V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libcpio'
 [HEADERS]
 [STAGE] cpio/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libcpio'
[libs/libcpio] done.
[libs/libutils] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libutils
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libutils -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libutils/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libutils SOURCE_DIR=/home/talos/seL4test/libs/libutils V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libutils'
 [HEADERS]
 [STAGE] utils/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libutils'
[libs/libutils] done.
[libs/libsel4vka] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4vka
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4vka -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4vka/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4vka SOURCE_DIR=/home/talos/seL4test/libs/libsel4vka V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4vka'
 [HEADERS]
 [STAGE] vka/*
 [STAGE] vka/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4vka'
[libs/libsel4vka] done.
[libs/libsel4vspace] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4vspace
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4vspace -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4vspace/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4vspace SOURCE_DIR=/home/talos/seL4test/libs/libsel4vspace V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4vspace'
 [HEADERS]
 [STAGE] vspace/*
 [STAGE] vspace/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4vspace'
[libs/libsel4vspace] done.
[libs/libplatsupport] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libplatsupport
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libplatsupport -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libplatsupport/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libplatsupport SOURCE_DIR=/home/talos/seL4test/libs/libplatsupport V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libplatsupport'
 [HEADERS]
 [STAGE] platsupport/*
 [STAGE] platsupport/*
 [STAGE] platsupport/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libplatsupport'
[libs/libplatsupport] done.
[libs/libsel4simple] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4simple
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4simple -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4simple/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4simple SOURCE_DIR=/home/talos/seL4test/libs/libsel4simple V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4simple'
 [HEADERS]
 [STAGE] simple/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4simple'
[libs/libsel4simple] done.
[libs/libsel4simple-default] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4simple-default
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4simple-default -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4simple-default/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4simple-default SOURCE_DIR=/home/talos/seL4test/libs/libsel4simple-default V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4simple-default'
 [HEADERS]
 [STAGE] simple-default/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4simple-default'
[libs/libsel4simple-default] done.
[libs/libsel4platsupport] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4platsupport
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4platsupport -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4platsupport/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4platsupport SOURCE_DIR=/home/talos/seL4test/libs/libsel4platsupport V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4platsupport'
 [HEADERS]
 [STAGE] sel4platsupport/*
 [STAGE] sel4platsupport/*
 [STAGE] sel4platsupport/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4platsupport'
[libs/libsel4platsupport] done.
[libs/libelf] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libelf
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libelf -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libelf/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libelf SOURCE_DIR=/home/talos/seL4test/libs/libelf V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libelf'
 [HEADERS]
 [STAGE] elf/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libelf'
[libs/libelf] done.
[libs/libsel4utils] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4utils
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4utils -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4utils/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4utils SOURCE_DIR=/home/talos/seL4test/libs/libsel4utils V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4utils'
 [HEADERS]
 [STAGE] sel4utils/*
 [STAGE] sel4utils/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4utils'
[libs/libsel4utils] done.
[libs/libsel4muslcsys] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4muslcsys
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4muslcsys -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4muslcsys/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4muslcsys SOURCE_DIR=/home/talos/seL4test/libs/libsel4muslcsys V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4muslcsys'
 [HEADERS]
 [STAGE] arch_stdio.h
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4muslcsys'
[libs/libsel4muslcsys] done.
[libs/libsel4allocman] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4allocman
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4allocman -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4allocman/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4allocman SOURCE_DIR=/home/talos/seL4test/libs/libsel4allocman V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4allocman'
 [HEADERS]
 [STAGE] allocman/*
 [STAGE] allocman/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4allocman'
[libs/libsel4allocman] done.
[libs/libsel4test] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/libsel4test
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/libsel4test -f /home/talos/seL4test/.config -f /home/talos/seL4test/libs/libsel4test/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/libsel4test SOURCE_DIR=/home/talos/seL4test/libs/libsel4test V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/libsel4test'
 [HEADERS]
 [STAGE] sel4test/*
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/libsel4test'
[libs/libsel4test] done.
[apps/sel4test-tests] building...
mkdir -p /home/talos/seL4test/build/x86/pc99/sel4test-tests
CFLAGS= LDFLAGS= make  -C /home/talos/seL4test/build/x86/pc99/sel4test-tests -f /home/talos/seL4test/.config -f /home/talos/seL4test/apps/sel4test-tests/Makefile \
        BUILD_DIR=/home/talos/seL4test/build/x86/pc99/sel4test-tests SOURCE_DIR=/home/talos/seL4test/apps/sel4test-tests V=3 \
        STAGE_DIR=/home/talos/seL4test/stage/x86/pc99 \
        TOOLPREFIX=
make[1]: Entering directory `/home/talos/seL4test/build/x86/pc99/sel4test-tests'
 [HEADERS]
 [STAGE] autoconf.h
make[1]: Leaving directory `/home/talos/seL4test/build/x86/pc99/sel4test-tests'
[apps/sel4test-tests] done.
[KERNEL]
mkdir -p /home/talos/seL4test/build/kernel
make  -C /home/talos/seL4test/build/kernel -f /home/talos/seL4test/kernel/Makefile \
        SOURCE_ROOT=/home/talos/seL4test/kernel O=/home/talos/seL4test/build/kernel V=3 \
        TOOLPREFIX= \
        CONFIG_DOMAIN_SCHEDULE= \
        HAVE_AUTOCONF=1 NO_PRESERVE_TIMESTAMP=1
seL4 build options:
===================
ARCH          = x86
PLAT          = pc99
CPU           =
TOOLPREFIX    =
PATH          = /home/talos/bin:/home/talos/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
DEBUG         =
ASSERT        =
CONFIG_DEFS   = CYCLE_COUNTER PERF_COUNTER=CYCLE_COUNTER
DANGEROUS_CODE_INJECTION =
CC            = gcc
CC_PATH       =
CPP           = cpp
CPP_PATH      =
AS            = as
AS_PATH       =
LD            = ld
LD_PATH       =
PARSER        = c-parser
PARSER_PATH   =
BF_GEN        = bitfield_gen.py
BF_GEN_PATH   =
SYSCALL_ID_GEN = syscall_header_gen.py
SYSCALL_ID_GEN_PATH =
INVOCATION_ID_GEN = invocation_header_gen.py
INVOCATION_ID_GEN_PATH =
XMLLINT_PATH  =
XMLLINT       = xmllint.sh
CFLAGS   =  -fno-stack-protector -m32   --std=c99 -nostdlib -nostdinc -ffreestanding -Wall -Werror -Wstrict-prototypes -Wmissing-prototypes -Wnested-externs -Wmissing-declarations -Wundef -Wpointer-arith -Wno-nonnull -Wdeclaration-after-statement  "-I/home/talos/seL4test/kernel/include/arch/x86/arch/32" "-I/home/talos/seL4test/kernel/include/plat/pc99/plat/32" -O2 -mno-mmx -mno-sse -mno-sse2 -mno-3dnow  -DCYCLE_COUNTER -DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH
ASFLAGS  =  -Wa,--32  "-I/home/talos/seL4test/kernel/include/arch/x86/arch/32" "-I/home/talos/seL4test/kernel/include/plat/pc99/plat/32"
CPPFLAGS =  -DHAVE_AUTOCONF -I/home/talos/seL4test/include/generated -DARCH_X86 -DIA32 -DARCH_IA32 -D__KERNEL_32__ -DX86_32 -DPLAT_PC99 -DFASTPATH   -DCYCLE_COUNTER -DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH  "-I/home/talos/seL4test/kernel/include/arch/x86/arch/32" "-I/home/talos/seL4test/kernel/include/plat/pc99/plat/32"
LDFLAGS  =   -Wl,--build-id=none -Wl,-m,elf_i386 -nostdlib -nostdinc -Wl,--build-id=none -O2
make[1]: Entering directory `/home/talos/seL4test/build/kernel'
 [LD] kernel.elf
/home/talos/seL4test/kernel/tools/changed.sh kernel.elf gcc   -Wl,--build-id=none -Wl,-m,elf_i386 -nostdlib -nostdinc -Wl,--build-id=none -O2 -Wl,-T -Wl,linker.lds_pp \
        -o kernel.elf src/arch/x86/32/machine_asm.o src/arch/x86/32/traps.o src/arch/x86/32/head.o src/arch/x86/halt.o src/arch/x86/idle.o kernel.o
/usr/bin/ld:linker.lds_pp:5: syntax error
collect2: error: ld returned 1 exit status
make[1]: *** [kernel.elf] Error 1
make[1]: Leaving directory `/home/talos/seL4test/build/kernel'
make: *** [kernel_elf] Error 2

 

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel