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
--------------------------------------------------------------------------------------------