About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
Download
IDL4
Release Notes
Documentation
Download
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
 

L4Ka::Pistachio Build Status

System: SUSE 10.1
Build date: Fri, Jul16'10, 09:52
changeset: 782:57124b75c67c
x86-x32-4863.3.6 PASS / PASS
x86-x32-k83.3.6 PASS / PASS
x86-x32-p13.3.6 PASS / PASS
x86-x32-p33.3.6 PASS / PASS
x86-x32-p4-fp3.3.6 PASS / PASS
x86-x32-p4-fullkdb3.3.6 PASS / PASS
x86-x32-p4-hsched-pic3.3.6 PASS / PASS
x86-x32-p4-hsched-smp3.3.6 PASS / PASS
x86-x32-p4-hvm3.3.6 PASS / PASS
x86-x32-p4-hvm-smp3.3.6 PASS / PASS
x86-x32-p4-iofp3.3.6 PASS / PASS
x86-x32-p43.3.6 PASS / PASS
x86-x32-p4-logging3.3.6 PASS / PASS
x86-x32-p4-logging-smp3.3.6 PASS
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=3.3.6 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=3.3.6 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: "-Wno-non-virtual-dtor" is valid for C++ but not for C/ObjC cc1: warning: "-fno-rtti" is valid for C++ but not for C/ObjC ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:112: warning: ` void putc_screen(char)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:266: warning: ` char getc_screen(bool)' defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel Done. checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking whether make sets $(MAKE)... yes checking whether ln -s works... yes checking for gawk... gawk checking location of libgcc.a... /tools/GNU/gcc-3.3.6/lib/gcc-lib/i686-pc-linux-gnu/3.3.6 checking location of stdarg.h... /tools/GNU/gcc-3.3.6/lib/gcc-lib/i686-pc-linux-gnu/3.3.6/include checking kernel build directory... /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel configure: creating ./config.status config.status: creating config.mk config.status: creating Makefile config.status: creating lib/Makefile config.status: creating lib/l4/Makefile config.status: creating lib/io/Makefile config.status: creating serv/Makefile config.status: creating serv/sigma0/Makefile config.status: creating apps/Makefile config.status: creating apps/bench/Makefile config.status: creating apps/bench/pingpong/Makefile config.status: creating apps/grabmem/Makefile config.status: creating apps/l4test/Makefile config.status: creating util/Makefile config.status: creating util/kickstart/Makefile config.status: creating util/grubdisk/Makefile config.status: creating util/piggybacker/Makefile config.status: creating util/piggybacker/ofppc/Makefile config.status: creating util/piggybacker/ofppc64/Makefile config.status: creating contrib/Makefile config.status: creating contrib/elf-loader/Makefile config.status: creating config.h ===> Making dependencies in lib/l4 ===> lib/l4/ia32-syscall-init.cc ===> lib/l4/ia32-syscall-stubs.S /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/l4/ia32-syscall-stubs.S: Assembler messages: /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/l4/ia32-syscall-stubs.S:52: Warning: setting incorrect section attributes for .data.syscalls /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/l4/ia32-syscall-stubs.S:58: Warning: setting incorrect section attributes for .data.syscalls_copy ===> Linking lib/l4/libl4.a ===> Making dependencies in lib/io ===> lib/io/get_hex.cc ===> lib/io/print.cc ===> lib/io/ia32-getc.cc ===> lib/io/ia32-putc.cc ===> Linking lib/io/libio.a ===> Making dependencies in serv/sigma0 ===> serv/sigma0/crt0-ia32.S ===> serv/sigma0/sigma0_io.cc ===> serv/sigma0/sigma0.cc ===> serv/sigma0/sigma0_mem.cc ===> serv/sigma0/region.cc ===> Linking serv/sigma0/sigma0 ===> Making dependencies in apps/bench/pingpong ===> apps/bench/pingpong/crt0-ia32.S ===> apps/bench/pingpong/pingpong.cc ===> Linking apps/bench/pingpong/pingpong ===> Making dependencies in apps/grabmem ===> apps/grabmem/crt0-ia32.S ===> apps/grabmem/grabmem.cc ===> Linking apps/grabmem/grabmem ===> Making dependencies in apps/l4test ===> apps/l4test/ia32/crt0.S ===> apps/l4test/main.cc ===> apps/l4test/assert.cc ===> apps/l4test/menu.cc ===> apps/l4test/threads.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc: In function `L4_ThreadId_t create_thread(bool, int, long unsigned int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:93: warning: int format, L4_Word_t arg (arg 3) /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:99: warning: int format, L4_Word_t arg (arg 3) /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:104: warning: int format, L4_Word_t arg (arg 3) /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:111: warning: int format, L4_Word_t arg (arg 3) ===> apps/l4test/string.cc ===> apps/l4test/ipc.cc ===> apps/l4test/ipc-string.cc ===> apps/l4test/ipc-pf.cc ===> apps/l4test/ipc-smp.cc ===> apps/l4test/kip.cc ===> apps/l4test/mem.cc ===> apps/l4test/sig0.cc ===> apps/l4test/exreg.cc ===> apps/l4test/tcontrol.cc ===> apps/l4test/schedule.cc ===> apps/l4test/ia32/help.cc ===> apps/l4test/ia32/tests.cc ===> Linking apps/l4test/l4test ===> Making dependencies in util/kickstart cat: .revision: No such file or directory ===> Making util/kickstart/.revision ===> util/kickstart/crt0-ia32.S ===> util/kickstart/kickstart.cc ===> util/kickstart/kipmgr.cc ===> util/kickstart/elf.cc ===> util/kickstart/lib.cc ===> util/kickstart/bootinfo.cc ===> util/kickstart/ia32.cc ===> util/kickstart/mbi.cc ===> util/kickstart/mbi-ia32.cc ===> util/kickstart/mbi-loader.cc ===> Linking util/kickstart/kickstart KickStart 0.13.06 Detected multiboot compliant loader kernel (0x00809000-0x00a21be0) => 0x00338510 (0x00809000-0x00831098) -> 0x00100000-0x00128098 (0x00832000-0x008478b9) -> 0x0012a000-0x0013f8b9 (0x00848000-0x00a1c124) -> 0x00140000-0x00314124 (0x00a1d000-0x00a2144c) -> 0x00335000-0x0033944c sigma0 (0x00a22000-0x00a2922c) => 0x00020000 (0x00a23000-0x00a2b410) -> 0x00020000-0x00028410 roottask (0x00a2a000-0x00a402e8) => 0x00400000 (0x00a2b000-0x00a44424) -> 0x00400000-0x00419424 Launching kernel ... L4Ka::Pistachio - built on Jul 16 2010 04:21:23 by l4kaorg@i30s6 using gcc version 3.3.6 Checking CPU features virtual memory layout: user area 0 - c0000000 copy area c4000000 - c4800000 ktcb area e0000000 - f0000000 kernel area df000000 - ff000000 cpulocal data f0141000 - f030008c apic area df002000 - df007000 utcb pgarea df000000 space link c5000000 Initializing kernel memory (f0315000-f0335000) [128K] Initializing kernel space Switching to CPU local pagetable 00316000 (CPU 0) CPU local pagetable activated 316000 (CPU 0) Initializing TCBs Activating TSS (Preliminary) Initializing GDT (Preliminary) Activating IDT (Preliminary) Initializing kernel interface page (f0140000) Adding more kernel memory found 16M kmem (e000000-effffff) -> (fe000000-feffffff) reserve ec00000 - effffff (sz 4194304) for log area Log mapping user @ ec00000, selector page 255 mapping @ ecff000 Initializing memory info Initializing mapping database Initializing Tracebuffer (4M) Initializing kernel debugger Initializing IRQ hardware Parsing ACPI tables RSDP is at c48fdaa0 RSDT is at 1fffd750 XSDT is at 00000000 FACP is at 1ffff780 SSDT is at 1fffd8c0 APIC is at 1fffd7d0 HPET is at 1fffd790 FADT is at 1ffff780 (remap c4bff780), pmtimer IO port b008 MADT is at 1fffd7d0 (remap c4bfd7d0), local APICs @ fee00000 Mapping local APICs at fee00000 to df002000 local APIC: apic_id=0 use=ok proc_id=0 local APIC: apic_id=1 use=ok proc_id=1 Found 2 active CPUs, boot CPU is 0 Initializing IOAPICs IOAPIC: id=2 irq_base=0 addr=fec00000 realid=0 maxint=24, version=17 IRQ source override: srcbus=0, srcirq=0, dest=2, conform pol., trigger=conform IRQ source override: srcbus=0, srcirq=5, dest=5, active high, trigger=level IRQ source override: srcbus=0, srcirq=9, dest=9, active high, trigger=level IRQ source override: srcbus=0, srcirq=10, dest=10, active high, trigger=level IRQ source override: srcbus=0, srcirq=11, dest=11, active high, trigger=level 24 IRQ input lines, max IRQ ID is 23 IRQ 0: APIC 2, line 0, edge, high active IRQ 1: APIC 2, line 1, edge, high active IRQ 2: APIC 2, line 2, edge, low active IRQ 3: APIC 2, line 3, edge, high active IRQ 4: APIC 2, line 4, edge, high active IRQ 5: APIC 2, line 5, level, high active IRQ 6: APIC 2, line 6, edge, high active IRQ 7: APIC 2, line 7, edge, high active IRQ 8: APIC 2, line 8, edge, high active IRQ 9: APIC 2, line 9, level, high active IRQ 10: APIC 2, line 10, level, high active IRQ 11: APIC 2, line 11, level, high active IRQ 12: APIC 2, line 12, edge, high active IRQ 13: APIC 2, line 13, edge, high active IRQ 14: APIC 2, line 14, edge, high active IRQ 15: APIC 2, line 15, edge, high active IRQ 16: APIC 2, line 16, level, low active IRQ 17: APIC 2, line 17, level, low active IRQ 18: APIC 2, line 18, level, low active IRQ 19: APIC 2, line 19, level, low active IRQ 20: APIC 2, line 20, level, low active IRQ 21: APIC 2, line 21, level, low active IRQ 22: APIC 2, line 22, level, low active IRQ 23: APIC 2, line 23, level, low active Initializing Timer global timer: trap gate 64 Starting 2 application processors (00338000->00004000) Sending startup IPI to CPU#1 APIC 1 local APIC id=0, version=17 local APIC error trap gate 67 Activating TSS (CPU 0)se Initializing GDT (CPU 0) Activating IDT (CPU 0) Enabling global pages (CPU 0) Activating MSRS (CPU 0) Initializing Timer (CPU 0) Calculating processor speed (CPU 0)... AP processor is alive AP switched to kernel ptab local APIC id=1, version=17 local APIC error trap gate 67 Activating TSS (CPU 1)se Initializing GDT (CPU 1) Activating IDT (CPU 1) Enabling global pages (CPU 1) Activating MSRS (CPU 1) Initializing Timer (CPU 1) Calculating processor speed (CPU 1)... speed: 2188 MHz, bus speed: 1000 MHz (CPU 1) Initializing Processor (CPU 1) Registering processor 1 in KIP (1000MHz, 2188MHz) speed: 2416 MHz, bus speed: 1104 MHz (CPU 0) Initializing Processor (CPU 0) Registering processor 0 in KIP (1104MHz, 2416MHz) Initializing EVT logging (CPU 0) Initialize cpu local mappings (CPU 1) remapped log pages f0200000 -> 0ec00000 (CPU 0) Remapping CPU local memory f0141000 - f030008c (CPU 1) log mapping kernel f0200000 Switching to CPU local pagetable 00322000 (CPU 1) CPU local pagetable activated 322000 (CPU 1) Initializing EVT logging (CPU 1) remapped log pages f0200000 -> 0ed00000 (CPU 1) log mapping kernel f0200000 Initializing threading (CPU 1) Switching to idle thread (CPU 1) Initializing threading (CPU 0) Switching to idle thread (CPU 0) System has 24 hardware interrupts Idle thread started on CPU 1 Initializing root servers root-servers: utcb_area: bf000110 (128KB), kip_area: bff000c0 (4KB) Creating sigma0 (SIGMA0) Creating root server (ROOTTASK) Idle thread started on CPU 0 L4/Pistachio test suite ready to go. Kernel Interface Page ===================== Register returned values ------------------------ KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Address of KIP is 0xbff00000 KIP alignment is OK KIP memory values ----------------- L4tag is: L4æK L4tag is valid APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Threads: IRQs=24, sys=32, valid TID bits=17 KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa Kernel generation date: 16/7/2010 Kernel Version: 0.4.0 Supplier string: "UKa " Version string: "L4Ka::Pistachio - built on Jul 16 2010 04:21:23 by l4kaorg@i30s6 using gcc version 3.3.6" Processors: 2 CPU0: int freq=2416657kHz, ext freq=1104656kHz CPU1: int freq=2188529kHz, ext freq=1000396kHz Checking KIP, depth 0 Checking KIP, depth 1 Checking KIP, depth 2 Checking KIP, depth 3 Checking KIP, depth 4 Checking KIP, depth 5 Checking KIP, depth 6 Checking KIP, depth 7 Checking KIP, depth 8 Checking KIP, depth 9 IA32 exception IPC handling: OK [CtrlXfer features not compiled in]test: Welcome to memtest! Page touch: OK Simple IPC test (inter-as, only untyped words) From parameter (global): OK Send Message transfer: OK ReplyWait Message transfer: OK Send timeout: OK Receive timeout: OK Local destination Id: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK From parameter (local): OK Intra address space string copy IPC test (no pagefaults) Simple string transfer: OK Simple substring transfer: OK Compound substring transfer: OK Multiple complex strings transfer: OK Scatter: OK Gather: OK Complex Scatter/Gather: OK Too long receive buffer: OK No receive buffer: OK Missing receive buffer: OK Too short receive buffer: OK Complex cut message: OK Inter addres space string copy IPC test (with pagefaults) Simple string transfer (no page faults): OK Single sender pagefault: OK Single receiver pagefault: OK Multiple sender and receiver pagefaults: OK Xfer timeouts (no timeout): OK Zero xfer timeouts: OK Sender xfer timeout: OK Receiver xfer timeout: OK Sender abort: OK Receiver abort: OK Simple SMP IPC test (only untyped words) Message transfer: OK Send timeout: OK Receive timeout: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK Inter address space string copy SMP IPC test (with pagefaults) .



FAIL

x86-x32-p4-newmdb3.3.6 PASS / PASS
x86-x32-p4-nokdb3.3.6 PASS / PASS
x86-x32-p4-smallspaces3.3.6 PASS / PASS
x86-x32-p4-smp3.3.6 PASS / PASS
x86-x32-p4-statictcbs3.3.6 PASS / PASS
x86-x64-k83.3.6 PASS / PASS
x86-x64-p33.3.6 PASS / PASS
x86-x64-p4-cm3.3.6 PASS / PASS
x86-x64-p4-fp3.3.6 PASS / PASS
x86-x64-p4-fullkdb3.3.6 PASS / PASS
x86-x64-p4-iofp3.3.6 PASS / PASS
x86-x64-p43.3.6 PASS / PASS
x86-x64-p4-newmdb3.3.6 PASS / PASS
x86-x64-p4-nokdb3.3.6 PASS / PASS
x86-x64-p4-smp3.3.6 PASS / PASS
x86-x64-p4-statictcbs3.3.6 PASS / PASS
x86-x32-4863.4.6 PASS / PASS
x86-x32-k83.4.6 PASS / PASS
x86-x32-p13.4.6 PASS / PASS
x86-x32-p33.4.6 PASS / PASS
x86-x32-p4-fp3.4.6 PASS / PASS
x86-x32-p4-fullkdb3.4.6 PASS / PASS
x86-x32-p4-hsched-pic3.4.6 PASS / PASS
x86-x32-p4-hsched-smp3.4.6 PASS / PASS
x86-x32-p4-hvm3.4.6 PASS / PASS
x86-x32-p4-hvm-smp3.4.6 PASS / PASS
x86-x32-p4-iofp3.4.6 PASS / PASS
x86-x32-p43.4.6 PASS / PASS
x86-x32-p4-logging3.4.6 PASS / PASS
x86-x32-p4-logging-smp3.4.6 PASS / PASS
x86-x32-p4-newmdb3.4.6 PASS / PASS
x86-x32-p4-nokdb3.4.6 PASS / PASS
x86-x32-p4-smallspaces3.4.6 PASS / PASS
x86-x32-p4-smp3.4.6 PASS / PASS
x86-x32-p4-statictcbs3.4.6 PASS / PASS
x86-x64-k83.4.6 PASS / PASS
x86-x64-p33.4.6 PASS / PASS
x86-x64-p4-cm3.4.6 PASS / PASS
x86-x64-p4-fp3.4.6 PASS / PASS
x86-x64-p4-fullkdb3.4.6 PASS / PASS
x86-x64-p4-iofp3.4.6 PASS / PASS
x86-x64-p43.4.6 PASS / PASS
x86-x64-p4-newmdb3.4.6 PASS / PASS
x86-x64-p4-nokdb3.4.6 PASS / PASS
x86-x64-p4-smp3.4.6 PASS
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x64-p4-smp/build/kernel ... done. TERM is not set. "config.out", line 85: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=3.4.6 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=3.4.6 ===> Building dependencies ===> src/arch/x86/x64/init32.cc ===> src/arch/x86/x64/cpu.cc ===> src/glue/v4-x86/x64/space.cc ===> src/glue/v4-x86/x64/exception.cc ===> src/glue/v4-x86/x64/init.cc ===> src/glue/v4-x86/x64/trampoline.S ===> src/glue/v4-x86/x64/trap.S ===> src/glue/v4-x86/x64/user.cc ===> src/glue/v4-x86/x64/syscalls.cc ===> src/generic/acpi.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> kdb/arch/x86/x64/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x64/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/platform/generic/intctrl-apic.cc: In member function `void intctrl_t::init_arch()': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/platform/generic/intctrl-apic.cc:233: warning: cast to pointer from integer of different size /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/generic/acpi.h: In member function `void acpi__sdt_t::list(void*) [with T = u32_t]': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/platform/generic/intctrl-apic.cc:204: instantiated from here /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/generic/acpi.h:272: warning: cast to pointer from integer of different size ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/glue/v4-x86/prepost.cc: In member function `bool kdb_t::pre()': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/glue/v4-x86/prepost.cc:288: warning: cast to pointer from integer of different size ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> Linking x86-kernel Done. configure: WARNING: If you wanted to set the --build type, don't use --host. If a cross compiler is detected then cross compile mode will be used. checking for amd64-gcc... no checking for x86_64-elf-gcc... no checking for x86_64-unknown-elf-gcc... no checking for x86_64-linux-gcc... no checking for x86_64-unknown-linux-gcc... no checking for x86_64-unknown-linux-gnu-gcc... x86_64-unknown-linux-gnu-gcc checking for amd64-pc99-gcc... x86_64-unknown-linux-gnu-gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... yes checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether x86_64-unknown-linux-gnu-gcc accepts -g... yes checking for x86_64-unknown-linux-gnu-gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking whether make sets $(MAKE)... yes checking whether ln -s works... yes checking for gawk... gawk checking location of libgcc.a... /home/cross/gcc-3.4.6/gcc-3.4.6-glibc-2.3.6/x86_64-unknown-linux-gnu/lib/gcc/x86_64-unknown-linux-gnu/3.4.6 checking location of stdarg.h... /home/cross/gcc-3.4.6/gcc-3.4.6-glibc-2.3.6/x86_64-unknown-linux-gnu/lib/gcc/x86_64-unknown-linux-gnu/3.4.6/include checking kernel build directory... /tmp/l4kaorg-autobuild-l4kaorg/x86-x64-p4-smp/build/kernel configure: creating ./config.status config.status: creating config.mk config.status: creating Makefile config.status: creating lib/Makefile config.status: creating lib/l4/Makefile config.status: creating lib/io/Makefile config.status: creating serv/Makefile config.status: creating serv/sigma0/Makefile config.status: creating apps/Makefile config.status: creating apps/bench/Makefile config.status: creating apps/bench/pingpong/Makefile config.status: creating apps/grabmem/Makefile config.status: creating apps/l4test/Makefile config.status: creating util/Makefile config.status: creating util/kickstart/Makefile config.status: creating util/grubdisk/Makefile config.status: creating util/piggybacker/Makefile config.status: creating util/piggybacker/ofppc/Makefile config.status: creating util/piggybacker/ofppc64/Makefile config.status: creating contrib/Makefile config.status: creating contrib/elf-loader/Makefile config.status: creating config.h ===> Making dependencies in lib/l4 ===> lib/l4/amd64-syscalls.c ===> Linking lib/l4/libl4.a ===> Making dependencies in lib/io ===> lib/io/get_hex.cc ===> lib/io/print.cc ===> lib/io/amd64-getc.cc ===> lib/io/amd64-putc.cc ===> Linking lib/io/libio.a ===> Making dependencies in serv/sigma0 ===> serv/sigma0/crt0-amd64.S ===> serv/sigma0/sigma0_io.cc ===> serv/sigma0/sigma0.cc ===> serv/sigma0/sigma0_mem.cc ===> serv/sigma0/region.cc ===> Linking serv/sigma0/sigma0 ===> Making dependencies in apps/bench/pingpong ===> apps/bench/pingpong/crt0-amd64.S ===> apps/bench/pingpong/pingpong.cc ===> Linking apps/bench/pingpong/pingpong ===> Making dependencies in apps/grabmem ===> apps/grabmem/crt0-amd64.S ===> apps/grabmem/grabmem.cc ===> Linking apps/grabmem/grabmem ===> Making dependencies in apps/l4test ===> apps/l4test/amd64/crt0.S ===> apps/l4test/main.cc ===> apps/l4test/assert.cc ===> apps/l4test/menu.cc ===> apps/l4test/threads.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc: In function `L4_ThreadId_t create_thread(bool, int, L4_Word_t)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:93: warning: int format, different type arg (arg 3) /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:99: warning: int format, different type arg (arg 3) /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:104: warning: int format, different type arg (arg 3) /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:111: warning: int format, different type arg (arg 3) ===> apps/l4test/string.cc ===> apps/l4test/ipc.cc ===> apps/l4test/ipc-string.cc ===> apps/l4test/ipc-pf.cc ===> apps/l4test/ipc-smp.cc ===> apps/l4test/kip.cc ===> apps/l4test/mem.cc ===> apps/l4test/sig0.cc ===> apps/l4test/exreg.cc ===> apps/l4test/tcontrol.cc ===> apps/l4test/schedule.cc ===> apps/l4test/amd64/help.cc ===> apps/l4test/amd64/tests.cc ===> Linking apps/l4test/l4test ===> Making dependencies in util/kickstart cat: .revision: No such file or directory ===> Making util/kickstart/.revision ===> get_hex32.cc ===> print32.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/io/lib.h:45: warning: 'void strcpy(char*, const char*)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/io/lib.h:68: warning: 'int strcmp(const char*, const char*)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/io/lib.h:94: warning: 'char* strstr(const char*, const char*)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/io/lib.h:113: warning: 'char* strchr(const char*, int)' defined but not used ===> amd64-getc32.cc ===> amd64-putc32.cc ===> Linking util/kickstart/libio32.a /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/util/kickstart/bootinfo.cc: In function `BI64::L4_BootRec_t* BI64::record_bootinfo_modules(BI64::L4_BootInfo_t*, BI64::L4_BootRec_t*, mbi_t*, mbi_module_t*, unsigned int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/util/kickstart/bootinfo.cc:140: warning: cast from pointer to integer of different size /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/util/kickstart/bootinfo.cc:140: warning: cast to pointer from integer of different size /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/util/kickstart/bootinfo.cc: In function `BI64::L4_BootRec_t* BI64::record_bootinfo_mbi(BI64::L4_BootInfo_t*, BI64::L4_BootRec_t*, mbi_t*)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/util/kickstart/bootinfo.cc:170: warning: cast from pointer to integer of different size ===> util/kickstart/crt0-amd64.S ===> util/kickstart/kickstart.cc ===> util/kickstart/kipmgr.cc ===> util/kickstart/elf.cc ===> util/kickstart/lib.cc ===> util/kickstart/bootinfo.cc ===> util/kickstart/amd64.cc ===> util/kickstart/mbi.cc ===> util/kickstart/mbi-amd64.cc ===> util/kickstart/mbi-loader.cc ===> Linking util/kickstart/kickstart KickStart 0.12.56 Detected multiboot compliant loader kernel (0x0010a000-0x00162238) => 0x00b1d000 (0x0010a1a0-0x00134700) -> 0x00400000-0x0042a560 (0x00134700-0x00135003) -> 0x00600000-0x00600903 (0x00136000-0x0013b1b6) -> 0x00800000-0x008051b6 (0x0013c000-0x00158470) -> 0x00a00000-0x00a1c470 (0x00159000-0x00161e80) -> 0x00b1d000-0x00b25e80 sigma0 (0x00163000-0x001679f0) => 0x00f00000 (0x001630c0-0x00168e78) -> 0x00f00000-0x00f05db8 roottask (0x00168000-0x0017b9b0) => 0x01000000 (0x00168100-0x0017dc90) -> 0x01000000-0x01015b90 Launching kernel ... L4Ka::Pistachio - built on Jul 16 2010 05:33:57 by l4kaorg@i30s6 using gcc version 3.4.6 L4/Pistachio test suite ready to go. Kernel Interface Page ===================== Register returned values ------------------------ KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 64-bit API width Address of KIP is 0x00000000bff00000 KIP alignment is OK KIP memory values ----------------- L4tag is: L4æK L4tag is valid APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 64-bit API width Threads: IRQs=24, sys=32, valid TID bits=18 KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa Kernel generation date: 16/7/2010 Kernel Version: 0.4.0 Supplier string: "UKa " Version string: "L4Ka::Pistachio - built on Jul 16 2010 05:33:57 by l4kaorg@i30s6 using gcc version 3.4.6" Processors: 2 CPU0: int freq=2513635kHz, ext freq=1149125kHz CPU1: int freq=2194105kHz, ext freq=1003050kHz Checking KIP, depth 0 Checking KIP, depth 1 Checking KIP, depth 2 Checking KIP, depth 3 Checking KIP, depth 4 Checking KIP, depth 5 Checking KIP, depth 6 Checking KIP, depth 7 Checking KIP, depth 8 Checking KIP, depth 9 test: Welcome to memtest! Page touch: OK Simple IPC test (inter-as, only untyped words) From parameter (global): OK Send Message transfer: OK ReplyWait Message transfer: OK Send timeout: OK Receive timeout: OK Local destination Id: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK From parameter (local): OK Intra address space string copy IPC test (no pagefaults) Simple string transfer: OK Simple substring transfer: OK Compound substring transfer: OK Multiple complex strings transfer: OK Scatter: OK Gather: OK Complex Scatter/Gather: OK Too long receive buffer: OK No receive buffer: OK Missing receive buffer: OK Too short receive buffer: OK Complex cut message: OK Inter addres space string copy IPC test (with pagefaults) Simple string transfer (no page faults): OK Single sender pagefault: OK Single receiver pagefault: OK Multiple sender and receiver pagefaults: OK Xfer timeouts (no timeout): OK Zero xfer timeouts: OK Sender xfer timeout: OK Receiver xfer timeout: OK Sender abort: OK Receiver abort: OK Simple SMP IPC test (only untyped words) .



FAIL

x86-x64-p4-statictcbs3.4.6 PASS / PASS
x86-x32-4864.0.4 PASS / PASS
x86-x32-k84.0.4 PASS / PASS
x86-x32-p14.0.4 PASS / PASS
x86-x32-p34.0.4 PASS / PASS
x86-x32-p4-fp4.0.4 PASS / PASS
x86-x32-p4-fullkdb4.0.4 PASS / PASS
x86-x32-p4-hsched-pic4.0.4 PASS / PASS
x86-x32-p4-hsched-smp4.0.4 PASS / PASS
x86-x32-p4-hvm4.0.4 PASS / PASS
x86-x32-p4-hvm-smp4.0.4 PASS / PASS
x86-x32-p4-iofp4.0.4 PASS / PASS
x86-x32-p44.0.4 PASS / PASS
x86-x32-p4-logging4.0.4 PASS / PASS
x86-x32-p4-logging-smp4.0.4 PASS
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.0.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.0.4 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:111: warning: 'void putc_screen(char)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:265: warning: 'char getc_screen(bool)' defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/glue/v4-x86/tracebuffer.cc: In member function 'void tbuf_handler_t::dump_tbuf(word_t, word_t, word_t, bool)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/glue/v4-x86/tracebuffer.cc:530: warning: 'c' may be used uninitialized in this function ===> Linking x86-kernel Done. checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking whether make sets $(MAKE)... yes checking whether ln -s works... yes checking for gawk... gawk checking location of libgcc.a... /tools/GNU/gcc-4.0.4/lib/gcc/i686-pc-linux-gnu/4.0.4 checking location of stdarg.h... /tools/GNU/gcc-4.0.4/lib/gcc/i686-pc-linux-gnu/4.0.4/include checking kernel build directory... /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel configure: creating ./config.status config.status: creating config.mk config.status: creating Makefile config.status: creating lib/Makefile config.status: creating lib/l4/Makefile config.status: creating lib/io/Makefile config.status: creating serv/Makefile config.status: creating serv/sigma0/Makefile config.status: creating apps/Makefile config.status: creating apps/bench/Makefile config.status: creating apps/bench/pingpong/Makefile config.status: creating apps/grabmem/Makefile config.status: creating apps/l4test/Makefile config.status: creating util/Makefile config.status: creating util/kickstart/Makefile config.status: creating util/grubdisk/Makefile config.status: creating util/piggybacker/Makefile config.status: creating util/piggybacker/ofppc/Makefile config.status: creating util/piggybacker/ofppc64/Makefile config.status: creating contrib/Makefile config.status: creating contrib/elf-loader/Makefile config.status: creating config.h ===> Making dependencies in lib/l4 ===> lib/l4/ia32-syscall-init.cc ===> lib/l4/ia32-syscall-stubs.S /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/l4/ia32-syscall-stubs.S: Assembler messages: /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/l4/ia32-syscall-stubs.S:52: Warning: setting incorrect section attributes for .data.syscalls /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/lib/l4/ia32-syscall-stubs.S:58: Warning: setting incorrect section attributes for .data.syscalls_copy ===> Linking lib/l4/libl4.a ===> Making dependencies in lib/io ===> lib/io/get_hex.cc ===> lib/io/print.cc ===> lib/io/ia32-getc.cc ===> lib/io/ia32-putc.cc ===> Linking lib/io/libio.a ===> Making dependencies in serv/sigma0 ===> serv/sigma0/crt0-ia32.S ===> serv/sigma0/sigma0_io.cc ===> serv/sigma0/sigma0.cc ===> serv/sigma0/sigma0_mem.cc ===> serv/sigma0/region.cc ===> Linking serv/sigma0/sigma0 ===> Making dependencies in apps/bench/pingpong ===> apps/bench/pingpong/crt0-ia32.S ===> apps/bench/pingpong/pingpong.cc ===> Linking apps/bench/pingpong/pingpong ===> Making dependencies in apps/grabmem ===> apps/grabmem/crt0-ia32.S ===> apps/grabmem/grabmem.cc ===> Linking apps/grabmem/grabmem ===> Making dependencies in apps/l4test ===> apps/l4test/ia32/crt0.S ===> apps/l4test/main.cc ===> apps/l4test/assert.cc ===> apps/l4test/menu.cc ===> apps/l4test/threads.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc: In function 'L4_ThreadId_t create_thread(bool, int, L4_Word_t)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:93: warning: format '%d' expects type 'int', but argument 3 has type 'L4_Word_t' /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:99: warning: format '%d' expects type 'int', but argument 3 has type 'L4_Word_t' /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:104: warning: format '%d' expects type 'int', but argument 3 has type 'L4_Word_t' /home/l4kaorg/build-arena/pistachio/i30s6/hg/user/apps/l4test/threads.cc:111: warning: format '%d' expects type 'int', but argument 3 has type 'L4_Word_t' ===> apps/l4test/string.cc ===> apps/l4test/ipc.cc ===> apps/l4test/ipc-string.cc ===> apps/l4test/ipc-pf.cc ===> apps/l4test/ipc-smp.cc ===> apps/l4test/kip.cc ===> apps/l4test/mem.cc ===> apps/l4test/sig0.cc ===> apps/l4test/exreg.cc ===> apps/l4test/tcontrol.cc ===> apps/l4test/schedule.cc ===> apps/l4test/ia32/help.cc ===> apps/l4test/ia32/tests.cc ===> Linking apps/l4test/l4test ===> Making dependencies in util/kickstart cat: .revision: No such file or directory ===> Making util/kickstart/.revision ===> util/kickstart/crt0-ia32.S ===> util/kickstart/kickstart.cc ===> util/kickstart/kipmgr.cc ===> util/kickstart/elf.cc ===> util/kickstart/lib.cc ===> util/kickstart/bootinfo.cc ===> util/kickstart/ia32.cc ===> util/kickstart/mbi.cc ===> util/kickstart/mbi-ia32.cc ===> util/kickstart/mbi-loader.cc ===> Linking util/kickstart/kickstart KickStart 0.13.06 Detected multiboot compliant loader kernel (0x00809000-0x00a21bb0) => 0x00338530 (0x00809000-0x00837167) -> 0x00100000-0x0012e167 (0x00838000-0x0084c2a6) -> 0x00130000-0x001442a6 (0x0084d000-0x00a1c294) -> 0x00145000-0x00314294 (0x00a1d000-0x00a2141c) -> 0x00335000-0x0033941c sigma0 (0x00a22000-0x00a2922c) => 0x00020000 (0x00a23000-0x00a2b410) -> 0x00020000-0x00028410 roottask (0x00a2a000-0x00a3e2e8) => 0x00400000 (0x00a2b000-0x00a42630) -> 0x00400000-0x00417630 Launching kernel ... L4Ka::Pistachio - built on Jul 16 2010 06:00:59 by l4kaorg@i30s6 using gcc version 4.0.4 Checking CPU features virtual memory layout: user area 0 - c0000000 copy area c4000000 - c4800000 ktcb area e0000000 - f0000000 kernel area df000000 - ff000000 cpulocal data f0146000 - f030008c apic area df002000 - df007000 utcb pgarea df000000 space link c5000000 Initializing kernel memory (f0315000-f0335000) [128K] Initializing kernel space Switching to CPU local pagetable 00316000 (CPU 0) CPU local pagetable activated 316000 (CPU 0) Initializing TCBs Activating TSS (Preliminary) Initializing GDT (Preliminary) Activating IDT (Preliminary) Initializing kernel interface page (f0145000) Adding more kernel memory found 16M kmem (e000000-effffff) -> (fe000000-feffffff) reserve ec00000 - effffff (sz 4194304) for log area Log mapping user @ ec00000, selector page 255 mapping @ ecff000 Initializing memory info Initializing mapping database Initializing Tracebuffer (4M) Initializing kernel debugger Initializing IRQ hardware Parsing ACPI tables RSDP is at c48fdaa0 RSDT is at 1fffd750 XSDT is at 00000000 FACP is at 1ffff780 SSDT is at 1fffd8c0 APIC is at 1fffd7d0 HPET is at 1fffd790 FADT is at 1ffff780 (remap c4bff780), pmtimer IO port b008 MADT is at 1fffd7d0 (remap c4bfd7d0), local APICs @ fee00000 Mapping local APICs at fee00000 to df002000 local APIC: apic_id=0 use=ok proc_id=0 local APIC: apic_id=1 use=ok proc_id=1 Found 2 active CPUs, boot CPU is 0 Initializing IOAPICs IOAPIC: id=2 irq_base=0 addr=fec00000 realid=0 maxint=24, version=17 IRQ source override: srcbus=0, srcirq=0, dest=2, conform pol., trigger=conform IRQ source override: srcbus=0, srcirq=5, dest=5, active high, trigger=level IRQ source override: srcbus=0, srcirq=9, dest=9, active high, trigger=level IRQ source override: srcbus=0, srcirq=10, dest=10, active high, trigger=level IRQ source override: srcbus=0, srcirq=11, dest=11, active high, trigger=level 24 IRQ input lines, max IRQ ID is 23 IRQ 0: APIC 2, line 0, edge, high active IRQ 1: APIC 2, line 1, edge, high active IRQ 2: APIC 2, line 2, edge, low active IRQ 3: APIC 2, line 3, edge, high active IRQ 4: APIC 2, line 4, edge, high active IRQ 5: APIC 2, line 5, level, high active IRQ 6: APIC 2, line 6, edge, high active IRQ 7: APIC 2, line 7, edge, high active IRQ 8: APIC 2, line 8, edge, high active IRQ 9: APIC 2, line 9, level, high active IRQ 10: APIC 2, line 10, level, high active IRQ 11: APIC 2, line 11, level, high active IRQ 12: APIC 2, line 12, edge, high active IRQ 13: APIC 2, line 13, edge, high active IRQ 14: APIC 2, line 14, edge, high active IRQ 15: APIC 2, line 15, edge, high active IRQ 16: APIC 2, line 16, level, low active IRQ 17: APIC 2, line 17, level, low active IRQ 18: APIC 2, line 18, level, low active IRQ 19: APIC 2, line 19, level, low active IRQ 20: APIC 2, line 20, level, low active IRQ 21: APIC 2, line 21, level, low active IRQ 22: APIC 2, line 22, level, low active IRQ 23: APIC 2, line 23, level, low active Initializing Timer global timer: trap gate 64 Starting 2 application processors (00338000->00004000) Sending startup IPI to CPU#1 APIC 1 local APIC id=0, version=17 local APIC error trap gate 67 Activating TSS (CPU 0)se Initializing GDT (CPU 0) Activating IDT (CPU 0) Enabling global pages (CPU 0) Activating MSRS (CPU 0) Initializing Timer (CPU 0) Calculating processor speed (CPU 0)... AP processor is alive AP switched to kernel ptab local APIC id=1, version=17 local APIC error trap gate 67 Activating TSS (CPU 1)se Initializing GDT (CPU 1) Activating IDT (CPU 1) Enabling global pages (CPU 1) Activating MSRS (CPU 1) Initializing Timer (CPU 1) Calculating processor speed (CPU 1)... speed: 2321 MHz, bus speed: 1061 MHz (CPU 0) Initializing Processor (CPU 0) Registering processor 0 in KIP (1000MHz, 2187MHz) speed: 2187 MHz, bus speed: 1000 MHz (CPU 1) Initializing Processor (CPU 1) Registering processor 1 in KIP (1000MHz, 2187MHz) Initialize cpu local mappings (CPU 1) Initializing EVT logging (CPU 0) Remapping CPU local memory f0146000 - f030008c (CPU 1) remapped log pages f0200000 -> 0ec00000 (CPU 0) log mapping kernel f0200000 Switching to CPU local pagetable 00322000 (CPU 1) CPU local pagetable activated 322000 (CPU 1) Initializing EVT logging (CPU 1) remapped log pages f0200000 -> 0ed00000 (CPU 1) log mapping kernel f0200000 Initializing threading (CPU 1) Switching to idle thread (CPU 1) Initializing threading (CPU 0) Switching to idle thread (CPU 0) System has 24 hardware interrupts Idle thread started on CPU 1 Initializing root servers root-servers: utcb_area: bf000110 (128KB), kip_area: bff000c0 (4KB) Creating sigma0 (SIGMA0) Creating root server (ROOTTASK) Idle thread started on CPU 0 L4/Pistachio test suite ready to go. Kernel Interface Page ===================== Register returned values ------------------------ KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Address of KIP is 0xbff00000 KIP alignment is OK KIP memory values ----------------- L4tag is: L4æK L4tag is valid APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Threads: IRQs=24, sys=32, valid TID bits=17 KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa Kernel generation date: 16/7/2010 Kernel Version: 0.4.0 Supplier string: "UKa " Version string: "L4Ka::Pistachio - built on Jul 16 2010 06:00:59 by l4kaorg@i30s6 using gcc version 4.0.4" Processors: 2 CPU0: int freq=2187606kHz, ext freq=1000098kHz CPU1: int freq=2187606kHz, ext freq=1000098kHz Checking KIP, depth 0 Checking KIP, depth 1 Checking KIP, depth 2 Checking KIP, depth 3 Checking KIP, depth 4 Checking KIP, depth 5 Checking KIP, depth 6 Checking KIP, depth 7 Checking KIP, depth 8 Checking KIP, depth 9 IA32 exception IPC handling: OK [CtrlXfer features not compiled in]test: Welcome to memtest! Page touch: OK Simple IPC test (inter-as, only untyped words) From parameter (global): OK Send Message transfer: OK ReplyWait Message transfer: OK Send timeout: OK Receive timeout: OK Local destination Id: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK From parameter (local): OK Intra address space string copy IPC test (no pagefaults) Simple string transfer: OK Simple substring transfer: OK Compound substring transfer: OK Multiple complex strings transfer: OK Scatter: OK Gather: OK Complex Scatter/Gather: OK Too long receive buffer: OK No receive buffer: OK Missing receive buffer: OK Too short receive buffer: OK Complex cut message: OK Inter addres space string copy IPC test (with pagefaults) Simple string transfer (no page faults): OK Single sender pagefault: OK Single receiver pagefault: OK Multiple sender and receiver pagefaults: OK Xfer timeouts (no timeout): OK Zero xfer timeouts: OK Sender xfer timeout: OK Receiver xfer timeout: OK Sender abort: OK Receiver abort: OK Simple SMP IPC test (only untyped words) Message transfer: OK Send timeout: OK Receive timeout: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK Inter address space string copy SMP IPC test (with pagefaults) .



FAIL

x86-x32-p4-newmdb4.0.4 PASS / PASS
x86-x32-p4-nokdb4.0.4 PASS / PASS
x86-x32-p4-smallspaces4.0.4 PASS / PASS
x86-x32-p4-smp4.0.4 PASS / PASS
x86-x32-p4-statictcbs4.0.4 PASS / PASS
x86-x64-k84.0.4 PASS / PASS
x86-x64-p34.0.4 PASS / PASS
x86-x64-p4-cm4.0.4 PASS / PASS
x86-x64-p4-fp4.0.4 PASS / PASS
x86-x64-p4-fullkdb4.0.4 PASS / PASS
x86-x64-p4-iofp4.0.4 PASS / PASS
x86-x64-p44.0.4 PASS / PASS
x86-x64-p4-newmdb4.0.4 PASS / PASS
x86-x64-p4-nokdb4.0.4 PASS / PASS
x86-x64-p4-smp4.0.4 PASS / PASS
x86-x64-p4-statictcbs4.0.4 PASS / PASS
x86-x32-4864.1.2 PASS / PASS
x86-x32-k84.1.2 PASS / PASS
x86-x32-p14.1.2 PASS / PASS
x86-x32-p34.1.2 PASS / PASS
x86-x32-p4-fp4.1.2 PASS / PASS
x86-x32-p4-fullkdb4.1.2 PASS / PASS
x86-x32-p4-hsched-pic4.1.2 PASS / PASS
x86-x32-p4-hsched-smp4.1.2 PASS / PASS
x86-x32-p4-hvm4.1.2 PASS / PASS
x86-x32-p4-hvm-smp4.1.2 PASS / PASS
x86-x32-p4-iofp4.1.2 PASS / PASS
x86-x32-p44.1.2 PASS / PASS
x86-x32-p4-logging4.1.2 PASS / PASS
x86-x32-p4-logging-smp4.1.2 PASS / PASS
x86-x32-p4-newmdb4.1.2 PASS / PASS
x86-x32-p4-nokdb4.1.2 PASS / PASS
x86-x32-p4-smallspaces4.1.2 PASS / PASS
x86-x32-p4-smp4.1.2 PASS / PASS
x86-x32-p4-statictcbs4.1.2 PASS / PASS
x86-x64-k84.1.2 PASS / PASS
x86-x64-p34.1.2 PASS / PASS
x86-x64-p4-cm4.1.2 PASS / PASS
x86-x64-p4-fp4.1.2 PASS / PASS
x86-x64-p4-fullkdb4.1.2 PASS / PASS
x86-x64-p4-iofp4.1.2 PASS / PASS
x86-x64-p44.1.2 PASS / PASS
x86-x64-p4-newmdb4.1.2 PASS / PASS
x86-x64-p4-nokdb4.1.2 PASS / PASS
x86-x64-p4-smp4.1.2 PASS / PASS
x86-x64-p4-statictcbs4.1.2 PASS / PASS
x86-x32-4864.2.4 PASS / PASS
x86-x32-k84.2.4 PASS / PASS
x86-x32-p14.2.4 PASS / PASS
x86-x32-p34.2.4 PASS / PASS
x86-x32-p4-fp4.2.4 PASS / PASS
x86-x32-p4-fullkdb4.2.4 PASS / PASS
x86-x32-p4-hsched-pic4.2.4 PASS / PASS
x86-x32-p4-hsched-smp4.2.4 PASS / PASS
x86-x32-p4-hvm4.2.4 PASS / PASS
x86-x32-p4-hvm-smp4.2.4 PASS / PASS
x86-x32-p4-iofp4.2.4 PASS / PASS
x86-x32-p44.2.4 PASS / PASS
x86-x32-p4-logging4.2.4 PASS / PASS
x86-x32-p4-logging-smp4.2.4 PASS / PASS
x86-x32-p4-newmdb4.2.4 PASS / PASS
x86-x32-p4-nokdb4.2.4 PASS / PASS
x86-x32-p4-smallspaces4.2.4 PASS / PASS
x86-x32-p4-smp4.2.4 PASS / PASS
x86-x32-p4-statictcbs4.2.4 PASS / PASS
x86-x64-k84.2.4 PASS / PASS
x86-x64-p34.2.4 PASS / PASS
x86-x64-p4-cm4.2.4 PASS / PASS
x86-x64-p4-fp4.2.4 PASS / PASS
x86-x64-p4-fullkdb4.2.4 PASS / PASS
x86-x64-p4-iofp4.2.4 PASS / PASS
x86-x64-p44.2.4 PASS / PASS
x86-x64-p4-newmdb4.2.4 PASS / PASS
x86-x64-p4-nokdb4.2.4 PASS / PASS
x86-x64-p4-smp4.2.4 PASS / PASS
x86-x64-p4-statictcbs4.2.4 PASS / PASS
x86-x32-4864.3.4 PASS / PASS
x86-x32-k84.3.4 PASS / PASS
x86-x32-p14.3.4 PASS / PASS
x86-x32-p34.3.4 PASS / PASS
x86-x32-p4-fp4.3.4 PASS / PASS
x86-x32-p4-fullkdb4.3.4 PASS / PASS
x86-x32-p4-hsched-pic4.3.4 PASS / PASS
x86-x32-p4-hsched-smp4.3.4 PASS / PASS
x86-x32-p4-hvm4.3.4 PASS / PASS
x86-x32-p4-hvm-smp4.3.4 PASS / PASS
x86-x32-p4-iofp4.3.4 PASS / PASS
x86-x32-p44.3.4 PASS / PASS
x86-x32-p4-logging4.3.4
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.4 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-pic.cc ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h: In function 'void copy_mr(tcb_t*, tcb_t*, int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:111: warning: 'void putc_screen(char)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:265: warning: 'char getc_screen(bool)' defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-logging-smp4.3.4
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.4 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h: In function 'void copy_mr(tcb_t*, tcb_t*, int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:111: warning: 'void putc_screen(char)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:265: warning: 'char getc_screen(bool)' defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-newmdb4.3.4 PASS / PASS
x86-x32-p4-nokdb4.3.4 PASS / PASS
x86-x32-p4-smallspaces4.3.4 PASS / PASS
x86-x32-p4-smp4.3.4
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-smp/build/kernel ... done. TERM is not set. "config.out", line 84: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.4 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h: In function 'void copy_mr(tcb_t*, tcb_t*, int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> Linking x86-kernel `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjjjjjjj' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjjjjjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjjjjjjj]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj' referenced in section `.spinlock' of src/api/v4/interrupt.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj]' of src/api/v4/interrupt.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj' referenced in section `.spinlock' of src/api/v4/space.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj]' of src/api/v4/space.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-statictcbs4.3.4 PASS / PASS
x86-x64-k84.3.4 PASS / PASS
x86-x64-p34.3.4 PASS / PASS
x86-x64-p4-cm4.3.4 PASS / PASS
x86-x64-p4-fp4.3.4 PASS / PASS
x86-x64-p4-fullkdb4.3.4 PASS / PASS
x86-x64-p4-iofp4.3.4 PASS / PASS
x86-x64-p44.3.4 PASS / PASS
x86-x64-p4-newmdb4.3.4 PASS / PASS
x86-x64-p4-nokdb4.3.4 PASS / PASS
x86-x64-p4-smp4.3.4
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x64-p4-smp/build/kernel ... done. TERM is not set. "config.out", line 85: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.4 ===> Building dependencies ===> src/arch/x86/x64/init32.cc ===> src/arch/x86/x64/cpu.cc ===> src/glue/v4-x86/x64/space.cc ===> src/glue/v4-x86/x64/exception.cc ===> src/glue/v4-x86/x64/init.cc ===> src/glue/v4-x86/x64/trampoline.S ===> src/glue/v4-x86/x64/trap.S ===> src/glue/v4-x86/x64/user.cc ===> src/glue/v4-x86/x64/syscalls.cc ===> src/generic/acpi.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> kdb/arch/x86/x64/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x64/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h: In function 'void copy_mr(tcb_t*, tcb_t*, int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> Linking x86-kernel `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmmmmmmm' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmmmmmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmmmmmmm]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm' referenced in section `.spinlock' of src/api/v4/space.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm]' of src/api/v4/space.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm' referenced in section `.spinlock' of src/api/v4/interrupt.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm]' of src/api/v4/interrupt.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x64-p4-statictcbs4.3.4 PASS / PASS
x86-x32-4864.4.4 PASS / PASS
x86-x32-k84.4.4 PASS / PASS
x86-x32-p14.4.4 PASS / PASS
x86-x32-p34.4.4 PASS / PASS
x86-x32-p4-fp4.4.4 PASS / PASS
x86-x32-p4-fullkdb4.4.4 PASS / PASS
x86-x32-p4-hsched-pic4.4.4 PASS / PASS
x86-x32-p4-hsched-smp4.4.4 PASS / PASS
x86-x32-p4-hvm4.4.4 PASS / PASS
x86-x32-p4-hvm-smp4.4.4 PASS / PASS
x86-x32-p4-iofp4.4.4 PASS / PASS
x86-x32-p44.4.4 PASS / PASS
x86-x32-p4-logging4.4.4 PASS / PASS
x86-x32-p4-logging-smp4.4.4
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.4.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.4.4 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h: In function 'void copy_mr(tcb_t*, tcb_t*, int)': /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:111: warning: 'void putc_screen(char)' defined but not used /home/l4kaorg/build-arena/pistachio/i30s6/hg/kernel/kdb/platform/pc99/io.cc:265: warning: 'char getc_screen(bool)' defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-newmdb4.4.4 PASS / PASS
x86-x32-p4-nokdb4.4.4 PASS / PASS
x86-x32-p4-smallspaces4.4.4 PASS / PASS
x86-x32-p4-smp4.4.4 PASS / PASS
x86-x32-p4-statictcbs4.4.4 PASS / PASS
x86-x64-k84.4.4 PASS / PASS
x86-x64-p34.4.4 PASS / PASS
x86-x64-p4-cm4.4.4 PASS / PASS
x86-x64-p4-fp4.4.4 PASS / PASS
x86-x64-p4-fullkdb4.4.4 PASS / PASS
x86-x64-p4-iofp4.4.4 PASS / PASS
x86-x64-p44.4.4 PASS / PASS
x86-x64-p4-newmdb4.4.4 PASS / PASS
x86-x64-p4-nokdb4.4.4 PASS / PASS
x86-x64-p4-smp4.4.4 PASS / PASS
x86-x64-p4-statictcbs4.4.4 PASS / PASS
System: Debian/testing
Build date: Fri, Jul16'10, 06:41
changeset: 782:57124b75c67c
x86-x32-4863.3.6 PASS / PASS
x86-x32-k83.3.6 PASS / PASS
x86-x32-p13.3.6 PASS / PASS
x86-x32-p33.3.6 PASS / PASS
x86-x32-p4-fp3.3.6 PASS / PASS
x86-x32-p4-fullkdb3.3.6 PASS / PASS
x86-x32-p4-hsched-pic3.3.6 PASS / PASS
x86-x32-p4-hsched-smp3.3.6 PASS / PASS
x86-x32-p4-hvm3.3.6 PASS / PASS
x86-x32-p4-hvm-smp3.3.6 PASS / PASS
x86-x32-p4-iofp3.3.6 PASS / PASS
x86-x32-p43.3.6 PASS / PASS
x86-x32-p4-logging3.3.6 PASS / PASS
x86-x32-p4-logging-smp3.3.6 PASS / PASS
x86-x32-p4-newmdb3.3.6 PASS / PASS
x86-x32-p4-nokdb3.3.6 PASS / PASS
x86-x32-p4-smallspaces3.3.6 PASS / PASS
x86-x32-p4-smp3.3.6 PASS / PASS
x86-x32-p4-statictcbs3.3.6 PASS / PASS
x86-x32-4864.2.4 PASS / PASS
x86-x32-k84.2.4 PASS / PASS
x86-x32-p14.2.4 PASS / PASS
x86-x32-p34.2.4 PASS / PASS
x86-x32-p4-fp4.2.4 PASS / PASS
x86-x32-p4-fullkdb4.2.4 PASS / PASS
x86-x32-p4-hsched-pic4.2.4 PASS / PASS
x86-x32-p4-hsched-smp4.2.4 PASS / PASS
x86-x32-p4-hvm4.2.4 PASS / PASS
x86-x32-p4-hvm-smp4.2.4 PASS / PASS
x86-x32-p4-iofp4.2.4 PASS / PASS
x86-x32-p44.2.4 PASS / PASS
x86-x32-p4-logging4.2.4 PASS / PASS
x86-x32-p4-logging-smp4.2.4 PASS / PASS
x86-x32-p4-newmdb4.2.4 PASS / PASS
x86-x32-p4-nokdb4.2.4 PASS / PASS
x86-x32-p4-smallspaces4.2.4 PASS / PASS
x86-x32-p4-smp4.2.4 PASS / PASS
x86-x32-p4-statictcbs4.2.4 PASS / PASS
x86-x64-k84.2.4 PASS / PASS
x86-x64-p34.2.4 PASS / PASS
x86-x64-p4-cm4.2.4 PASS / PASS
x86-x64-p4-fp4.2.4 PASS / PASS
x86-x64-p4-fullkdb4.2.4 PASS / PASS
x86-x64-p4-iofp4.2.4 PASS / PASS
x86-x64-p44.2.4 PASS / PASS
x86-x64-p4-newmdb4.2.4 PASS / PASS
x86-x64-p4-nokdb4.2.4 PASS / PASS
x86-x64-p4-smp4.2.4 PASS / PASS
x86-x64-p4-statictcbs4.2.4 PASS / PASS
x86-x32-4864.3.5 PASS / PASS
x86-x32-k84.3.5 PASS / PASS
x86-x32-p14.3.5 PASS / PASS
x86-x32-p34.3.5 PASS / PASS
x86-x32-p4-fp4.3.5 PASS / PASS
x86-x32-p4-fullkdb4.3.5 PASS / PASS
x86-x32-p4-hsched-pic4.3.5 PASS / PASS
x86-x32-p4-hsched-smp4.3.5 PASS
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-hsched-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.5 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.5 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-hs/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:111: warning: ‘void putc_screen(char)’ defined but not used /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:265: warning: ‘char getc_screen(bool)’ defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-hs.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel Done. checking for gcc... gcc-4.3 checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc-4.3 accepts -g... yes checking for gcc-4.3 option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking whether make sets $(MAKE)... yes checking whether ln -s works... yes checking for gawk... gawk checking location of libgcc.a... /usr/lib/gcc/i486-linux-gnu/4.3.5 checking location of stdarg.h... /usr/lib/gcc/i486-linux-gnu/4.3.5/include checking kernel build directory... /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-hsched-smp/build/kernel configure: creating ./config.status config.status: creating config.mk config.status: creating Makefile config.status: creating lib/Makefile config.status: creating lib/l4/Makefile config.status: creating lib/io/Makefile config.status: creating serv/Makefile config.status: creating serv/sigma0/Makefile config.status: creating apps/Makefile config.status: creating apps/bench/Makefile config.status: creating apps/bench/pingpong/Makefile config.status: creating apps/grabmem/Makefile config.status: creating apps/l4test/Makefile config.status: creating util/Makefile config.status: creating util/kickstart/Makefile config.status: creating util/grubdisk/Makefile config.status: creating util/piggybacker/Makefile config.status: creating util/piggybacker/ofppc/Makefile config.status: creating util/piggybacker/ofppc64/Makefile config.status: creating contrib/Makefile config.status: creating contrib/elf-loader/Makefile config.status: creating config.h ===> Making dependencies in lib/l4 ===> lib/l4/ia32-syscall-init.cc ===> lib/l4/ia32-syscall-stubs.S /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/lib/l4/ia32-syscall-stubs.S: Assembler messages: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/lib/l4/ia32-syscall-stubs.S:52: Warning: setting incorrect section attributes for .data.syscalls /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/lib/l4/ia32-syscall-stubs.S:58: Warning: setting incorrect section attributes for .data.syscalls_copy ===> Linking lib/l4/libl4.a ===> Making dependencies in lib/io ===> lib/io/get_hex.cc ===> lib/io/print.cc ===> lib/io/ia32-getc.cc ===> lib/io/ia32-putc.cc ===> Linking lib/io/libio.a ===> Making dependencies in serv/sigma0 ===> serv/sigma0/crt0-ia32.S ===> serv/sigma0/sigma0_io.cc ===> serv/sigma0/sigma0.cc ===> serv/sigma0/sigma0_mem.cc ===> serv/sigma0/region.cc ===> Linking serv/sigma0/sigma0 ===> Making dependencies in apps/bench/pingpong ===> apps/bench/pingpong/crt0-ia32.S ===> apps/bench/pingpong/pingpong.cc ===> Linking apps/bench/pingpong/pingpong ===> Making dependencies in apps/grabmem ===> apps/grabmem/crt0-ia32.S ===> apps/grabmem/grabmem.cc ===> Linking apps/grabmem/grabmem ===> Making dependencies in apps/l4test ===> apps/l4test/ia32/crt0.S ===> apps/l4test/main.cc ===> apps/l4test/assert.cc ===> apps/l4test/menu.cc ===> apps/l4test/threads.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc: In function ‘L4_ThreadId_t create_thread(bool, int, L4_Word_t)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:93: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:99: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:104: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:111: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ ===> apps/l4test/string.cc ===> apps/l4test/ipc.cc ===> apps/l4test/ipc-string.cc ===> apps/l4test/ipc-pf.cc ===> apps/l4test/ipc-smp.cc ===> apps/l4test/kip.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/kip.cc:55: warning: ‘typedef’ was ignored in this declaration /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/kip.cc:72: warning: ‘typedef’ was ignored in this declaration ===> apps/l4test/mem.cc ===> apps/l4test/sig0.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/sig0.cc: In function ‘void bad_send()’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/sig0.cc:136: warning: suggest parentheses around comparison in operand of & ===> apps/l4test/exreg.cc ===> apps/l4test/tcontrol.cc ===> apps/l4test/schedule.cc ===> apps/l4test/ia32/help.cc ===> apps/l4test/ia32/tests.cc ===> Linking apps/l4test/l4test ===> Making dependencies in util/kickstart cat: .revision: No such file or directory ===> Making util/kickstart/.revision ===> util/kickstart/crt0-ia32.S ===> util/kickstart/kickstart.cc ===> util/kickstart/kipmgr.cc ===> util/kickstart/elf.cc ===> util/kickstart/lib.cc ===> util/kickstart/bootinfo.cc ===> util/kickstart/ia32.cc ===> util/kickstart/mbi.cc ===> util/kickstart/mbi-ia32.cc ===> util/kickstart/mbi-loader.cc ===> Linking util/kickstart/kickstart KickStart 0.13.06 Detected multiboot compliant loader kernel (0x00809000-0x0087a684) => 0x00191530 (0x00809000-0x00838535) -> 0x00100000-0x0012f535 (0x00839000-0x0084db42) -> 0x00131000-0x00145b42 (0x0084e000-0x008755b0) -> 0x00146000-0x0016d5b0 (0x00876000-0x0087a520) -> 0x0018e000-0x00192520 sigma0 (0x0087b000-0x008821c8) => 0x00020000 (0x0087c000-0x00884410) -> 0x00020000-0x00028410 roottask (0x00883000-0x0089619c) => 0x00400000 (0x00884000-0x0089a524) -> 0x00400000-0x00416524 Launching kernel ... L4Ka::Pistachio - built on Jul 16 2010 05:23:18 by l4kaorg@i30pc37 using gcc version 4.3.5 Checking CPU features virtual memory layout: user area 0 - c0000000 copy area c4000000 - c4800000 ktcb area e0000000 - f0000000 kernel area df000000 - ff000000 cpulocal data f0147000 - f015a12c apic area df002000 - df007000 utcb pgarea df000000 space link c5000000 Initializing kernel memory (f016e000-f018e000) [128K] Initializing kernel space Switching to CPU local pagetable 0016f000 (CPU 0) CPU local pagetable activated 16f000 (CPU 0) Initializing TCBs Activating TSS (Preliminary) Initializing GDT (Preliminary) Activating IDT (Preliminary) Initializing kernel interface page (f0146000) Adding more kernel memory found 16M kmem (e000000-effffff) -> (fe000000-feffffff) Initializing memory info Initializing mapping database Initializing Tracebuffer (4M) Initializing kernel debugger Initializing IRQ hardware Parsing ACPI tables RSDP is at c48fdaa0 RSDT is at 1fffd750 XSDT is at 00000000 FACP is at 1ffff780 SSDT is at 1fffd8c0 APIC is at 1fffd7d0 HPET is at 1fffd790 FADT is at 1ffff780 (remap c4bff780), pmtimer IO port b008 MADT is at 1fffd7d0 (remap c4bfd7d0), local APICs @ fee00000 Mapping local APICs at fee00000 to df002000 local APIC: apic_id=0 use=ok proc_id=0 local APIC: apic_id=1 use=ok proc_id=1 Found 2 active CPUs, boot CPU is 0 Initializing IOAPICs IOAPIC: id=2 irq_base=0 addr=fec00000 realid=0 maxint=24, version=17 IRQ source override: srcbus=0, srcirq=0, dest=2, conform pol., trigger=conform IRQ source override: srcbus=0, srcirq=5, dest=5, active high, trigger=level IRQ source override: srcbus=0, srcirq=9, dest=9, active high, trigger=level IRQ source override: srcbus=0, srcirq=10, dest=10, active high, trigger=level IRQ source override: srcbus=0, srcirq=11, dest=11, active high, trigger=level 24 IRQ input lines, max IRQ ID is 23 IRQ 0: APIC 2, line 0, edge, high active IRQ 1: APIC 2, line 1, edge, high active IRQ 2: APIC 2, line 2, edge, low active IRQ 3: APIC 2, line 3, edge, high active IRQ 4: APIC 2, line 4, edge, high active IRQ 5: APIC 2, line 5, level, high active IRQ 6: APIC 2, line 6, edge, high active IRQ 7: APIC 2, line 7, edge, high active IRQ 8: APIC 2, line 8, edge, high active IRQ 9: APIC 2, line 9, level, high active IRQ 10: APIC 2, line 10, level, high active IRQ 11: APIC 2, line 11, level, high active IRQ 12: APIC 2, line 12, edge, high active IRQ 13: APIC 2, line 13, edge, high active IRQ 14: APIC 2, line 14, edge, high active IRQ 15: APIC 2, line 15, edge, high active IRQ 16: APIC 2, line 16, level, low active IRQ 17: APIC 2, line 17, level, low active IRQ 18: APIC 2, line 18, level, low active IRQ 19: APIC 2, line 19, level, low active IRQ 20: APIC 2, line 20, level, low active IRQ 21: APIC 2, line 21, level, low active IRQ 22: APIC 2, line 22, level, low active IRQ 23: APIC 2, line 23, level, low active Initializing Timer global timer: trap gate 64 Starting 2 application processors (00191000->00004000) Sending startup IPI to CPU#1 APIC 1 local APIC id=0, version=17 local APIC error trap gate 67 Activating TSS (CPU 0)se Initializing GDT (CPU 0) Activating IDT (CPU 0) Enabling global pages (CPU 0) Activating MSRS (CPU 0) Initializing Timer (CPU 0) Calculating processor speed (CPU 0)... AP processor is alive AP switched to kernel ptab local APIC id=1, version=17 local APIC error trap gate 67 Activating TSS (CPU 1)se Initializing GDT (CPU 1) Activating IDT (CPU 1) Enabling global pages (CPU 1) Activating MSRS (CPU 1) Initializing Timer (CPU 1) Calculating processor speed (CPU 1)... speed: 2385 MHz, bus speed: 1122 MHz (CPU 0) Initializing Processor (CPU 0) speed: 2126 MHz, bus speed: 1000 MHz (CPU 1) Initializing Processor (CPU 1) Registering processor 1 in KIP (1000MHz, 2126MHz) Initialize cpu local mappings (CPU 1) Registering processor 0 in KIP (1000MHz, 2126MHz) Remapping CPU local memory f0147000 - f015a12c (CPU 1) Switching to CPU local pagetable 0017c000 (CPU 1) CPU local pagetable activated 17c000 (CPU 1) Initializing threading (CPU 1) Switching to idle thread (CPU 1) Initializing threading (CPU 0) Switching to idle thread (CPU 0) System has 24 hardware interrupts Idle thread started on CPU 1 Initializing root servers root-servers: utcb_area: bf000110 (128KB), kip_area: bff000c0 (4KB) Creating sigma0 (SIGMA0) Creating root server (ROOTTASK) Idle thread started on CPU 0 L4/Pistachio test suite ready to go. Kernel Interface Page ===================== Register returned values ------------------------ KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Address of KIP is 0xbff00000 KIP alignment is OK KIP memory values ----------------- L4tag is: L4æK L4tag is valid APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Threads: IRQs=24, sys=32, valid TID bits=17 KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa Kernel generation date: 16/7/2010 Kernel Version: 0.4.0 Supplier string: "UKa " Version string: "L4Ka::Pistachio - built on Jul 16 2010 05:23:18 by l4kaorg@i30pc37 using gcc version 4.3.5" Processors: 2 CPU0: int freq=2126087kHz, ext freq=1000032kHz CPU1: int freq=2126087kHz, ext freq=1000032kHz Checking KIP, depth 0 Checking KIP, depth 1 Checking KIP, depth 2 Checking KIP, depth 3 Checking KIP, depth 4 Checking KIP, depth 5 Checking KIP, depth 6 Checking KIP, depth 7 Checking KIP, depth 8 Checking KIP, depth 9 IA32 exception IPC handling: OK [CtrlXfer features not compiled in]test: Welcome to memtest! Page touch: OK Simple IPC test (inter-as, only untyped words) From parameter (global): OK Send Message transfer: OK ReplyWait Message transfer: OK Send timeout: OK Receive timeout: OK Local destination Id: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK From parameter (local): OK Intra address space string copy IPC test (no pagefaults) Simple string transfer: OK Simple substring transfer: OK Compound substring transfer: OK Multiple complex strings transfer: OK Scatter: OK Gather: OK Complex Scatter/Gather: OK Too long receive buffer: OK No receive buffer: OK Missing receive buffer: OK Too short receive buffer: OK Complex cut message: OK Inter addres space string copy IPC test (with pagefaults) Simple string transfer (no page faults): OK Single sender pagefault: OK Single receiver pagefault: OK Multiple sender and receiver pagefaults: OK Xfer timeouts (no timeout): OK Zero xfer timeouts: OK Sender xfer timeout: OK Receiver xfer timeout: OK Sender abort: OK Receiver abort: OK Simple SMP IPC test (only untyped words) Message transfer: OK Send timeout: OK Receive timeout: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK Inter address space string copy SMP IPC test (with pagefaults) .



FAIL

x86-x32-p4-hvm4.3.5 PASS / PASS
x86-x32-p4-hvm-smp4.3.5 PASS / PASS
x86-x32-p4-iofp4.3.5 PASS / PASS
x86-x32-p44.3.5 PASS / PASS
x86-x32-p4-logging4.3.5
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.5 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.5 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-pic.cc ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:111: warning: ‘void putc_screen(char)’ defined but not used /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:265: warning: ‘char getc_screen(bool)’ defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-logging-smp4.3.5
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.5 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.5 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:111: warning: ‘void putc_screen(char)’ defined but not used /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:265: warning: ‘char getc_screen(bool)’ defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/ipc.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/ipc.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/interrupt.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/interrupt.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/space.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/space.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/glue/v4-x86/exception.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/glue/v4-x86/exception.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of kdb/api/v4/sigma0.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of kdb/api/v4/sigma0.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-newmdb4.3.5 PASS / PASS
x86-x32-p4-nokdb4.3.5 PASS / PASS
x86-x32-p4-smallspaces4.3.5 PASS / PASS
x86-x32-p4-smp4.3.5
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-smp/build/kernel ... done. TERM is not set. "config.out", line 84: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.5 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.5 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> Linking x86-kernel `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjjjjjjj' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjjjjjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjjjjjjj]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj' referenced in section `.spinlock' of src/api/v4/interrupt.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj]' of src/api/v4/interrupt.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj' referenced in section `.spinlock' of src/api/v4/space.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tjjj]' of src/api/v4/space.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-statictcbs4.3.5 PASS / PASS
x86-x64-k84.3.5 PASS / PASS
x86-x64-p34.3.5 PASS / PASS
x86-x64-p4-cm4.3.5 PASS / PASS
x86-x64-p4-fp4.3.5 PASS / PASS
x86-x64-p4-fullkdb4.3.5 PASS / PASS
x86-x64-p4-iofp4.3.5 PASS / PASS
x86-x64-p44.3.5 PASS / PASS
x86-x64-p4-newmdb4.3.5 PASS / PASS
x86-x64-p4-nokdb4.3.5 PASS / PASS
x86-x64-p4-smp4.3.5
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x64-p4-smp/build/kernel ... done. TERM is not set. "config.out", line 85: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.3.5 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.3.5 ===> Building dependencies ===> src/arch/x86/x64/init32.cc ===> src/arch/x86/x64/cpu.cc ===> src/glue/v4-x86/x64/space.cc ===> src/glue/v4-x86/x64/exception.cc ===> src/glue/v4-x86/x64/init.cc ===> src/glue/v4-x86/x64/trampoline.S ===> src/glue/v4-x86/x64/trap.S ===> src/glue/v4-x86/x64/user.cc ===> src/glue/v4-x86/x64/syscalls.cc ===> src/generic/acpi.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> kdb/arch/x86/x64/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x64/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> Linking x86-kernel `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmmmmmmm' referenced in section `.spinlock' of src/api/v4/thread.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmmmmmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmmmmmmm]' of src/api/v4/thread.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm' referenced in section `.spinlock' of src/api/v4/space.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm]' of src/api/v4/space.o `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm' referenced in section `.spinlock' of src/api/v4/interrupt.o: defined in discarded section `.text._Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm[_Z12xcpu_requesttPFvP14cpu_mb_entry_tEP5tcb_tmmm]' of src/api/v4/interrupt.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x64-p4-statictcbs4.3.5 PASS / PASS
x86-x32-4864.4.4 PASS / PASS
x86-x32-k84.4.4 PASS / PASS
x86-x32-p14.4.4 PASS / PASS
x86-x32-p34.4.4 PASS / PASS
x86-x32-p4-fp4.4.4 PASS / PASS
x86-x32-p4-fullkdb4.4.4 PASS / PASS
x86-x32-p4-hsched-pic4.4.4 PASS / PASS
x86-x32-p4-hsched-smp4.4.4 PASS / PASS
x86-x32-p4-hvm4.4.4 PASS / PASS
x86-x32-p4-hvm-smp4.4.4 PASS
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-hvm-smp/build/kernel ... done. TERM is not set. "config.out", line 94: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.4.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.4.4 ===> Building dependencies ===> src/arch/x86/x32/vmx.cc ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/hvm-vmx.cc ===> src/glue/v4-x86/x32/hvm-vtlb.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/x32/hvm-vtlb.cc:327:2: warning: #warning Nilpage handling needs proper implementation ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ipc.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> src/glue/v4-x86/hvm-space.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:111: warning: ‘void putc_screen(char)’ defined but not used /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:265: warning: ‘char getc_screen(bool)’ defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/ipc.cc ===> Linking x86-kernel Done. checking for gcc... gcc-4.4 checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc-4.4 accepts -g... yes checking for gcc-4.4 option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking whether make sets $(MAKE)... yes checking whether ln -s works... yes checking for gawk... gawk checking location of libgcc.a... /usr/lib/gcc/i486-linux-gnu/4.4.4 checking location of stdarg.h... /usr/lib/gcc/i486-linux-gnu/4.4.4/include checking kernel build directory... /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-hvm-smp/build/kernel configure: creating ./config.status config.status: creating config.mk config.status: creating Makefile config.status: creating lib/Makefile config.status: creating lib/l4/Makefile config.status: creating lib/io/Makefile config.status: creating serv/Makefile config.status: creating serv/sigma0/Makefile config.status: creating apps/Makefile config.status: creating apps/bench/Makefile config.status: creating apps/bench/pingpong/Makefile config.status: creating apps/grabmem/Makefile config.status: creating apps/l4test/Makefile config.status: creating util/Makefile config.status: creating util/kickstart/Makefile config.status: creating util/grubdisk/Makefile config.status: creating util/piggybacker/Makefile config.status: creating util/piggybacker/ofppc/Makefile config.status: creating util/piggybacker/ofppc64/Makefile config.status: creating contrib/Makefile config.status: creating contrib/elf-loader/Makefile config.status: creating config.h ===> Making dependencies in lib/l4 ===> lib/l4/ia32-syscall-init.cc ===> lib/l4/ia32-syscall-stubs.S /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/lib/l4/ia32-syscall-stubs.S: Assembler messages: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/lib/l4/ia32-syscall-stubs.S:52: Warning: setting incorrect section attributes for .data.syscalls /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/lib/l4/ia32-syscall-stubs.S:58: Warning: setting incorrect section attributes for .data.syscalls_copy ===> Linking lib/l4/libl4.a ===> Making dependencies in lib/io ===> lib/io/get_hex.cc ===> lib/io/print.cc ===> lib/io/ia32-getc.cc ===> lib/io/ia32-putc.cc ===> Linking lib/io/libio.a ===> Making dependencies in serv/sigma0 ===> serv/sigma0/crt0-ia32.S ===> serv/sigma0/sigma0_io.cc ===> serv/sigma0/sigma0.cc ===> serv/sigma0/sigma0_mem.cc ===> serv/sigma0/region.cc ===> Linking serv/sigma0/sigma0 ===> Making dependencies in apps/bench/pingpong ===> apps/bench/pingpong/crt0-ia32.S ===> apps/bench/pingpong/pingpong.cc ===> Linking apps/bench/pingpong/pingpong ===> Making dependencies in apps/grabmem ===> apps/grabmem/crt0-ia32.S ===> apps/grabmem/grabmem.cc ===> Linking apps/grabmem/grabmem ===> Making dependencies in apps/l4test ===> apps/l4test/ia32/crt0.S ===> apps/l4test/main.cc ===> apps/l4test/assert.cc ===> apps/l4test/menu.cc ===> apps/l4test/threads.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc: In function ‘L4_ThreadId_t create_thread(bool, int, L4_Word_t)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:93: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:99: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:104: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/threads.cc:111: warning: format ‘%d’ expects type ‘int’, but argument 3 has type ‘L4_Word_t’ ===> apps/l4test/string.cc ===> apps/l4test/ipc.cc ===> apps/l4test/ipc-string.cc ===> apps/l4test/ipc-pf.cc ===> apps/l4test/ipc-smp.cc ===> apps/l4test/kip.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/kip.cc:55: warning: ‘typedef’ was ignored in this declaration /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/kip.cc:72: warning: ‘typedef’ was ignored in this declaration ===> apps/l4test/mem.cc ===> apps/l4test/sig0.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/sig0.cc: In function ‘void bad_send()’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/sig0.cc:136: warning: suggest parentheses around comparison in operand of ‘&’ ===> apps/l4test/exreg.cc ===> apps/l4test/tcontrol.cc ===> apps/l4test/schedule.cc ===> apps/l4test/ia32/help.cc ===> apps/l4test/ia32/tests.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc: In function ‘void ctrlxfer_test()’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc:167: warning: dereferencing pointer ‘gpr_item_ptr’ does break strict-aliasing rules /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc:166: warning: dereferencing pointer ‘gpr_item_ptr’ does break strict-aliasing rules /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc:163: note: initialized from here /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc:186: warning: dereferencing pointer ‘gpr_item_ptr’ does break strict-aliasing rules /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc:185: warning: dereferencing pointer ‘gpr_item_ptr’ does break strict-aliasing rules /home/l4kaorg/build-arena/pistachio/i30pc37/hg/user/apps/l4test/ia32/tests.cc:181: note: initialized from here ===> Linking apps/l4test/l4test ===> Making dependencies in util/kickstart cat: .revision: No such file or directory ===> Making util/kickstart/.revision ===> util/kickstart/crt0-ia32.S ===> util/kickstart/kickstart.cc ===> util/kickstart/kipmgr.cc ===> util/kickstart/elf.cc ===> util/kickstart/lib.cc ===> util/kickstart/bootinfo.cc ===> util/kickstart/ia32.cc ===> util/kickstart/mbi.cc ===> util/kickstart/mbi-ia32.cc ===> util/kickstart/mbi-loader.cc ===> Linking util/kickstart/kickstart KickStart 0.13.06 Detected multiboot compliant loader kernel (0x00809000-0x0086d7b4) => 0x00184740 (0x00809000-0x00832875) -> 0x00100000-0x00129875 (0x00833000-0x00840687) -> 0x0012b000-0x00138687 (0x00841000-0x00868060) -> 0x00139000-0x00160060 (0x00869000-0x0086d583) -> 0x00181000-0x00185583 sigma0 (0x0086e000-0x008751c8) => 0x00020000 (0x0086f000-0x00877410) -> 0x00020000-0x00028410 roottask (0x00876000-0x0088819c) => 0x00400000 (0x00877000-0x0088c524) -> 0x00400000-0x00415524 Launching kernel ... L4Ka::Pistachio - built on Jul 16 2010 06:09:38 by l4kaorg@i30pc37 using gcc version 4.4.4 L4/Pistachio test suite ready to go. Kernel Interface Page ===================== Register returned values ------------------------ KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Address of KIP is 0xbff00000 KIP alignment is OK KIP memory values ----------------- L4tag is: L4æK L4tag is valid APIVersion reports 132.5: Experimental Version X.2 APIFlags reports little endianess APIFlags reports 32-bit API width Threads: IRQs=24, sys=32, valid TID bits=16 KernelID reports 0x4.0x2: L4Ka/Pistachio from UKa Kernel generation date: 16/7/2010 Kernel Version: 0.4.0 Supplier string: "UKa " Version string: "L4Ka::Pistachio - built on Jul 16 2010 06:09:38 by l4kaorg@i30pc37 using gcc version 4.4.4" Processors: 2 CPU0: int freq=2344234kHz, ext freq=1102635kHz CPU1: int freq=2126650kHz, ext freq=1000301kHz Checking KIP, depth 0 Checking KIP, depth 1 Checking KIP, depth 2 Checking KIP, depth 3 Checking KIP, depth 4 Checking KIP, depth 5 Checking KIP, depth 6 Checking KIP, depth 7 Checking KIP, depth 8 Checking KIP, depth 9 IA32 exception IPC handling: OK IPC ctrlxfer handling: OK ExRegs ctrlxfer read: OK Testing Exregs ctrlxfer write ExRegs ctrlxfer write: OK test: Welcome to memtest! Page touch: OK Simple IPC test (inter-as, only untyped words) From parameter (global): OK Send Message transfer: OK ReplyWait Message transfer: OK Send timeout: OK Receive timeout: OK Local destination Id: OK Send cancelled: OK Receive cancelled: OK Pagefault cancelled: OK From parameter (local): OK Intra address space string copy IPC test (no pagefaults) Simple string transfer: OK Simple substring transfer: OK Compound substring transfer: OK Multiple complex strings transfer: OK Scatter: OK Gather: OK Complex Scatter/Gather: OK Too long receive buffer: OK No receive buffer: OK Missing receive buffer: OK Too short receive buffer: OK Complex cut message: OK Inter addres space string copy IPC test (with pagefaults) Simple string transfer (no page faults): OK Single sender pagefault: OK Single receiver pagefault: OK Multiple sender and receiver pagefaults: OK Xfer timeouts (no timeout): OK Zero xfer timeouts: OK Sender xfer timeout: OK Receiver xfer timeout: OK Sender abort: OK Receiver abort: OK Simple SMP IPC test (only untyped words) Message transfer: OK .



FAIL

x86-x32-p4-iofp4.4.4 PASS / PASS
x86-x32-p44.4.4 PASS / PASS
x86-x32-p4-logging4.4.4 PASS / PASS
x86-x32-p4-logging-smp4.4.4
Hide

Setting up build directory /tmp/l4kaorg-autobuild-l4kaorg/x86-x32-p4-logging-smp/build/kernel ... done. TERM is not set. "config.out", line 93: unrecognized name `KDB' while expecting known symbol. Rewriting Makeconf.local ... GCCVERSION=4.4.4 ===> Building dependencies ===> Generating include/tcb_layout.h ===> src/glue/v4-x86/asmsyms.cc ===> Generating include/asmsyms.h GCCVERSION=4.4.4 ===> Building dependencies ===> src/glue/v4-x86/x32/init.cc ===> src/glue/v4-x86/x32/exception.cc ===> src/glue/v4-x86/x32/space.cc ===> src/glue/v4-x86/x32/user.cc ===> src/glue/v4-x86/x32/thread.cc ===> src/glue/v4-x86/x32/trap.S ===> src/glue/v4-x86/x32/trampoline.S ===> src/glue/v4-x86/x32/memcontrol.cc ===> src/generic/linear_ptab_walker.cc ===> src/generic/mapping_alloc.cc ===> src/generic/mapping.cc ===> src/generic/acpi.cc ===> src/glue/v4-x86/x32/logging.cc ===> kdb/arch/x86/x32/x86.cc ===> kdb/generic/linear_ptab_dump.cc ===> kdb/arch/x86/x32/disas.cc ===> kdb/arch/x86/x32/ia32-dis.c cc1: warning: command line option "-Wno-non-virtual-dtor" is valid for C++/ObjC++ but not for C cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C ===> kdb/generic/sprintf.cc ===> kdb/generic/mapping.cc ===> kdb/glue/v4-x86/x32/space.cc ===> src/generic/lib.cc ===> src/generic/kmemory.cc ===> src/platform/pc99/startup.S ===> src/platform/generic/intctrl-apic.cc ===> src/platform/pc99/smp.S ===> src/api/v4/exregs.cc ===> src/api/v4/ipc.cc ===> src/api/v4/ipcx.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h: In function ‘void copy_mr(tcb_t*, tcb_t*, int)’: /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/tcb.h:95: warning: array subscript is above array bounds ===> include/version.h ===> src/api/v4/kernelinterface.cc ===> src/api/v4/thread.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/thread.cc:1109:2: warning: #warning preemption IPC with timeout never -- should be zero ===> src/api/v4/schedule.cc ===> src/api/v4/space.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:158:2: warning: #warning Handle priority inversion for xfer timeouts /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:217:2: warning: #warning sigma0-check in default pagefault handler. /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/api/v4/space.cc:403:2: warning: #warning VU: adapt to new msg_tag scheme ===> src/api/v4/interrupt.cc ===> src/api/v4/smp.cc ===> src/api/v4/processor.cc ===> src/api/v4/sched-rr/schedule.cc ===> src/glue/v4-x86/ctors.cc ===> src/glue/v4-x86/exception.cc ===> src/glue/v4-x86/space.cc ===> src/glue/v4-x86/init.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/src/glue/v4-x86/init.cc:542:2: warning: #warning VU: time out on AP call in ===> src/glue/v4-x86/resources.cc ===> src/glue/v4-x86/idt.cc ===> src/glue/v4-x86/debug.cc ===> src/glue/v4-x86/cpu.cc ===> src/glue/v4-x86/thread.cc ===> src/glue/v4-x86/timer-apic.cc ===> kdb/generic/bootinfo.cc ===> kdb/generic/cmd.cc ===> kdb/generic/console.cc ===> kdb/generic/entry.cc ===> kdb/generic/init.cc ===> kdb/generic/input.cc ===> kdb/generic/kmemory.cc ===> kdb/generic/linker_set.cc ===> kdb/generic/memdump.cc ===> kdb/generic/print.cc ===> kdb/generic/tid_format.cc ===> kdb/generic/tracepoints.cc ===> kdb/platform/pc99/io.cc /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:111: warning: ‘void putc_screen(char)’ defined but not used /home/l4kaorg/build-arena/pistachio/i30pc37/hg/kernel/kdb/platform/pc99/io.cc:265: warning: ‘char getc_screen(bool)’ defined but not used ===> kdb/platform/pc99/intctrl.cc ===> kdb/api/v4/input.cc ===> kdb/api/v4/kernelinterface.cc ===> kdb/api/v4/tcb.cc ===> kdb/api/v4/thread.cc ===> kdb/api/v4/schedule-rr.cc ===> kdb/api/v4/sigma0.cc ===> kdb/arch/x86/breakpoints.cc ===> kdb/arch/x86/stepping.cc ===> kdb/arch/x86/x86.cc ===> kdb/glue/v4-x86/thread.cc ===> kdb/glue/v4-x86/prepost.cc ===> kdb/glue/v4-x86/readmem.cc ===> kdb/glue/v4-x86/resources.cc ===> kdb/glue/v4-x86/addrtranslation.cc ===> kdb/glue/v4-x86/tracebuffer.cc ===> Linking x86-kernel `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o `.text._ZN11scheduler_t8scheduleEP5tcb_th' referenced in section `.log.evtlist.0' of src/api/v4/sched-rr/schedule.o: defined in discarded section `.text._ZN11scheduler_t8scheduleEP5tcb_th[_ZN11scheduler_t8scheduleEP5tcb_th]' of src/api/v4/sched-rr/schedule.o make[1]: *** [x86-kernel] Error 1 make: *** [all] Error 2 Kernel compile failed .



FAIL

x86-x32-p4-newmdb4.4.4 PASS / PASS
x86-x32-p4-nokdb4.4.4 PASS / PASS
x86-x32-p4-smallspaces4.4.4 PASS / PASS
x86-x32-p4-smp4.4.4 PASS / PASS
x86-x32-p4-statictcbs4.4.4 PASS / PASS
x86-x64-k84.4.4 PASS / PASS
x86-x64-p34.4.4 PASS / PASS
x86-x64-p4-cm4.4.4 PASS / PASS
x86-x64-p4-fp4.4.4 PASS / PASS
x86-x64-p4-fullkdb4.4.4 PASS / PASS
x86-x64-p4-iofp4.4.4 PASS / PASS
x86-x64-p44.4.4 PASS / PASS
x86-x64-p4-newmdb4.4.4 PASS / PASS
x86-x64-p4-nokdb4.4.4 PASS / PASS
x86-x64-p4-smp4.4.4 PASS / PASS
x86-x64-p4-statictcbs4.4.4 PASS / PASS
   
 
 
 
  Mail to webmaster   © 2000-2010 University of Karlsruhe