Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ELF-loader started on CPU: <Reserved> <Reserved> Part: 0x0 r0p0
- paddr=[82000000..8226001f]
- ELF-loading image 'kernel'
- paddr=[80010000..80671fff]
- vaddr=[80010000..80671fff]
- virt_entry=800204a0
- ELF-loading image 'sel4test-driver'
- paddr=[80672000..8099dfff]
- vaddr=[400000..72bfff]
- virt_entry=40f870
- Enabling MMU and paging
- Jumping to kernel-image entry point...
- region start = 80672000
- __cpu_name = MIPS 24K
- pre init hash = 765fb295
- kern hash1 = 73aa71c7
- s = 80672000, e = 8099e000, pv_offset = 80272000, v_entry = 40f870
- inital thread: start = 400000, end = 72e000
- Bootstrapping kernel
- ui_reg.start = 672000
- ui_reg.end = 99e000
- kernelBase = 80000000, ki_end = 80672000
- bi_frame_vptr = 72d000, bi_frame_pptr = fefe000
- TODO: configure idle thread
- post init hash = 765fb295
- s = 80672000, e = 8099e000, pv_offset = 80272000, v_entry = 40f870
- ksCurThread = 8fef6d00
- registers = 8fef6d00
- virt hash = 765fb295
- pysh hash = 765fb295
- kern hash1 = b02496c7
- kernel done
- ----------------------------------------------
- Switching to a safer, bigger stack...
- Warning: using printf before serial is set up. This only works as your
- printf is backed by seL4_Debug_PutChar()
- Srintf is backed by seL4_Debug_PutChar
- seL4 Test
- =========
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 31 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 2147483648, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 30 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 1073741824, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 29 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 536870912, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 28 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 268435456, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 27 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 134217728, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 26 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 67108864, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 25 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 33554432, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 24 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 16777216, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 23 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 8388608, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 22 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 4194304, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 21 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 2097152, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 20 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 1048576, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 19 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 524288, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 18 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 262144, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 17 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 131072, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 16 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 65536, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 15 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 32768, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 14 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 16384, error 1
- _allocman_utspace_alloc@allocman.c:301 Regular utspace alloc failed and not watermark for size 13 type 0
- vka_alloc_object@object.h:51 Failed to allocate object of size 8192, error 1
- Starting test suite sel4test
- Starting test 0: TEST_BIND0001
- TEST_BIND0001
- Running test BIND0001 (Test that a bound tcb waiting on a sync endpoint receives normal sync ipc and notification notifications.)
- Test BIND0001 passed
- Starting test 1: TEST_BIND0002
- TEST_BIND0002
- Running test BIND0002 (Test that a bound tcb waiting on its bound notification recieves notifications)
- Test BIND0002 passed
- Starting test 2: TEST_BIND0003
- TEST_BIND0003
- Running test BIND0003 (Test IPC ordering 1) bound tcb waits on bound notification 2) another tcb sends a message)
- Test BIND0003 passed
- Starting test 3: TEST_BIND0004
- TEST_BIND0004
- Running test BIND0004 (Test IPC ordering 2) bound tcb waits on bound notification 1) another tcb sends a message)
- Test BIND0004 passed
- Starting test 4: TEST_CNODEOP0001
- TEST_CNODEOP0001
- Running test CNODEOP0001 (Basic seL4_CNode_Copy() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0001" @400e8c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0001" @400e8c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @400e8c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0001 passed
- Starting test 5: TEST_CNODEOP0002
- TEST_CNODEOP0002
- Running test CNODEOP0002 (Basic seL4_CNode_Delete() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0002" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0002" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0002 passed
- Starting test 6: TEST_CNODEOP0003
- TEST_CNODEOP0003
- Running test CNODEOP0003 (Basic seL4_CNode_Mint() testing)
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0003" @4010d0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0003" @4010d0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0003 passed
- Starting test 7: TEST_CNODEOP0004
- TEST_CNODEOP0004
- Running test CNODEOP0004 (Basic seL4_CNode_Move() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- Test CNODEOP0004 passed
- Starting test 8: TEST_CNODEOP0005
- TEST_CNODEOP0005
- Running test CNODEOP0005 (Basic seL4_CNode_Mutate() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @4013e4]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @4013e4]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0005 passed
- Starting test 9: TEST_CNODEOP0006
- TEST_CNODEOP0006
- Running test CNODEOP0006 (Basic seL4_CNode_Recycle() testing)
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0006" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/217 T0x8fee4700 "CNODEOP0006" @4014f4]: CNode Recycle: Target cap invalid.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0006" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0006 passed
- Starting test 10: TEST_CNODEOP0007
- TEST_CNODEOP0007
- Running test CNODEOP0007 (Basic seL4_CNode_Revoke() testing)
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0007" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0007" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0007 passed
- Starting test 11: TEST_CNODEOP0008
- TEST_CNODEOP0008
- Running test CNODEOP0008 (Basic seL4_CNode_Rotate() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/259 T0x8fee4700 "CNODEOP0008" @40171c]: CNode Rotate: Pivot slot the same as source or dest slot.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0008 passed
- Starting test 12: TEST_CNODEOP0009
- TEST_CNODEOP0009
- Running test CNODEOP0009 (Basic seL4_CNode_SaveCaller() testing)
- <<seL4 [invokeCNodeSaveCaller/367 T0x8fee4700 "CNODEOP0009" @40186c]: CNode SaveCaller: Reply cap not present.>>
- <<seL4 [decodeCNodeInvocation/207 T0x8fee4700 "CNODEOP0009" @40186c]: CNode SaveCaller: Destination slot not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0009" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- Test CNODEOP0009 passed
- Starting test 13: TEST_CSPACE0001
- TEST_CSPACE0001
- Running test CSPACE0001 (Test full cspace resolution)
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #0.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #1.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #2.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #3.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #4.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #5.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #6.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #7.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #8.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #9.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #10.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #11.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #12.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #13.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #14.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #15.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #16.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #17.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #18.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #19.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #20.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #21.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #22.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #23.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #24.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #25.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #26.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #27.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #28.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #29.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #30.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #31.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655764.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655767.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655761.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655773.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655749.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655797.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655701.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655893.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655509.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431656277.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431654741.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431657813.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431651669.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431663957.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431639381.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431688533.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431590229.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431786837.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431393621.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1432180053.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1430607189.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1433752917.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1427461461.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1440044373.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1414878549.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1465210197.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1364546901.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1565873493.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1163220309.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1968526677.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #357913941.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #3579139413.>>
- Test CSPACE0001 passed
- Starting test 14: TEST_DOMAINS0001
- TEST_DOMAINS0001
- Running test DOMAINS0001 (Change domain successfully())
- Test DOMAINS0001 passed
- Starting test 15: TEST_DOMAINS0002
- TEST_DOMAINS0002
- Running test DOMAINS0002 (Try non-existant domain())
- <<seL4 [decodeDomainInvocation/763 T0x8fee4700 "DOMAINS0002" @412c6c]: Domain Configure: invalid domain (11 >= 1).>>
- Test DOMAINS0002 passed
- Starting test 16: TEST_DOMAINS0003
- TEST_DOMAINS0003
- Running test DOMAINS0003 (Invoke non-domain cap())
- <<seL4 [decodeTCBInvocation/336 T0x8fee4700 "DOMAINS0003" @412cd0]: TCB: Illegal operation.>>
- Test DOMAINS0003 passed
- Starting test 17: TEST_IPC0001
- TEST_IPC0001
- Running test IPC0001 (Test seL4_Send + seL4_Recv)
- Test IPC0001 passed
- Starting test 18: TEST_IPC0002
- TEST_IPC0002
- Running test IPC0002 (Test seL4_Call + seL4_ReplyRecv)
- Test IPC0002 passed
- Starting test 19: TEST_IPC0003
- TEST_IPC0003
- Running test IPC0003 (Test seL4_Send + seL4_Reply + seL4_Recv)
- Test IPC0003 passed
- Starting test 20: TEST_IPC0004
- TEST_IPC0004
- Running test IPC0004 (Test seL4_NBSend + seL4_Recv)
- Test IPC0004 passed
- Starting test 21: TEST_IPC0010
- TEST_IPC0010
- Running test IPC0010 (Test suspending an IPC mid-Call())
- Test IPC0010 passed
- Starting test 22: TEST_IPC1001
- TEST_IPC1001
- Running test IPC1001 (Test inter-AS seL4_Send + seL4_Recv)
- Test IPC1001 passed
- Starting test 23: TEST_IPC1002
- TEST_IPC1002
- Running test IPC1002 (Test inter-AS seL4_Call + seL4_ReplyRecv)
- Test IPC1002 passed
- Starting test 24: TEST_IPC1003
- TEST_IPC1003
- Running test IPC1003 (Test inter-AS seL4_Send + seL4_Reply + seL4_Recv)
- Test IPC1003 passed
- Starting test 25: TEST_IPC1004
- TEST_IPC1004
- Running test IPC1004 (Test inter-AS seL4_NBSend + seL4_Recv)
- Test IPC1004 passed
- Starting test 26: TEST_NBWAIT0001
- TEST_NBWAIT0001
- Running test NBWAIT0001 (Test seL4_NBRecv)
- Test NBWAIT0001 passed
- Starting test 27: TEST_RECYCLE0001
- TEST_RECYCLE0001
- Running test RECYCLE0001 (Basic endpoint recycle testing.)
- <<seL4 [decodeInvocation/609 T0x8fed7f00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #93.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #235.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #373.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #458.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #541.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #684.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #765.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #910.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1051.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1132.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1212.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1363.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1494.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1583.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1664.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1817.>>
- <<seL4 [decodeInvocation/609 T0x80a5fb00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1944.>>
- <<seL4 [decodeInvocation/609 T0x80b2d100 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2030.>>
- <<seL4 [decodeInvocation/609 T0x80b2d300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2109.>>
- <<seL4 [decodeInvocation/609 T0x80b2d500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2256.>>
- <<seL4 [decodeInvocation/609 T0x80b2d700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2335.>>
- <<seL4 [decodeInvocation/609 T0x80b2d900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2486.>>
- <<seL4 [decodeInvocation/609 T0x80b2db00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2567.>>
- <<seL4 [decodeInvocation/609 T0x80b2dd00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2712.>>
- <<seL4 [decodeInvocation/609 T0x80b2df00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2783.>>
- <<seL4 [decodeInvocation/609 T0x8fc2a500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2931.>>
- <<seL4 [decodeInvocation/609 T0x8fc2a700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3006.>>
- <<seL4 [decodeInvocation/609 T0x8fc2a900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3155.>>
- <<seL4 [decodeInvocation/609 T0x8fc2ab00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3234.>>
- <<seL4 [decodeInvocation/609 T0x8fc2ad00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3385.>>
- <<seL4 [decodeInvocation/609 T0x8fc2af00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3466.>>
- <<seL4 [decodeInvocation/609 T0x8fd0d300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3607.>>
- Test RECYCLE0001 passed
- Starting test 28: TEST_RECYCLE0002
- TEST_RECYCLE0002
- Running test RECYCLE0002 (Recycle deletes caps)
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x8fceb100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3571.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x8fceb100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3571.>>
- <<seL4 [decodeInvocation/609 T0x8fceb300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3701.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x8fceb100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3571.>>
- <<seL4 [decodeInvocation/609 T0x8fceb300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3701.>>
- <<seL4 [decodeInvocation/609 T0x8fcebb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3776.>>
- Test RECYCLE0002 passed
- Starting test 29: TEST_RETYPE0000
- TEST_RETYPE0000
- Running test RETYPE0000 (Retype test)
- <<seL4 [decodeUntypedInvocation/147 T0x8fee4700 "RETYPE0000" @406750]: Untyped Retype: Requested destination window overruns size of node.>>
- <<seL4 [decodeUntypedInvocation/132 T0x8fee4700 "RETYPE0000" @406830]: Untyped Retype: Destination node offset #4 too large.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #0 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #1 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #2 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #3 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/140 T0x8fee4700 "RETYPE0000" @40697c]: Untyped Retype: Number of requested objects (-2147483648) too small or large.>>
- <<seL4 [decodeUntypedInvocation/147 T0x8fee4700 "RETYPE0000" @406d28]: Untyped Retype: Requested destination window overruns size of node.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @406ea8]: Untyped Retype: Slot #0 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @406ea8]: Untyped Retype: Slot #1 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @406ea8]: Untyped Retype: Slot #2 in destination window non-empty.>>
- Test RETYPE0000 passed
- Starting test 30: TEST_RETYPE0001
- TEST_RETYPE0001
- Running test RETYPE0001 (Incremental retype test)
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 2147483648 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 1073741824 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 536870912 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 268435456 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 134217728 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 67108864 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 8388608 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 4194304 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 1048576 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 524288 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 262144 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 32768 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 16384 bytes needed, 8192 bytes available).>>
- Test RETYPE0001 passed
- Starting test 31: TEST_RETYPE0002
- TEST_RETYPE0002
- Running test RETYPE0002 (Incremental retype test #2)
- <<seL4 [decodeUntypedInvocation/140 T0x8fee4700 "RETYPE0002" @4060ac]: Untyped Retype: Number of requested objects (1048576) too small or large.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0002" @40624c]: Untyped Retype: Slot #108 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0002" @4062cc]: Untyped Retype: Insufficient memory (1 * 4096 bytes needed, 0 bytes available).>>
- Test RETYPE0002 passed
- Starting test 32: TEST_SYSCALL0000
- TEST_SYSCALL0000
- Running test SYSCALL0000 (Basic seL4_Yield() testing)
- Test SYSCALL0000 passed
- Starting test 33: TEST_SYSCALL0001
- TEST_SYSCALL0001
- Running test SYSCALL0001 (Basic seL4_Send() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0001 passed
- Starting test 34: TEST_SYSCALL0002
- TEST_SYSCALL0002
- Running test SYSCALL0002 (Basic seL4_NBSend() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0002 passed
- Starting test 35: TEST_SYSCALL0003
- TEST_SYSCALL0003
- Running test SYSCALL0003 (Basic seL4_Reply() testing)
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- Test SYSCALL0003 passed
- Starting test 36: TEST_SYSCALL0004
- TEST_SYSCALL0004
- Running test SYSCALL0004 (Basic seL4_Signal() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0004 passed
- Starting test 37: TEST_SYSCALL0005
- TEST_SYSCALL0005
- Running test SYSCALL0005 (Basic seL4_Call() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0005 passed
- Starting test 38: TEST_SYSCALL0006
- TEST_SYSCALL0006
- Running test SYSCALL0006 (Basic seL4_DebugPutChar() testing)
- Test SYSCALL0006 passed
- Starting test 39: TEST_SYSCALL0010
- TEST_SYSCALL0010
- Running test SYSCALL0010 (Basic seL4_Recv() testing)
- Test SYSCALL0010 passed
- Starting test 40: TEST_SYSCALL0011
- TEST_SYSCALL0011
- Running test SYSCALL0011 (Basic seL4_ReplyRecv() testing)
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- Test SYSCALL0011 passed
- Starting test 41: TEST_SYSCALL0012
- TEST_SYSCALL0012
- Running test SYSCALL0012 (Basic seL4_NBRecv() testing)
- Test SYSCALL0012 passed
- Starting test 42: TEST_SYSCALL0013
- TEST_SYSCALL0013
- Running test SYSCALL0013 (Basic seL4_Wait() testing)
- Test SYSCALL0013 passed
- Starting test 43: TEST_THREADS0004
- TEST_THREADS0004
- Running test THREADS0004 (seL4_TCB_Configure with a NULL CSpace should fail)
- <<seL4 [decodeTCBConfigure/557 T0x8fee4700 "THREADS0004" @40ec90]: TCB Configure: CSpace cap is invalid.>>
- Test THREADS0004 passed
- Starting test 44: TEST_THREADS0005
- TEST_THREADS0005
- Running test THREADS0005 (seL4_TCB_SetSpace with a NULL CSpace should fail)
- <<seL4 [decodeSetSpace/713 T0x8fee4700 "THREADS0005" @40ed58]: TCB SetSpace: Invalid CNode cap.>>
- Test THREADS0005 passed
- Starting test 45: TEST_TRIVIAL0000
- TEST_TRIVIAL0000
- Running test TRIVIAL0000 (Ensure the test framework functions)
- Test TRIVIAL0000 passed
- Starting test 46: TEST_TRIVIAL0001
- TEST_TRIVIAL0001
- Running test TRIVIAL0001 (Ensure the allocator works)
- Test TRIVIAL0001 passed
- Starting test 47: TEST_TRIVIAL0002
- TEST_TRIVIAL0002
- Running test TRIVIAL0002 (Ensure the allocator works more than once)
- Test TRIVIAL0002 passed
- Starting test 48: TEST_VSPACE0000
- TEST_VSPACE0000
- Running test VSPACE0000 (Test threads in different cspace/vspace)
- Test VSPACE0000 passed
- Starting test 49: TEST_VSPACE0002
- TEST_VSPACE0002
- Running test VSPACE0002 (Test create ASID pool)
- Test VSPACE0002 passed
- Starting test 50: TEST_VSPACE00022
- TEST_VSPACE0002
- Running test VSPACE0002 (Test create ASID pool)
- Test VSPACE0002 passed
- Starting test 51: TEST_VSPACE00002
- TEST_VSPACE0000
- Running test VSPACE0000 (Test threads in different cspace/vspace)
- Test VSPACE0000 passed
- Starting test 52: TEST_TRIVIAL00022
- TEST_TRIVIAL0002
- Running test TRIVIAL0002 (Ensure the allocator works more than once)
- Test TRIVIAL0002 passed
- Starting test 53: TEST_TRIVIAL00012
- TEST_TRIVIAL0001
- Running test TRIVIAL0001 (Ensure the allocator works)
- Test TRIVIAL0001 passed
- Starting test 54: TEST_TRIVIAL00002
- TEST_TRIVIAL0000
- Running test TRIVIAL0000 (Ensure the test framework functions)
- Test TRIVIAL0000 passed
- Starting test 55: TEST_THREADS00052
- TEST_THREADS0005
- Running test THREADS0005 (seL4_TCB_SetSpace with a NULL CSpace should fail)
- <<seL4 [decodeSetSpace/713 T0x8fee4700 "THREADS0005" @40ed58]: TCB SetSpace: Invalid CNode cap.>>
- Test THREADS0005 passed
- Starting test 56: TEST_THREADS00042
- TEST_THREADS0004
- Running test THREADS0004 (seL4_TCB_Configure with a NULL CSpace should fail)
- <<seL4 [decodeTCBConfigure/557 T0x8fee4700 "THREADS0004" @40ec90]: TCB Configure: CSpace cap is invalid.>>
- Test THREADS0004 passed
- Starting test 57: TEST_SYSCALL00132
- TEST_SYSCALL0013
- Running test SYSCALL0013 (Basic seL4_Wait() testing)
- Test SYSCALL0013 passed
- Starting test 58: TEST_SYSCALL00122
- TEST_SYSCALL0012
- Running test SYSCALL0012 (Basic seL4_NBRecv() testing)
- Test SYSCALL0012 passed
- Starting test 59: TEST_SYSCALL00112
- TEST_SYSCALL0011
- Running test SYSCALL0011 (Basic seL4_ReplyRecv() testing)
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0011" @403770]: Attempted reply operation when no reply cap present.>>
- Test SYSCALL0011 passed
- Starting test 60: TEST_SYSCALL00102
- TEST_SYSCALL0010
- Running test SYSCALL0010 (Basic seL4_Recv() testing)
- Test SYSCALL0010 passed
- Starting test 61: TEST_SYSCALL00062
- TEST_SYSCALL0006
- Running test SYSCALL0006 (Basic seL4_DebugPutChar() testing)
- Test SYSCALL0006 passed
- Starting test 62: TEST_SYSCALL00052
- TEST_SYSCALL0005
- Running test SYSCALL0005 (Basic seL4_Call() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0005" @4047cc]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0005 passed
- Starting test 63: TEST_SYSCALL00042
- TEST_SYSCALL0004
- Running test SYSCALL0004 (Basic seL4_Signal() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0004" @403c2c]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0004 passed
- Starting test 64: TEST_SYSCALL00032
- TEST_SYSCALL0003
- Running test SYSCALL0003 (Basic seL4_Reply() testing)
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- <<seL4 [handleReply/320 T0x8fee4700 "SYSCALL0003" @403ee4]: Attempted reply operation when no reply cap present.>>
- Test SYSCALL0003 passed
- Starting test 65: TEST_SYSCALL00022
- TEST_SYSCALL0002
- Running test SYSCALL0002 (Basic seL4_NBSend() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0002" @4044d4]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0002 passed
- Starting test 66: TEST_SYSCALL00012
- TEST_SYSCALL0001
- Running test SYSCALL0001 (Basic seL4_Send() testing)
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- <<seL4 [decodeCNodeInvocation/53 T0x8fee4700 "SYSCALL0001" @4041e4]: CNodeCap: Illegal Operation attempted.>>
- Test SYSCALL0001 passed
- Starting test 67: TEST_SYSCALL00002
- TEST_SYSCALL0000
- Running test SYSCALL0000 (Basic seL4_Yield() testing)
- Test SYSCALL0000 passed
- Starting test 68: TEST_RETYPE00022
- TEST_RETYPE0002
- Running test RETYPE0002 (Incremental retype test #2)
- <<seL4 [decodeUntypedInvocation/140 T0x8fee4700 "RETYPE0002" @4060ac]: Untyped Retype: Number of requested objects (1048576) too small or large.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0002" @40624c]: Untyped Retype: Slot #108 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0002" @4062cc]: Untyped Retype: Insufficient memory (1 * 4096 bytes needed, 0 bytes available).>>
- Test RETYPE0002 passed
- Starting test 69: TEST_RETYPE00012
- TEST_RETYPE0001
- Running test RETYPE0001 (Incremental retype test)
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/83 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Invalid object size.>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 2147483648 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 1073741824 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 536870912 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 268435456 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 134217728 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 67108864 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 8388608 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 4194304 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 1048576 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 524288 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 262144 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 32768 bytes needed, 8192 bytes available).>>
- <<seL4 [decodeUntypedInvocation/203 T0x8fee4700 "RETYPE0001" @405a3c]: Untyped Retype: Insufficient memory (1 * 16384 bytes needed, 8192 bytes available).>>
- Test RETYPE0001 passed
- Starting test 70: TEST_RETYPE00002
- TEST_RETYPE0000
- Running test RETYPE0000 (Retype test)
- <<seL4 [decodeUntypedInvocation/147 T0x8fee4700 "RETYPE0000" @406750]: Untyped Retype: Requested destination window overruns size of node.>>
- <<seL4 [decodeUntypedInvocation/132 T0x8fee4700 "RETYPE0000" @406830]: Untyped Retype: Destination node offset #4 too large.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #0 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #1 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #2 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @4068a4]: Untyped Retype: Slot #3 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/140 T0x8fee4700 "RETYPE0000" @40697c]: Untyped Retype: Number of requested objects (-2147483648) too small or large.>>
- <<seL4 [decodeUntypedInvocation/147 T0x8fee4700 "RETYPE0000" @406d28]: Untyped Retype: Requested destination window overruns size of node.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @406ea8]: Untyped Retype: Slot #0 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @406ea8]: Untyped Retype: Slot #1 in destination window non-empty.>>
- <<seL4 [decodeUntypedInvocation/162 T0x8fee4700 "RETYPE0000" @406ea8]: Untyped Retype: Slot #2 in destination window non-empty.>>
- Test RETYPE0000 passed
- Starting test 71: TEST_RECYCLE00022
- TEST_RECYCLE0002
- Running test RECYCLE0002 (Recycle deletes caps)
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x8fceb100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3571.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x8fceb100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3571.>>
- <<seL4 [decodeInvocation/609 T0x8fceb300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3701.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #237.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #374.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #454.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #602.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #674.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #812.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #894.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1038.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1174.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1253.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1399.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1527.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1607.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1753.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1833.>>
- <<seL4 [decodeInvocation/609 T0x80a5fd00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #1973.>>
- <<seL4 [decodeInvocation/609 T0x80a5ff00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2106.>>
- <<seL4 [decodeInvocation/609 T0x80b29500 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2180.>>
- <<seL4 [decodeInvocation/609 T0x80b29700 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2326.>>
- <<seL4 [decodeInvocation/609 T0x80b29900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2406.>>
- <<seL4 [decodeInvocation/609 T0x80b29b00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2548.>>
- <<seL4 [decodeInvocation/609 T0x80b29d00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2628.>>
- <<seL4 [decodeInvocation/609 T0x80b29f00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2774.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2850.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #2973.>>
- <<seL4 [decodeInvocation/609 T0x8fc1e900 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3123.>>
- <<seL4 [decodeInvocation/609 T0x8fc1eb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3197.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ed00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3347.>>
- <<seL4 [decodeInvocation/609 T0x8fc1ef00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3421.>>
- <<seL4 [decodeInvocation/609 T0x8fceb100 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3571.>>
- <<seL4 [decodeInvocation/609 T0x8fceb300 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3701.>>
- <<seL4 [decodeInvocation/609 T0x8fcebb00 "child of: 'RECYCLE0002'" @40f8b8]: Attempted to invoke a null cap #3776.>>
- Test RECYCLE0002 passed
- Starting test 72: TEST_RECYCLE00012
- TEST_RECYCLE0001
- Running test RECYCLE0001 (Basic endpoint recycle testing.)
- <<seL4 [decodeInvocation/609 T0x8fed7f00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #93.>>
- <<seL4 [decodeInvocation/609 T0x809a5500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #235.>>
- <<seL4 [decodeInvocation/609 T0x809a5700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #373.>>
- <<seL4 [decodeInvocation/609 T0x809a5d00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #458.>>
- <<seL4 [decodeInvocation/609 T0x809a5f00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #541.>>
- <<seL4 [decodeInvocation/609 T0x8fe11100 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #684.>>
- <<seL4 [decodeInvocation/609 T0x8fe11300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #765.>>
- <<seL4 [decodeInvocation/609 T0x8fe11500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #910.>>
- <<seL4 [decodeInvocation/609 T0x8fe11700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1051.>>
- <<seL4 [decodeInvocation/609 T0x8fe11900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1132.>>
- <<seL4 [decodeInvocation/609 T0x8fe11b00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1212.>>
- <<seL4 [decodeInvocation/609 T0x80a5f100 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1363.>>
- <<seL4 [decodeInvocation/609 T0x80a5f300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1494.>>
- <<seL4 [decodeInvocation/609 T0x80a5f500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1583.>>
- <<seL4 [decodeInvocation/609 T0x80a5f700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1664.>>
- <<seL4 [decodeInvocation/609 T0x80a5f900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1817.>>
- <<seL4 [decodeInvocation/609 T0x80a5fb00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #1944.>>
- <<seL4 [decodeInvocation/609 T0x80b2d100 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2030.>>
- <<seL4 [decodeInvocation/609 T0x80b2d300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2109.>>
- <<seL4 [decodeInvocation/609 T0x80b2d500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2256.>>
- <<seL4 [decodeInvocation/609 T0x80b2d700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2335.>>
- <<seL4 [decodeInvocation/609 T0x80b2d900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2486.>>
- <<seL4 [decodeInvocation/609 T0x80b2db00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2567.>>
- <<seL4 [decodeInvocation/609 T0x80b2dd00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2712.>>
- <<seL4 [decodeInvocation/609 T0x80b2df00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2783.>>
- <<seL4 [decodeInvocation/609 T0x8fc2a500 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #2931.>>
- <<seL4 [decodeInvocation/609 T0x8fc2a700 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3006.>>
- <<seL4 [decodeInvocation/609 T0x8fc2a900 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3155.>>
- <<seL4 [decodeInvocation/609 T0x8fc2ab00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3234.>>
- <<seL4 [decodeInvocation/609 T0x8fc2ad00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3385.>>
- <<seL4 [decodeInvocation/609 T0x8fc2af00 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3466.>>
- <<seL4 [decodeInvocation/609 T0x8fd0d300 "child of: 'RECYCLE0001'" @40f9f8]: Attempted to invoke a null cap #3607.>>
- Test RECYCLE0001 passed
- Starting test 73: TEST_NBWAIT00012
- TEST_NBWAIT0001
- Running test NBWAIT0001 (Test seL4_NBRecv)
- Test NBWAIT0001 passed
- Starting test 74: TEST_IPC10042
- TEST_IPC1004
- Running test IPC1004 (Test inter-AS seL4_NBSend + seL4_Recv)
- Test IPC1004 passed
- Starting test 75: TEST_IPC10032
- TEST_IPC1003
- Running test IPC1003 (Test inter-AS seL4_Send + seL4_Reply + seL4_Recv)
- Test IPC1003 passed
- Starting test 76: TEST_IPC10022
- TEST_IPC1002
- Running test IPC1002 (Test inter-AS seL4_Call + seL4_ReplyRecv)
- Test IPC1002 passed
- Starting test 77: TEST_IPC10012
- TEST_IPC1001
- Running test IPC1001 (Test inter-AS seL4_Send + seL4_Recv)
- Test IPC1001 passed
- Starting test 78: TEST_IPC00102
- TEST_IPC0010
- Running test IPC0010 (Test suspending an IPC mid-Call())
- Test IPC0010 passed
- Starting test 79: TEST_IPC00042
- TEST_IPC0004
- Running test IPC0004 (Test seL4_NBSend + seL4_Recv)
- Test IPC0004 passed
- Starting test 80: TEST_IPC00032
- TEST_IPC0003
- Running test IPC0003 (Test seL4_Send + seL4_Reply + seL4_Recv)
- Test IPC0003 passed
- Starting test 81: TEST_IPC00022
- TEST_IPC0002
- Running test IPC0002 (Test seL4_Call + seL4_ReplyRecv)
- Test IPC0002 passed
- Starting test 82: TEST_IPC00012
- TEST_IPC0001
- Running test IPC0001 (Test seL4_Send + seL4_Recv)
- Test IPC0001 passed
- Starting test 83: TEST_DOMAINS00032
- TEST_DOMAINS0003
- Running test DOMAINS0003 (Invoke non-domain cap())
- <<seL4 [decodeTCBInvocation/336 T0x8fee4700 "DOMAINS0003" @412cd0]: TCB: Illegal operation.>>
- Test DOMAINS0003 passed
- Starting test 84: TEST_DOMAINS00022
- TEST_DOMAINS0002
- Running test DOMAINS0002 (Try non-existant domain())
- <<seL4 [decodeDomainInvocation/763 T0x8fee4700 "DOMAINS0002" @412c6c]: Domain Configure: invalid domain (11 >= 1).>>
- Test DOMAINS0002 passed
- Starting test 85: TEST_DOMAINS00012
- TEST_DOMAINS0001
- Running test DOMAINS0001 (Change domain successfully())
- Test DOMAINS0001 passed
- Starting test 86: TEST_CSPACE00012
- TEST_CSPACE0001
- Running test CSPACE0001 (Test full cspace resolution)
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #0.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #1.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #2.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #3.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #4.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #5.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #6.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #7.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #8.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #9.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #10.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #11.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #12.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #13.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #14.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #15.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #16.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #17.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #18.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #19.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #20.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #21.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #22.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #23.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #24.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #25.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #26.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #27.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #28.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #29.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #30.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40ee3c]: Attempted to invoke a null cap #31.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655764.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655767.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655761.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655773.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655749.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655797.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655701.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655893.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431655509.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431656277.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431654741.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431657813.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431651669.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431663957.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431639381.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431688533.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431590229.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431786837.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1431393621.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1432180053.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1430607189.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1433752917.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1427461461.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1440044373.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1414878549.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1465210197.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1364546901.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1565873493.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1163220309.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #1968526677.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #357913941.>>
- <<seL4 [decodeInvocation/609 T0x809a4300 "child of: 'CSPACE0001'" @40eec8]: Attempted to invoke a null cap #3579139413.>>
- Test CSPACE0001 passed
- Starting test 87: TEST_CNODEOP00092
- TEST_CNODEOP0009
- Running test CNODEOP0009 (Basic seL4_CNode_SaveCaller() testing)
- <<seL4 [invokeCNodeSaveCaller/367 T0x8fee4700 "CNODEOP0009" @40186c]: CNode SaveCaller: Reply cap not present.>>
- <<seL4 [decodeCNodeInvocation/207 T0x8fee4700 "CNODEOP0009" @40186c]: CNode SaveCaller: Destination slot not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0009" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- Test CNODEOP0009 passed
- Starting test 88: TEST_CNODEOP00082
- TEST_CNODEOP0008
- Running test CNODEOP0008 (Basic seL4_CNode_Rotate() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/259 T0x8fee4700 "CNODEOP0008" @40171c]: CNode Rotate: Pivot slot the same as source or dest slot.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0008" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0008 passed
- Starting test 89: TEST_CNODEOP00072
- TEST_CNODEOP0007
- Running test CNODEOP0007 (Basic seL4_CNode_Revoke() testing)
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0007" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0007" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0007 passed
- Starting test 90: TEST_CNODEOP00062
- TEST_CNODEOP0006
- Running test CNODEOP0006 (Basic seL4_CNode_Recycle() testing)
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0006" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/217 T0x8fee4700 "CNODEOP0006" @4014f4]: CNode Recycle: Target cap invalid.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0006" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0006 passed
- Starting test 91: TEST_CNODEOP00052
- TEST_CNODEOP0005
- Running test CNODEOP0005 (Basic seL4_CNode_Mutate() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @4013e4]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @4013e4]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0005" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0005 passed
- Starting test 92: TEST_CNODEOP00042
- TEST_CNODEOP0004
- Running test CNODEOP0004 (Basic seL4_CNode_Move() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0004" @40122c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- Test CNODEOP0004 passed
- Starting test 93: TEST_CNODEOP00032
- TEST_CNODEOP0003
- Running test CNODEOP0003 (Basic seL4_CNode_Mint() testing)
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0003" @4010d0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0003" @4010d0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0003 passed
- Starting test 94: TEST_CNODEOP00022
- TEST_CNODEOP0002
- Running test CNODEOP0002 (Basic seL4_CNode_Delete() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0002" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0002" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0002 passed
- Starting test 95: TEST_CNODEOP00012
- TEST_CNODEOP0001
- Running test CNODEOP0001 (Basic seL4_CNode_Copy() testing)
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0001" @400e8c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/94 T0x8fee4700 "CNODEOP0001" @400e8c]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @40122c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- <<seL4 [decodeCNodeInvocation/106 T0x8fee4700 "CNODEOP0001" @400e8c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
- Test CNODEOP0001 passed
- Starting test 96: TEST_BIND00042
- TEST_BIND0004
- Running test BIND0004 (Test IPC ordering 2) bound tcb waits on bound notification 1) another tcb sends a message)
- Test BIND0004 passed
- Starting test 97: TEST_BIND00032
- TEST_BIND0003
- Running test BIND0003 (Test IPC ordering 1) bound tcb waits on bound notification 2) another tcb sends a message)
- Test BIND0003 passed
- Starting test 98: TEST_BIND00022
- TEST_BIND0002
- Running test BIND0002 (Test that a bound tcb waiting on its bound notification recieves notifications)
- Test BIND0002 passed
- Starting test 99: TEST_BIND00012
- TEST_BIND0001
- Running test BIND0001 (Test that a bound tcb waiting on a sync endpoint receives normal sync ipc and notification notifications.)
- Test BIND0001 passed
- Test suite passed. 100 tests passed.
- 100/100 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
- sys_tkill assuming self kill
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement