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