Hi Rod, I'm newbie too but Iin my case what I get is a long list of tests and then: (...) Starting test 120: VSPACE0006 Starting test 122: Test all tests ran Test suite passed. 122 tests passed. 54 tests disabled. *All is well in the universe* Your output is a crash. Below you can see my full output (as it looks like attachments are stripped...): ------ SeaBIOS (version 1.13.0-1ubuntu1.1) iPXE (http://ipxe.org) 00:03.0 CA00 PCI2.10 PnP PMM+BFF8C8B0+BFECC8B0 CA00 Booting from ROM..Node 0 of 1 IOPT levels: 4294967295 IPC buffer: 0x608000 Empty slots: [632 --> 8192) sharedFrames: [0 --> 0) userImageFrames: [19 --> 539) userImagePaging: [14 --> 18) untypeds: [539 --> 632) Initial thread domain: 0 Initial thread cnode size: 13 List of untypeds ------------------ Paddr | Size | Device 0 | 20 | 1 0xbffe0000 | 17 | 1 0xc0000000 | 29 | 1 0xe0000000 | 28 | 1 0xf0000000 | 27 | 1 0xf8000000 | 26 | 1 0xfc000000 | 25 | 1 0xfe000000 | 23 | 1 0xfe800000 | 22 | 1 0xfec01000 | 12 | 1 0xfec02000 | 13 | 1 0xfec04000 | 14 | 1 0xfec08000 | 15 | 1 0xfec10000 | 16 | 1 0xfec20000 | 17 | 1 0xfec40000 | 18 | 1 0xfec80000 | 19 | 1 0xfed00000 | 20 | 1 0xfee01000 | 12 | 1 0xfee02000 | 13 | 1 0xfee04000 | 14 | 1 0xfee08000 | 15 | 1 0xfee10000 | 16 | 1 0xfee20000 | 17 | 1 0xfee40000 | 18 | 1 0xfee80000 | 19 | 1 0xfef00000 | 20 | 1 0xff000000 | 23 | 1 0xff800000 | 22 | 1 0xffc00000 | 21 | 1 0xffe00000 | 20 | 1 0xfff00000 | 19 | 1 0xfff80000 | 18 | 1 0xfffc0000 | 17 | 1 0xfffe0000 | 16 | 1 0xffff0000 | 15 | 1 0xffff8000 | 14 | 1 0xffffc000 | 13 | 1 0xffffe000 | 12 | 1 0xfffff000 | 11 | 1 0xfffff800 | 10 | 1 0xfffffc00 | 9 | 1 0xfffffe00 | 8 | 1 0xffffff00 | 7 | 1 0xffffff80 | 6 | 1 0xffffffc0 | 5 | 1 0xffffffe0 | 4 | 1 0x100000000 | 32 | 1 0x200000000 | 33 | 1 0x400000000 | 34 | 1 0x800000000 | 35 | 1 0x1000000000 | 36 | 1 0x2000000000 | 37 | 1 0x4000000000 | 38 | 1 0x8000000000 | 46 | 1 0x408000000000 | 45 | 1 0x608000000000 | 44 | 1 0x708000000000 | 43 | 1 0x788000000000 | 42 | 1 0x7c8000000000 | 41 | 1 0x7e8000000000 | 40 | 1 0x7f8000000000 | 39 | 1 0x100000 | 20 | 0 0x200000 | 21 | 0 0x400000 | 22 | 0 0xc1e000 | 13 | 0 0xc20000 | 17 | 0 0xc40000 | 18 | 0 0xc80000 | 19 | 0 0xd00000 | 20 | 0 0xe00000 | 21 | 0 0x1000000 | 24 | 0 0x2000000 | 25 | 0 0x4000000 | 26 | 0 0x8000000 | 27 | 0 0x10000000 | 28 | 0 0x20000000 | 29 | 0 0x40000000 | 30 | 0 0x80000000 | 29 | 0 0xa0000000 | 28 | 0 0xb0000000 | 27 | 0 0xb8000000 | 26 | 0 0xbc000000 | 25 | 0 0xbe000000 | 24 | 0 0xbf000000 | 23 | 0 0xbf800000 | 22 | 0 0xbfc00000 | 21 | 0 0xbfe00000 | 20 | 0 0xbff00000 | 19 | 0 0xbffc9800 | 11 | 0 0xbffca000 | 13 | 0 0xbffcc000 | 14 | 0 0xbffd0000 | 16 | 0 Untyped summary 1 untypeds of size 4 1 untypeds of size 5 1 untypeds of size 6 1 untypeds of size 7 1 untypeds of size 8 1 untypeds of size 9 1 untypeds of size 10 2 untypeds of size 11 3 untypeds of size 12 5 untypeds of size 13 4 untypeds of size 14 3 untypeds of size 15 4 untypeds of size 16 5 untypeds of size 17 4 untypeds of size 18 5 untypeds of size 19 7 untypeds of size 20 4 untypeds of size 21 4 untypeds of size 22 3 untypeds of size 23 2 untypeds of size 24 3 untypeds of size 25 3 untypeds of size 26 3 untypeds of size 27 3 untypeds of size 28 3 untypeds of size 29 1 untypeds of size 30 1 untypeds of size 32 1 untypeds of size 33 1 untypeds of size 34 1 untypeds of size 35 1 untypeds of size 36 1 untypeds of size 37 1 untypeds of size 38 1 untypeds of size 39 1 untypeds of size 40 1 untypeds of size 41 1 untypeds of size 42 1 untypeds of size 43 1 untypeds of size 44 1 untypeds of size 45 1 untypeds of size 46 Switching to a safer, bigger stack... seL4 Test ========= Failed to allocate object of size 2147483648, error 1 Failed to allocate object of size 1073741824, error 1 Failed to allocate object of size 536870912, error 1 Failed to allocate object of size 268435456, error 1 Failed to allocate object of size 134217728, error 1 Failed to allocate object of size 67108864, error 1 Failed to allocate object of size 33554432, error 1 Failed to allocate object of size 16777216, error 1 Failed to allocate object of size 8388608, error 1 Failed to allocate object of size 4194304, error 1 Failed to allocate object of size 2097152, error 1 Failed to allocate object of size 1048576, error 1 Failed to allocate object of size 524288, error 1 Failed to allocate object of size 262144, error 1 Failed to allocate object of size 131072, error 1 Failed to allocate object of size 65536, error 1 Failed to allocate object of size 32768, error 1 Failed to allocate object of size 16384, error 1 Failed to allocate object of size 8192, error 1 vspace is NULL Failed to make reservation: 0x400000, 4096 Failed to create reservations Failed to reserve regions Starting test suite sel4test Starting test 0: Test that there are tests Starting test 1: SYSCALL0000 Starting test 2: SYSCALL0001 Starting test 3: SYSCALL0002 Starting test 4: SYSCALL0003 Starting test 5: SYSCALL0004 Starting test 6: SYSCALL0005 Starting test 7: SYSCALL0006 Starting test 8: SYSCALL0010 Starting test 9: SYSCALL0011 Starting test 10: SYSCALL0012 Starting test 11: SYSCALL0013 Starting test 12: SYSCALL0014 Starting test 13: SYSCALL0015 Starting test 14: SYSCALL0016 Starting test 15: SYSCALL0017 Starting test 16: TIMER0001 Starting test 17: TIMER0002 Starting test 18: BIND0001 Starting test 19: BIND0002 Starting test 20: BIND0003 Starting test 21: BIND0004 Starting test 22: CANCEL_BADGED_SENDS_0001 Starting test 23: CANCEL_BADGED_SENDS_0002 Starting test 24: CNODEOP0001 Starting test 25: CNODEOP0002 Starting test 26: CNODEOP0003 Starting test 27: CNODEOP0004 Starting test 28: CNODEOP0005 Starting test 29: CNODEOP0006 Starting test 30: CNODEOP0007 Starting test 31: CNODEOP0008 Starting test 32: CNODEOP0009 Starting test 33: CSPACE0001 Starting test 34: DOMAINS0001 Starting test 35: DOMAINS0002 Starting test 36: DOMAINS0003 Starting test 37: DOMAINS0004 Starting test 38: FPU0000 Starting test 39: FPU0001 Starting test 40: FRAMEDIPC0001 Starting test 41: FRAMEDIPC0002 Starting test 42: FRAMEDIPC0003 Starting test 43: FRAMEEXPORTS0001 Starting test 44: IOPORTS1000 Starting test 45: IPC0001 Starting test 46: IPC0002 Starting test 47: IPC0003 Starting test 48: IPC0004 Starting test 49: IPC0010 Starting test 50: IPC1001 Starting test 51: IPC1002 Starting test 52: IPC1003 Starting test 53: IPC1004 Starting test 54: IPCRIGHTS0001 Starting test 55: IPCRIGHTS0002 Starting test 56: IPCRIGHTS0003 Starting test 57: IPCRIGHTS0004 Starting test 58: IPCRIGHTS0005 Starting test 59: NBWAIT0001 Starting test 60: PAGEFAULT0001 Starting test 61: PAGEFAULT0002 Starting test 62: PAGEFAULT0003 Starting test 63: PAGEFAULT0004 Starting test 64: PAGEFAULT0005 Starting test 65: PAGEFAULT1001 Starting test 66: PAGEFAULT1002 Starting test 67: PAGEFAULT1003 Starting test 68: PAGEFAULT1004 Starting test 69: PREEMPT_REVOKE Starting test 70: REGRESSIONS0001 Starting test 71: RETYPE0000 Starting test 72: RETYPE0001 Starting test 73: RETYPE0002 Starting test 74: SCHED0000 Starting test 75: SCHED0002 Starting test 76: SCHED0003 Starting test 77: SCHED0004 Starting test 78: SCHED0005 Starting test 79: SCHED0006 Starting test 80: SCHED0020 Starting test 81: SCHED0021 Starting test 82: SERSERV_CLIENT_001 Test SERSERV_CLIENT_001 passed Starting test 83: SERSERV_CLIENT_002 Hello, world! Test SERSERV_CLIENT_002 passed Starting test 84: SERSERV_CLIENT_003 Hello, world! Test SERSERV_CLIENT_003 passed Starting test 85: SERSERV_CLIENT_004 Hello, world! Hello, world! Hello, world! Hello, world! Test SERSERV_CLIENT_004 passed Starting test 86: SERSERV_CLIENT_005 Test SERSERV_CLIENT_005 passed Starting test 87: SERSERV_CLI_PROC_001 Test SERSERV_CLI_PROC_001 passed Starting test 88: SERSERV_CLI_PROC_002 Hello, world! Test SERSERV_CLI_PROC_002 passed Starting test 89: SERSERV_CLI_PROC_003 Hello, world! Test SERSERV_CLI_PROC_003 passed Starting test 90: SERSERV_CLI_PROC_004 Hello, world! Hello, world! Hello, world! Hello, world! Test SERSERV_CLI_PROC_004 passed Starting test 91: SERSERV_CLI_PROC_005 Test SERSERV_CLI_PROC_005 passed Starting test 92: SERSERV_PARENT_001 Test SERSERV_PARENT_001 passed Starting test 93: SERSERV_PARENT_002 Test SERSERV_PARENT_002 passed Starting test 94: SERSERV_PARENT_003 Hello, world! Test SERSERV_PARENT_003 passed Starting test 95: SERSERV_PARENT_004 Hello, world! Test SERSERV_PARENT_004 passed Starting test 96: SERSERV_PARENT_005 Hello, world! Hello, world! Hello, world! Hello, world! Test SERSERV_PARENT_005 passed Starting test 97: SERSERV_PARENT_006 Test SERSERV_PARENT_006 passed Starting test 98: SERSERV_PARENT_007 Starting test 99: SERSERV_PARENT_008 Test SERSERV_PARENT_008 passed Starting test 100: SERSERV_PARENT_009 Serserv Client: printf: NULL passed for required arguments. Is connection handle valid? Serserv Client: printf: NULL passed for required arguments. Is connection handle valid? Test SERSERV_PARENT_009 passed Starting test 101: SERSERV_PARENT_010 Serserv Client: printf: NULL passed for required arguments. Is connection handle valid? Serserv Client: printf: NULL passed for required arguments. Is connection handle valid? Test SERSERV_PARENT_010 passed Starting test 102: STACK_ALIGNMENT_001 Starting test 103: SYNC001 Starting test 104: SYNC002 Starting test 105: SYNC003 Starting test 106: SYNC004 Starting test 107: THREADS0004 Starting test 108: THREADS0005 Starting test 109: TLS0001 Starting test 110: TLS0002 Starting test 111: TLS0006 Starting test 112: TRIVIAL0000 Starting test 113: TRIVIAL0001 Starting test 114: TRIVIAL0002 Starting test 115: VSPACE0000 Starting test 116: VSPACE0002 Starting test 117: VSPACE0003 Starting test 118: VSPACE0004 Starting test 119: VSPACE0005 Starting test 120: VSPACE0006 Starting test 122: Test all tests ran Test suite passed. 122 tests passed. 54 tests disabled. All is well in the universe El jue, 27 may 2021 a las 15:09, <rod@proteancode.com> escribió:
OK... I got hello-world running in QEMU, but after printing "Hello World!", QEMU seems to crash and I have to "kill -9" it from another shell. Is that expected?
e.g.
Booting all finished, dropped to user space Hello, World! Second Hello Caught cap fault in send phase at address 0 while trying to handle: vm fault on data at address 0 with status 0x4 in thread 0xffffff801fe08400 "rootserver" at address 0 With stack: 0x41ce98: 0x401755 0x41cea0: 0x41cf10 0x41cea8: 0x0 0x41ceb0: 0x41cef0 0x41ceb8: 0x401230 0x41cec0: 0x0 0x41cec8: 0x41cf30 0x41ced0: 0x41cf20 0x41ced8: 0x41cf10 0x41cee0: 0x1 0x41cee8: 0x4010f2 0x41cef0: 0x41cff0 0x41cef8: 0x4013a9 0x41cf00: 0x0 0x41cf08: 0x525000 0x41cf10: 0x412028 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems