Is the log of seL4test right?

12 Aug 2014

      Hi,

    I download seL4test, and then run it. Is the log correct?
--------------------------------------------------------------------------------------------
$ make simulate-ia32

qemu-system-i386 \
        -m 512 -nographic -kernel images/kernel-ia32-pc99 \
        -initrd images/sel4test-driver-image-ia32-pc99
Switching to a safer, bigger stack...
seL4 Test
=========

INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 31 type 0

Failed to allocate object of size 2147483648, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 30 type 0

Failed to allocate object of size 1073741824, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 29 type 0

Failed to allocate object of size 536870912, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 28 type 0

Failed to allocate object of size 268435456, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 27 type 0

Failed to allocate object of size 134217728, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 26 type 0

Failed to allocate object of size 67108864, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 25 type 0

Failed to allocate object of size 33554432, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 24 type 0

Failed to allocate object of size 16777216, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 23 type 0

Failed to allocate object of size 8388608, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 22 type 0

Failed to allocate object of size 4194304, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 21 type 0

Failed to allocate object of size 2097152, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 20 type 0

Failed to allocate object of size 1048576, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 19 type 0

Failed to allocate object of size 524288, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 18 type 0

Failed to allocate object of size 262144, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 17 type 0

Failed to allocate object of size 131072, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 16 type 0

Failed to allocate object of size 65536, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 15 type 0

Failed to allocate object of size 32768, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 14 type 0

Failed to allocate object of size 16384, error 1
INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not
watermark for size 13 type 0

Failed to allocate object of size 8192, error 1
<testsuite>
    <testcase classname="sel4test" name="TEST_CNODEOP0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0005">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0006">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0006
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0007">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0007
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0008">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0008
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP0009">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0009
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CSPACE0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CSPACE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_DOMAINS0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_DOMAINS0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_DOMAINS0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_DOMAINS0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_DOMAINS0003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_DOMAINS0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FPU0000">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FPU0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FPU0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FPU0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FRAMEEXPORTS0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FRAMEEXPORTS0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FRAMERECYCLE0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FRAMERECYCLE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC0003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC0004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC0010">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0010
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC1001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC1002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC1003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC1004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT0003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT0004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT0005">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT1001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT1002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT1003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT1004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RECYCLE0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RECYCLE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RECYCLE0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RECYCLE0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_REGRESSIONS0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_REGRESSIONS0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RETYPE0000">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RETYPE0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RETYPE0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RETYPE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RETYPE0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RETYPE0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED0003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED0004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED0005">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED0006">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0006
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0000">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0003">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0005">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0006">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0006
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0010">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0010
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL0011">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0011
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_THREADS0004">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_THREADS0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_THREADS0005">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_THREADS0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_TRIVIAL0000">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_TRIVIAL0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_TRIVIAL0001">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_TRIVIAL0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_TRIVIAL0002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_TRIVIAL0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_VSPACE0000">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_VSPACE0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_VSPACE00002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_VSPACE0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_TRIVIAL00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_TRIVIAL0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_TRIVIAL00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_TRIVIAL0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_TRIVIAL00002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_TRIVIAL0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_THREADS00052">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_THREADS0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_THREADS00042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_THREADS0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00112">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0011
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00102">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0010
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00062">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0006
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00052">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SYSCALL00002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SYSCALL0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED00062">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0006
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED00052">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED00042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED00032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_SCHED00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_SCHED0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RETYPE00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RETYPE0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RETYPE00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RETYPE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RETYPE00002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RETYPE0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_REGRESSIONS00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_REGRESSIONS0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RECYCLE00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RECYCLE0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_RECYCLE00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_RECYCLE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT10042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT10032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT10022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT10012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT1001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT00052">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT00042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT00032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_PAGEFAULT00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_PAGEFAULT0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC10042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC10032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC10022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC10012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC1001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC00102">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0010
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC00042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC00032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_IPC00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_IPC0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FRAMERECYCLE00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FRAMERECYCLE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FRAMEEXPORTS00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FRAMEEXPORTS0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FPU00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FPU0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_FPU00002">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_FPU0000
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_DOMAINS00032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_DOMAINS0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_DOMAINS00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_DOMAINS0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_DOMAINS00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_DOMAINS0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CSPACE00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CSPACE0001
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00092">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0009
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00082">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0008
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00072">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0007
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00062">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0006
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00052">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0005
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00042">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0004
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00032">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0003
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00022">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0002
</system-out>
    </testcase>
    <testcase classname="sel4test" name="TEST_CNODEOP00012">
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08048000-->0808f718
INFO :sel4utils_elf_load_record_regions:276:  * Loading segment
08091000-->081a9e80
        <system-out>  TEST_CNODEOP0001
</system-out>
    </testcase>
</testsuite>

122/122 tests passed.
All is well in the universe.

Ignoring call to sys_exit_group
Ignoring call to sys_rt_sigprocmask
Ignoring call to sys_gettid
Ignoring call to sys_getpid
sys_tgkill assuming self kill
QEMU 1.5.0 monitor - type 'help' for more information
(qemu) q
--------------------------------------------------------------------------------------------

The "All is well in the universe" is displayed. But on boot, there are the
log "Failed to allocate object of size 2147483648, error 1". Is this item
log right?

Why there are the these log "Failed to allocate object of size XXXXXXXXXXX,
error 1"?

Regards,
Hu Zhi

Alex Chih Hu

Peter Chubb

tags

participants (2)