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]
[CC] kernel_final.s
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c: In function
‘init_boot_pd’:
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c:58:23: error:
array subscript is above array bounds [-Werror=array-bounds]
cc1: all warnings being treated as errors
make[1]: *** [kernel_final.s] Error 1
make: *** [kernel_elf] Error 2
Attached is the output of "make V=2" (for verbosity).
Tim
mkdir -p src/sel4/sel4test/stage/ia32/pc99
mkdir -p src/sel4/sel4test/build/ia32/pc99
mkdir -p src/sel4/sel4test/images
cp -ur src/sel4/sel4test/tools/common src/sel4/sel4test/stage/ia32/pc99
[libs/libmuslc] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libmuslc
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libmuslc -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libmuslc/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libmuslc
SOURCE_DIR=src/sel4/sel4test/libs/libmuslc V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libmuslc'
[HEADERS]
[STAGE] aio.h
[STAGE] alloca.h
[STAGE] ar.h
[STAGE] arpa/*
[STAGE] assert.h
[STAGE] byteswap.h
[STAGE] complex.h
[STAGE] cpio.h
[STAGE] crypt.h
[STAGE] ctype.h
[STAGE] dirent.h
[STAGE] dlfcn.h
[STAGE] elf.h
[STAGE] endian.h
[STAGE] err.h
[STAGE] errno.h
[STAGE] fcntl.h
[STAGE] features.h
[STAGE] fenv.h
[STAGE] float.h
[STAGE] fnmatch.h
[STAGE] ftw.h
[STAGE] getopt.h
[STAGE] glob.h
[STAGE] grp.h
[STAGE] iconv.h
[STAGE] inttypes.h
[STAGE] iso646.h
[STAGE] langinfo.h
[STAGE] lastlog.h
[STAGE] libgen.h
[STAGE] libintl.h
[STAGE] limits.h
[STAGE] locale.h
[STAGE] malloc.h
[STAGE] math.h
[STAGE] memory.h
[STAGE] mntent.h
[STAGE] monetary.h
[STAGE] mqueue.h
[STAGE] net/*
[STAGE] netdb.h
[STAGE] netinet/*
[STAGE] netpacket/*
[STAGE] nl_types.h
[STAGE] paths.h
[STAGE] poll.h
[STAGE] pthread.h
[STAGE] pty.h
[STAGE] pwd.h
[STAGE] regex.h
[STAGE] resolv.h
[STAGE] sched.h
[STAGE] search.h
[STAGE] semaphore.h
[STAGE] setjmp.h
[STAGE] shadow.h
[STAGE] signal.h
[STAGE] spawn.h
[STAGE] stdarg.h
[STAGE] stdbool.h
[STAGE] stddef.h
[STAGE] stdint.h
[STAGE] stdio_ext.h
[STAGE] stdio.h
[STAGE] stdlib.h
[STAGE] string.h
[STAGE] strings.h
[STAGE] stropts.h
[STAGE] sys/*
[STAGE] syscall.h
[STAGE] syscall_sel4.h
[STAGE] sysexits.h
[STAGE] syslog.h
[STAGE] tar.h
[STAGE] termios.h
[STAGE] tgmath.h
[STAGE] time.h
[STAGE] ucontext.h
[STAGE] ulimit.h
[STAGE] unistd.h
[STAGE] utime.h
[STAGE] utmp.h
[STAGE] utmpx.h
[STAGE] wchar.h
[STAGE] wctype.h
[STAGE] wordexp.h
[STAGE] atomic.h
[STAGE] bits/*
[STAGE] pthread_arch.h
[STAGE] reloc.h
[STAGE] syscall_stubs_sel4.h
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libmuslc'
[libs/libmuslc] done.
[libs/libsel4] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4 -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4
SOURCE_DIR=src/sel4/sel4test/libs/libsel4 V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4'
[GEN] arch_include/ia32/sel4/arch/invocation.h
[HEADERS]
[STAGE] api/*
[STAGE] interfaces/*
[STAGE] sel4/*
[STAGE] interfaces/*
[STAGE] sel4/*
[STAGE] sel4/*
[STAGE] interfaces/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4'
[libs/libsel4] done.
[libs/libcpio] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libcpio
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libcpio -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libcpio/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libcpio
SOURCE_DIR=src/sel4/sel4test/libs/libcpio V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libcpio'
[HEADERS]
[STAGE] cpio/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libcpio'
[libs/libcpio] done.
[libs/libsel4vka] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4vka
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4vka -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4vka/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4vka
SOURCE_DIR=src/sel4/sel4test/libs/libsel4vka V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4vka'
[HEADERS]
[STAGE] vka/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4vka'
[libs/libsel4vka] done.
[libs/libsel4vspace] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4vspace
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4vspace -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4vspace/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4vspace
SOURCE_DIR=src/sel4/sel4test/libs/libsel4vspace V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4vspace'
[HEADERS]
[STAGE] vspace/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4vspace'
[libs/libsel4vspace] done.
[libs/libutils] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libutils
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libutils -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libutils/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libutils
SOURCE_DIR=src/sel4/sel4test/libs/libutils V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libutils'
[HEADERS]
[STAGE] utils/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libutils'
[libs/libutils] done.
[libs/libelf] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libelf
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libelf -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libelf/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libelf
SOURCE_DIR=src/sel4/sel4test/libs/libelf V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libelf'
[HEADERS]
[STAGE] elf/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libelf'
[libs/libelf] done.
[libs/libsel4utils] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4utils
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4utils -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4utils/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4utils
SOURCE_DIR=src/sel4/sel4test/libs/libsel4utils V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4utils'
[HEADERS]
[STAGE] sel4utils/*
[STAGE] sel4utils/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4utils'
[libs/libsel4utils] done.
[libs/libsel4muslcsys] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4muslcsys
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4muslcsys -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4muslcsys/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4muslcsys
SOURCE_DIR=src/sel4/sel4test/libs/libsel4muslcsys V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4muslcsys'
[HEADERS]
[STAGE] arch_stdio.h
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4muslcsys'
[libs/libsel4muslcsys] done.
[libs/libsel4simple] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4simple
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4simple -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4simple/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4simple
SOURCE_DIR=src/sel4/sel4test/libs/libsel4simple V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4simple'
[HEADERS]
[STAGE] simple/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4simple'
[libs/libsel4simple] done.
[libs/libsel4allocman] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4allocman
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4allocman -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4allocman/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4allocman
SOURCE_DIR=src/sel4/sel4test/libs/libsel4allocman V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4allocman'
[HEADERS]
[STAGE] allocman/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4allocman'
[libs/libsel4allocman] done.
[libs/libsel4test] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4test
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4test -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libsel4test/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4test
SOURCE_DIR=src/sel4/sel4test/libs/libsel4test V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libsel4test'
[HEADERS]
[STAGE] sel4test/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libsel4test'
[libs/libsel4test] done.
[libs/libplatsupport] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libplatsupport
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libplatsupport -f
src/sel4/sel4test/.config -f src/sel4/sel4test/libs/libplatsupport/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libplatsupport
SOURCE_DIR=src/sel4/sel4test/libs/libplatsupport V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/libplatsupport'
[HEADERS]
[STAGE] platsupport/*
[STAGE] platsupport/*
[STAGE] platsupport/*
[STAGE] exynos/*
[STAGE] imx/*
[STAGE] omap/*
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/libplatsupport'
[libs/libplatsupport] done.
[libs/libsel4simple-default] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4simple-default
CFLAGS= LDFLAGS= make -C
src/sel4/sel4test/build/ia32/pc99/libsel4simple-default -f
src/sel4/sel4test/.config -f
src/sel4/sel4test/libs/libsel4simple-default/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4simple-default
SOURCE_DIR=src/sel4/sel4test/libs/libsel4simple-default V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory
`src/sel4/sel4test/build/ia32/pc99/libsel4simple-default'
[HEADERS]
[STAGE] simple-default/*
[STAGE] autoconf.h
make[1]: Leaving directory
`src/sel4/sel4test/build/ia32/pc99/libsel4simple-default'
[libs/libsel4simple-default] done.
[libs/libsel4platsupport] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/libsel4platsupport
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/libsel4platsupport
-f src/sel4/sel4test/.config -f
src/sel4/sel4test/libs/libsel4platsupport/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/libsel4platsupport
SOURCE_DIR=src/sel4/sel4test/libs/libsel4platsupport V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory
`src/sel4/sel4test/build/ia32/pc99/libsel4platsupport'
[HEADERS]
[STAGE] sel4platsupport/*
[STAGE] sel4platsupport/*
[STAGE] sel4platsupport/*
[STAGE] exynos/*
[STAGE] imx/*
[STAGE] omap/*
[STAGE] autoconf.h
make[1]: Leaving directory
`src/sel4/sel4test/build/ia32/pc99/libsel4platsupport'
[libs/libsel4platsupport] done.
[apps/sel4test-tests] building...
mkdir -p src/sel4/sel4test/build/ia32/pc99/sel4test-tests
CFLAGS= LDFLAGS= make -C src/sel4/sel4test/build/ia32/pc99/sel4test-tests -f
src/sel4/sel4test/.config -f src/sel4/sel4test/apps/sel4test-tests/Makefile \
BUILD_DIR=src/sel4/sel4test/build/ia32/pc99/sel4test-tests
SOURCE_DIR=src/sel4/sel4test/apps/sel4test-tests V=2 \
STAGE_DIR=src/sel4/sel4test/stage/ia32/pc99 \
TOOLPREFIX=
make[1]: Entering directory `src/sel4/sel4test/build/ia32/pc99/sel4test-tests'
[HEADERS]
[STAGE] autoconf.h
make[1]: Leaving directory `src/sel4/sel4test/build/ia32/pc99/sel4test-tests'
[apps/sel4test-tests] done.
[KERNEL]
mkdir -p src/sel4/sel4test/build/kernel
make -C src/sel4/sel4test/build/kernel -f src/sel4/sel4test/kernel/Makefile \
SOURCE_ROOT=src/sel4/sel4test/kernel
O=src/sel4/sel4test/build/kernel V=2 \
TOOLPREFIX= \
CONFIG_DOMAIN_SCHEDULE= \
HAVE_AUTOCONF=1 NO_PRESERVE_TIMESTAMP=1
seL4 build options:
===================
ARCH = ia32
PLAT = pc99
CPU =
TOOLPREFIX =
PATH =
/bin:/usr/bin:/sbin:/usr/sbin:/usr/local/bin:/usr/local/sbin:/usr/games/bin:/usr/X11/bin:.
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 = -DHAVE_AUTOCONF -Isrc/sel4/sel4test/include/generated -DIA32
-DARCH_IA32 -DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH -Wall
-Wstrict-prototypes -Wmissing-prototypes -Wnested-externs
-Wmissing-declarations -Wredundant-decls -Wpointer-arith -Wundef -Wno-nonnull
-Wdeclaration-after-statement -nostdlib -nostdinc -O2 -Werror -std=gnu99 -m32
-fno-stack-protector -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -m32 --std=c99
-nostdlib -nostdinc -ffreestanding -Wall -Werror -Wstrict-prototypes
-Wmissing-prototypes -Wnested-externs -Wmissing-declarations -Wundef
-Wpointer-arith -Wno-nonnull -Wdeclaration-after-statement
-Isrc/sel4/sel4test/kernel/include -Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -O2 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH
ASFLAGS = --32 -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I.
CPPFLAGS = -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32
-DARCH_IA32 -DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I.
LDFLAGS = -m elf_i386 -nostdlib -nostdinc -O2
make[1]: Entering directory `src/sel4/sel4test/build/kernel'
[BF_GEN] arch/object/structures_gen.h
src/sel4/sel4test/kernel/tools/bitfield_gen.py arch/object/structures.pbf
arch/object/structures_gen.h --prune
src/sel4/sel4test/kernel/src/api/syscall.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/api/benchmark.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/api/faults.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/fastpath/fastpath.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/apic.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot_sys.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/cmdline.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/elf.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/thread.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/fpu.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/hardware.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/registerset.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/model/statedata.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/interrupt.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/ioport.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/iospace.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/objecttype.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/tcb.c --prune
src/sel4/sel4test/kernel/src/assert.c --prune
src/sel4/sel4test/kernel/src/inlines.c --prune
src/sel4/sel4test/kernel/src/kernel/boot.c --prune
src/sel4/sel4test/kernel/src/kernel/cspace.c --prune
src/sel4/sel4test/kernel/src/kernel/faulthandler.c --prune
src/sel4/sel4test/kernel/src/kernel/thread.c --prune
src/sel4/sel4test/kernel/src/model/preemption.c --prune
src/sel4/sel4test/kernel/src/model/statedata.c --prune
src/sel4/sel4test/kernel/src/object/asyncendpoint.c --prune
src/sel4/sel4test/kernel/src/object/cnode.c --prune
src/sel4/sel4test/kernel/src/object/endpoint.c --prune
src/sel4/sel4test/kernel/src/object/interrupt.c --prune
src/sel4/sel4test/kernel/src/object/objecttype.c --prune
src/sel4/sel4test/kernel/src/object/tcb.c --prune
src/sel4/sel4test/kernel/src/object/untyped.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/acpi.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/hardware.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/intel-vtd.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/io.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pci.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pic.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pit.c --prune
src/sel4/sel4test/kernel/src/util.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine_asm.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/traps.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/halt.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/idle.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/head.S --prune
src/sel4/sel4test/kernel/include/kernel/thread.h --prune
src/sel4/sel4test/kernel/include/kernel/vspace.h --prune
src/sel4/sel4test/kernel/include/kernel/boot.h --prune
src/sel4/sel4test/kernel/include/kernel/cspace.h --prune
src/sel4/sel4test/kernel/include/kernel/faulthandler.h --prune
src/sel4/sel4test/kernel/include/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/machine/debug.h --prune
src/sel4/sel4test/kernel/include/machine/capdl.h --prune
src/sel4/sel4test/kernel/include/machine/profiler.h --prune
src/sel4/sel4test/kernel/include/machine/registerset.h --prune
src/sel4/sel4test/kernel/include/machine/assembler.h --prune
src/sel4/sel4test/kernel/include/machine/io.h --prune
src/sel4/sel4test/kernel/include/benchmark.h --prune
src/sel4/sel4test/kernel/include/object/endpoint.h --prune
src/sel4/sel4test/kernel/include/object/objecttype.h --prune
src/sel4/sel4test/kernel/include/object/structures.h --prune
src/sel4/sel4test/kernel/include/object/untyped.h --prune
src/sel4/sel4test/kernel/include/object/cnode.h --prune
src/sel4/sel4test/kernel/include/object/asyncendpoint.h --prune
src/sel4/sel4test/kernel/include/object/interrupt.h --prune
src/sel4/sel4test/kernel/include/object/tcb.h --prune
src/sel4/sel4test/kernel/include/machine.h --prune
src/sel4/sel4test/kernel/include/stdarg.h --prune
src/sel4/sel4test/kernel/include/stdint.h --prune
src/sel4/sel4test/kernel/include/api/faults.h --prune
src/sel4/sel4test/kernel/include/api/failures.h --prune
src/sel4/sel4test/kernel/include/api/objecttype.h --prune
src/sel4/sel4test/kernel/include/api/constants.h --prune
src/sel4/sel4test/kernel/include/api/types.h --prune
src/sel4/sel4test/kernel/include/api/errors.h --prune
src/sel4/sel4test/kernel/include/api/syscall.h --prune
src/sel4/sel4test/kernel/include/assert.h --prune
src/sel4/sel4test/kernel/include/types.h --prune
src/sel4/sel4test/kernel/include/bootinfo.h --prune
src/sel4/sel4test/kernel/include/object.h --prune
src/sel4/sel4test/kernel/include/config.h --prune
src/sel4/sel4test/kernel/include/model/statedata.h --prune
src/sel4/sel4test/kernel/include/model/preemption.h --prune
src/sel4/sel4test/kernel/include/util.h --prune
src/sel4/sel4test/kernel/include/api.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/elf.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/thread.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/cmdline.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/vspace.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/apic.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/boot.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/lock.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/boot_sys.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/multiboot.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/fpu.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/pat.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/capdl.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/registerset.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/cpu_registers.h
--prune src/sel4/sel4test/kernel/include/arch/ia32/arch/benchmark.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/ioport.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/iospace.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/objecttype.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/structures.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/interrupt.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/tcb.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/linker.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/stdint.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/api/objecttype.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/api/types.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/types.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/fastpath/fastpath.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/model/statedata.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/intel-vtd.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/debug_helpers.h
--prune src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pit.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/devices.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/acpi.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pic.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pci.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/io.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine.h --prune
src/sel4/sel4test/include/generated/autoconf.h
[BF_GEN] plat/machine/hardware_gen.h
src/sel4/sel4test/kernel/tools/bitfield_gen.py plat/machine/hardware.pbf
plat/machine/hardware_gen.h --prune src/sel4/sel4test/kernel/src/api/syscall.c
--prune src/sel4/sel4test/kernel/src/arch/ia32/api/benchmark.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/api/faults.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/fastpath/fastpath.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/apic.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot_sys.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/cmdline.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/elf.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/thread.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/fpu.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/hardware.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/registerset.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/model/statedata.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/interrupt.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/ioport.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/iospace.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/objecttype.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/tcb.c --prune
src/sel4/sel4test/kernel/src/assert.c --prune
src/sel4/sel4test/kernel/src/inlines.c --prune
src/sel4/sel4test/kernel/src/kernel/boot.c --prune
src/sel4/sel4test/kernel/src/kernel/cspace.c --prune
src/sel4/sel4test/kernel/src/kernel/faulthandler.c --prune
src/sel4/sel4test/kernel/src/kernel/thread.c --prune
src/sel4/sel4test/kernel/src/model/preemption.c --prune
src/sel4/sel4test/kernel/src/model/statedata.c --prune
src/sel4/sel4test/kernel/src/object/asyncendpoint.c --prune
src/sel4/sel4test/kernel/src/object/cnode.c --prune
src/sel4/sel4test/kernel/src/object/endpoint.c --prune
src/sel4/sel4test/kernel/src/object/interrupt.c --prune
src/sel4/sel4test/kernel/src/object/objecttype.c --prune
src/sel4/sel4test/kernel/src/object/tcb.c --prune
src/sel4/sel4test/kernel/src/object/untyped.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/acpi.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/hardware.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/intel-vtd.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/io.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pci.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pic.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pit.c --prune
src/sel4/sel4test/kernel/src/util.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine_asm.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/traps.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/halt.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/idle.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/head.S --prune
src/sel4/sel4test/kernel/include/kernel/thread.h --prune
src/sel4/sel4test/kernel/include/kernel/vspace.h --prune
src/sel4/sel4test/kernel/include/kernel/boot.h --prune
src/sel4/sel4test/kernel/include/kernel/cspace.h --prune
src/sel4/sel4test/kernel/include/kernel/faulthandler.h --prune
src/sel4/sel4test/kernel/include/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/machine/debug.h --prune
src/sel4/sel4test/kernel/include/machine/capdl.h --prune
src/sel4/sel4test/kernel/include/machine/profiler.h --prune
src/sel4/sel4test/kernel/include/machine/registerset.h --prune
src/sel4/sel4test/kernel/include/machine/assembler.h --prune
src/sel4/sel4test/kernel/include/machine/io.h --prune
src/sel4/sel4test/kernel/include/benchmark.h --prune
src/sel4/sel4test/kernel/include/object/endpoint.h --prune
src/sel4/sel4test/kernel/include/object/objecttype.h --prune
src/sel4/sel4test/kernel/include/object/structures.h --prune
src/sel4/sel4test/kernel/include/object/untyped.h --prune
src/sel4/sel4test/kernel/include/object/cnode.h --prune
src/sel4/sel4test/kernel/include/object/asyncendpoint.h --prune
src/sel4/sel4test/kernel/include/object/interrupt.h --prune
src/sel4/sel4test/kernel/include/object/tcb.h --prune
src/sel4/sel4test/kernel/include/machine.h --prune
src/sel4/sel4test/kernel/include/stdarg.h --prune
src/sel4/sel4test/kernel/include/stdint.h --prune
src/sel4/sel4test/kernel/include/api/faults.h --prune
src/sel4/sel4test/kernel/include/api/failures.h --prune
src/sel4/sel4test/kernel/include/api/objecttype.h --prune
src/sel4/sel4test/kernel/include/api/constants.h --prune
src/sel4/sel4test/kernel/include/api/types.h --prune
src/sel4/sel4test/kernel/include/api/errors.h --prune
src/sel4/sel4test/kernel/include/api/syscall.h --prune
src/sel4/sel4test/kernel/include/assert.h --prune
src/sel4/sel4test/kernel/include/types.h --prune
src/sel4/sel4test/kernel/include/bootinfo.h --prune
src/sel4/sel4test/kernel/include/object.h --prune
src/sel4/sel4test/kernel/include/config.h --prune
src/sel4/sel4test/kernel/include/model/statedata.h --prune
src/sel4/sel4test/kernel/include/model/preemption.h --prune
src/sel4/sel4test/kernel/include/util.h --prune
src/sel4/sel4test/kernel/include/api.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/elf.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/thread.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/cmdline.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/vspace.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/apic.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/boot.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/lock.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/boot_sys.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/multiboot.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/fpu.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/pat.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/capdl.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/registerset.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/cpu_registers.h
--prune src/sel4/sel4test/kernel/include/arch/ia32/arch/benchmark.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/ioport.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/iospace.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/objecttype.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/structures.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/interrupt.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/tcb.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/linker.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/stdint.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/api/objecttype.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/api/types.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/types.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/fastpath/fastpath.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/model/statedata.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/intel-vtd.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/debug_helpers.h
--prune src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pit.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/devices.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/acpi.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pic.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pci.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/io.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine.h --prune
src/sel4/sel4test/include/generated/autoconf.h
[BF_GEN] api/types_gen.h
src/sel4/sel4test/kernel/tools/bitfield_gen.py api/types.pbf api/types_gen.h
--prune src/sel4/sel4test/kernel/src/api/syscall.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/api/benchmark.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/api/faults.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/fastpath/fastpath.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/apic.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot_sys.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/cmdline.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/elf.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/thread.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/fpu.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/hardware.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine/registerset.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/model/statedata.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/interrupt.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/ioport.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/iospace.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/objecttype.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/object/tcb.c --prune
src/sel4/sel4test/kernel/src/assert.c --prune
src/sel4/sel4test/kernel/src/inlines.c --prune
src/sel4/sel4test/kernel/src/kernel/boot.c --prune
src/sel4/sel4test/kernel/src/kernel/cspace.c --prune
src/sel4/sel4test/kernel/src/kernel/faulthandler.c --prune
src/sel4/sel4test/kernel/src/kernel/thread.c --prune
src/sel4/sel4test/kernel/src/model/preemption.c --prune
src/sel4/sel4test/kernel/src/model/statedata.c --prune
src/sel4/sel4test/kernel/src/object/asyncendpoint.c --prune
src/sel4/sel4test/kernel/src/object/cnode.c --prune
src/sel4/sel4test/kernel/src/object/endpoint.c --prune
src/sel4/sel4test/kernel/src/object/interrupt.c --prune
src/sel4/sel4test/kernel/src/object/objecttype.c --prune
src/sel4/sel4test/kernel/src/object/tcb.c --prune
src/sel4/sel4test/kernel/src/object/untyped.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/acpi.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/hardware.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/intel-vtd.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/io.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pci.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pic.c --prune
src/sel4/sel4test/kernel/src/plat/pc99/machine/pit.c --prune
src/sel4/sel4test/kernel/src/util.c --prune
src/sel4/sel4test/kernel/src/arch/ia32/machine_asm.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/traps.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/halt.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/idle.S --prune
src/sel4/sel4test/kernel/src/arch/ia32/head.S --prune
src/sel4/sel4test/kernel/include/kernel/thread.h --prune
src/sel4/sel4test/kernel/include/kernel/vspace.h --prune
src/sel4/sel4test/kernel/include/kernel/boot.h --prune
src/sel4/sel4test/kernel/include/kernel/cspace.h --prune
src/sel4/sel4test/kernel/include/kernel/faulthandler.h --prune
src/sel4/sel4test/kernel/include/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/machine/debug.h --prune
src/sel4/sel4test/kernel/include/machine/capdl.h --prune
src/sel4/sel4test/kernel/include/machine/profiler.h --prune
src/sel4/sel4test/kernel/include/machine/registerset.h --prune
src/sel4/sel4test/kernel/include/machine/assembler.h --prune
src/sel4/sel4test/kernel/include/machine/io.h --prune
src/sel4/sel4test/kernel/include/benchmark.h --prune
src/sel4/sel4test/kernel/include/object/endpoint.h --prune
src/sel4/sel4test/kernel/include/object/objecttype.h --prune
src/sel4/sel4test/kernel/include/object/structures.h --prune
src/sel4/sel4test/kernel/include/object/untyped.h --prune
src/sel4/sel4test/kernel/include/object/cnode.h --prune
src/sel4/sel4test/kernel/include/object/asyncendpoint.h --prune
src/sel4/sel4test/kernel/include/object/interrupt.h --prune
src/sel4/sel4test/kernel/include/object/tcb.h --prune
src/sel4/sel4test/kernel/include/machine.h --prune
src/sel4/sel4test/kernel/include/stdarg.h --prune
src/sel4/sel4test/kernel/include/stdint.h --prune
src/sel4/sel4test/kernel/include/api/faults.h --prune
src/sel4/sel4test/kernel/include/api/failures.h --prune
src/sel4/sel4test/kernel/include/api/objecttype.h --prune
src/sel4/sel4test/kernel/include/api/constants.h --prune
src/sel4/sel4test/kernel/include/api/types.h --prune
src/sel4/sel4test/kernel/include/api/errors.h --prune
src/sel4/sel4test/kernel/include/api/syscall.h --prune
src/sel4/sel4test/kernel/include/assert.h --prune
src/sel4/sel4test/kernel/include/types.h --prune
src/sel4/sel4test/kernel/include/bootinfo.h --prune
src/sel4/sel4test/kernel/include/object.h --prune
src/sel4/sel4test/kernel/include/config.h --prune
src/sel4/sel4test/kernel/include/model/statedata.h --prune
src/sel4/sel4test/kernel/include/model/preemption.h --prune
src/sel4/sel4test/kernel/include/util.h --prune
src/sel4/sel4test/kernel/include/api.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/elf.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/thread.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/cmdline.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/vspace.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/apic.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/boot.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/lock.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/boot_sys.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/kernel/multiboot.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/fpu.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/pat.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/capdl.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/registerset.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine/cpu_registers.h
--prune src/sel4/sel4test/kernel/include/arch/ia32/arch/benchmark.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/ioport.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/iospace.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/objecttype.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/structures.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/interrupt.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/object/tcb.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/linker.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/machine.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/stdint.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/api/objecttype.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/api/types.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/types.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/fastpath/fastpath.h --prune
src/sel4/sel4test/kernel/include/arch/ia32/arch/model/statedata.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/hardware.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/intel-vtd.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/debug_helpers.h
--prune src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pit.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/devices.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/acpi.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pic.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/pci.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine/io.h --prune
src/sel4/sel4test/kernel/include/plat/pc99/plat/machine.h --prune
src/sel4/sel4test/include/generated/autoconf.h
[CPP] src/arch/ia32/machine_asm.s
cpp -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -CC -E -o
src/arch/ia32/machine_asm.s src/sel4/sel4test/kernel/src/arch/ia32/machine_asm.S
[AS] src/arch/ia32/machine_asm.o
as --32 -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. src/arch/ia32/machine_asm.s -o
src/arch/ia32/machine_asm.o
[CPP] src/arch/ia32/traps.s
cpp -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -CC -E -o
src/arch/ia32/traps.s src/sel4/sel4test/kernel/src/arch/ia32/traps.S
[AS] src/arch/ia32/traps.o
as --32 -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. src/arch/ia32/traps.s -o
src/arch/ia32/traps.o
[CPP] src/arch/ia32/halt.s
cpp -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -CC -E -o src/arch/ia32/halt.s
src/sel4/sel4test/kernel/src/arch/ia32/halt.S
[AS] src/arch/ia32/halt.o
as --32 -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. src/arch/ia32/halt.s -o
src/arch/ia32/halt.o
[CPP] src/arch/ia32/idle.s
cpp -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -CC -E -o src/arch/ia32/idle.s
src/sel4/sel4test/kernel/src/arch/ia32/idle.S
[AS] src/arch/ia32/idle.o
as --32 -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. src/arch/ia32/idle.s -o
src/arch/ia32/idle.o
[CPP] src/arch/ia32/head.s
cpp -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -CC -E -o src/arch/ia32/head.s
src/sel4/sel4test/kernel/src/arch/ia32/head.S
[AS] src/arch/ia32/head.o
as --32 -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. src/arch/ia32/head.s -o
src/arch/ia32/head.o
[CPP_GEN] kernel_all.c
src/sel4/sel4test/kernel/tools/cpp_gen.sh
src/sel4/sel4test/kernel/src/api/syscall.c
src/sel4/sel4test/kernel/src/arch/ia32/api/benchmark.c
src/sel4/sel4test/kernel/src/arch/ia32/api/faults.c
src/sel4/sel4test/kernel/src/arch/ia32/fastpath/fastpath.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/apic.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/boot_sys.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/cmdline.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/elf.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/thread.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c
src/sel4/sel4test/kernel/src/arch/ia32/machine/fpu.c
src/sel4/sel4test/kernel/src/arch/ia32/machine/hardware.c
src/sel4/sel4test/kernel/src/arch/ia32/machine/registerset.c
src/sel4/sel4test/kernel/src/arch/ia32/model/statedata.c
src/sel4/sel4test/kernel/src/arch/ia32/object/interrupt.c
src/sel4/sel4test/kernel/src/arch/ia32/object/ioport.c
src/sel4/sel4test/kernel/src/arch/ia32/object/iospace.c
src/sel4/sel4test/kernel/src/arch/ia32/object/objecttype.c
src/sel4/sel4test/kernel/src/arch/ia32/object/tcb.c
src/sel4/sel4test/kernel/src/assert.c src/sel4/sel4test/kernel/src/inlines.c
src/sel4/sel4test/kernel/src/kernel/boot.c
src/sel4/sel4test/kernel/src/kernel/cspace.c
src/sel4/sel4test/kernel/src/kernel/faulthandler.c
src/sel4/sel4test/kernel/src/kernel/thread.c
src/sel4/sel4test/kernel/src/model/preemption.c
src/sel4/sel4test/kernel/src/model/statedata.c
src/sel4/sel4test/kernel/src/object/asyncendpoint.c
src/sel4/sel4test/kernel/src/object/cnode.c
src/sel4/sel4test/kernel/src/object/endpoint.c
src/sel4/sel4test/kernel/src/object/interrupt.c
src/sel4/sel4test/kernel/src/object/objecttype.c
src/sel4/sel4test/kernel/src/object/tcb.c
src/sel4/sel4test/kernel/src/object/untyped.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/acpi.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/hardware.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/intel-vtd.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/io.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/pci.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/pic.c
src/sel4/sel4test/kernel/src/plat/pc99/machine/pit.c
src/sel4/sel4test/kernel/src/util.c
src/sel4/sel4test/kernel/src/config/default_domain.c > kernel_all.c
[CPP] kernel_all.c_pp
cpp -mno-sse -mno-sse2 -mno-mmx -mno-3dnow -DHAVE_AUTOCONF -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH
-Isrc/sel4/sel4test/include/generated -std=gnu99 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -CC -E -o kernel_all.c_pp
kernel_all.c
[CP] kernel_final.c
cp -a kernel_all.c_pp kernel_final.c
[CC] kernel_final.s
gcc -DHAVE_AUTOCONF -Isrc/sel4/sel4test/include/generated -DIA32 -DARCH_IA32
-DX86_32 -DCONFIG_X86_32 -DPLAT_PC99 -DFASTPATH -Wall -Wstrict-prototypes
-Wmissing-prototypes -Wnested-externs -Wmissing-declarations -Wredundant-decls
-Wpointer-arith -Wundef -Wno-nonnull -Wdeclaration-after-statement -nostdlib
-nostdinc -O2 -Werror -std=gnu99 -m32 -fno-stack-protector -mno-sse -mno-sse2
-mno-mmx -mno-3dnow -m32 --std=c99 -nostdlib -nostdinc -ffreestanding -Wall
-Werror -Wstrict-prototypes -Wmissing-prototypes -Wnested-externs
-Wmissing-declarations -Wundef -Wpointer-arith -Wno-nonnull
-Wdeclaration-after-statement -Isrc/sel4/sel4test/kernel/include
-Isrc/sel4/sel4test/kernel/include/arch/ia32
-Isrc/sel4/sel4test/kernel/include/plat/pc99 -I. -O2 -DCYCLE_COUNTER
-DPERF_COUNTER=CYCLE_COUNTER -DFASTPATH -S -o kernel_final.s kernel_final.c
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c: In function
‘init_boot_pd’:
src/sel4/sel4test/kernel/src/arch/ia32/kernel/vspace.c:58:23: error: array
subscript is above array bounds [-Werror=array-bounds]
cc1: all warnings being treated as errors
make[1]: *** [kernel_final.s] Error 1
rm src/arch/ia32/idle.s src/arch/ia32/halt.s plat/machine/hardware_gen.h
src/arch/ia32/machine_asm.s src/arch/ia32/head.s api/types_gen.h
arch/object/structures_gen.h src/arch/ia32/traps.s
make[1]: Leaving directory `src/sel4/sel4test/build/kernel'
make: *** [kernel_elf] Error 2
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
