API tools faq
paste
Guest User

sel4 test on beagleboard

a guest
Aug 4th, 2014
537
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 252.41 KB | None | 0 0
raw download clone embed print report
  1. $ cu -l /dev/ttyUSB0 -s 115200
  2. Connected.
  3.  
  4. Texas Instruments X-Loader 1.5.0 (Jun 14 2011 - 22:04:07)
  5. Beagle Rev C5
  6. Reading boot sector
  7. Loading u-boot.bin from nand
  8.  
  9.  
  10. U-Boot 2011.03-rc1-00000-g9a3cc57-dirty (Apr 01 2011 - 17:41:42)
  11.  
  12. OMAP3530-GP ES3.1.2, CPU-OPP2, L3-165MHz, Max CPU Clock 720 mHz
  13. OMAP3 Beagle board + LPDDR/NAND
  14. I2C: ready
  15. DRAM: 256 MiB
  16. NAND: 512 MiB
  17. MMC: OMAP SD/MMC: 0
  18. In: serial
  19. Out: serial
  20. Err: serial
  21. Beagle Rev C4
  22. No EEPROM on expansion board
  23. Die ID #0652000700000000015a67670e015002
  24. Hit any key to stop autoboot: 3
  25. OMAP3 beagleboard.org # mmc rescan 0
  26. OMAP3 beagleboard.org # fatload mmc 0 0x81ff8000 sel4test-driver-image-arm-omap3
  27. reading sel4test-driver-image-arm-omap3
  28.  
  29. 3732892 bytes read
  30. OMAP3 beagleboard.org # go 0x82000000
  31. ## Starting application at 0x82000000 ...
  32.  
  33. ELF-loader started.
  34. paddr=[82000000..8237c01f]
  35. ELF-loading image 'kernel'
  36. paddr=[80000000..80039fff]
  37. vaddr=[f0000000..f0039fff]
  38. virt_entry=f0000000
  39. ELF-loading image 'sel4test-driver'
  40. paddr=[8003a000..8036afff]
  41. vaddr=[8000..338fff]
  42. virt_entry=8000
  43. Enabling MMU and paging
  44. Jumping to kernel-image entry point...
  45.  
  46. Bootstrapping kernel
  47. Switching to a safer, bigger stack...
  48. seL4 Test
  49. =========
  50.  
  51. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 31 type 0
  52.  
  53. Failed to allocate object of size 2147483648, error 1
  54. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 30 type 0
  55.  
  56. Failed to allocate object of size 1073741824, error 1
  57. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 29 type 0
  58.  
  59. Failed to allocate object of size 536870912, error 1
  60. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 28 type 0
  61.  
  62. Failed to allocate object of size 268435456, error 1
  63. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 27 type 0
  64.  
  65. Failed to allocate object of size 134217728, error 1
  66. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 26 type 0
  67.  
  68. Failed to allocate object of size 67108864, error 1
  69. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 25 type 0
  70.  
  71. Failed to allocate object of size 33554432, error 1
  72. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 24 type 0
  73.  
  74. Failed to allocate object of size 16777216, error 1
  75. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 23 type 0
  76.  
  77. Failed to allocate object of size 8388608, error 1
  78. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 22 type 0
  79.  
  80. Failed to allocate object of size 4194304, error 1
  81. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 21 type 0
  82.  
  83. Failed to allocate object of size 2097152, error 1
  84. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 20 type 0
  85.  
  86. Failed to allocate object of size 1048576, error 1
  87. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 19 type 0
  88.  
  89. Failed to allocate object of size 524288, error 1
  90. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 18 type 0
  91.  
  92. Failed to allocate object of size 262144, error 1
  93. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 17 type 0
  94.  
  95. Failed to allocate object of size 131072, error 1
  96. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 16 type 0
  97.  
  98. Failed to allocate object of size 65536, error 1
  99. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 15 type 0
  100.  
  101. Failed to allocate object of size 32768, error 1
  102. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 14 type 0
  103.  
  104. Failed to allocate object of size 16384, error 1
  105. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 13 type 0
  106.  
  107. Failed to allocate object of size 8192, error 1
  108. <testsuite>
  109. <testcase classname="sel4test" name="TEST_CACHEFLUSH0001">
  110. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  111. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  112. Running test CACHEFLUSH0001 (Test a cache maintenance on pages)
  113. Test CACHEFLUSH0001 passed
  114. <system-out> TEST_CACHEFLUSH0001
  115. </system-out>
  116. </testcase>
  117. <testcase classname="sel4test" name="TEST_CACHEFLUSH0002">
  118. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  119. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  120. Running test CACHEFLUSH0002 (Test a cache maintenance on page directories)
  121. Test CACHEFLUSH0002 passed
  122. <system-out> TEST_CACHEFLUSH0002
  123. </system-out>
  124. </testcase>
  125. <testcase classname="sel4test" name="TEST_CNODEOP0001">
  126. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  127. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  128. Running test CNODEOP0001 (Basic seL4_CNode_Copy() testing)
  129. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  130. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @8494]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  131. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  132. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @8494]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  133. <<seL4 [decodeInvocation/590 Tffdf0700 @8aec]: Attempted to invoke a null cap #295.>>
  134. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  135. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  136. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @8494]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  137. <<seL4 [decodeInvocation/590 Tffdf0700 @8aec]: Attempted to invoke a null cap #291.>>
  138. Test CNODEOP0001 passed
  139. <system-out> TEST_CNODEOP0001
  140. </system-out>
  141. </testcase>
  142. <testcase classname="sel4test" name="TEST_CNODEOP0002">
  143. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  144. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  145. Running test CNODEOP0002 (Basic seL4_CNode_Delete() testing)
  146. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  147. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  148. Test CNODEOP0002 passed
  149. <system-out> TEST_CNODEOP0002
  150. </system-out>
  151. </testcase>
  152. <testcase classname="sel4test" name="TEST_CNODEOP0003">
  153. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  154. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  155. Running test CNODEOP0003 (Basic seL4_CNode_Mint() testing)
  156. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @85e0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  157. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @85e0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  158. <<seL4 [decodeInvocation/590 Tffdf0700 @8aec]: Attempted to invoke a null cap #295.>>
  159. Test CNODEOP0003 passed
  160. <system-out> TEST_CNODEOP0003
  161. </system-out>
  162. </testcase>
  163. <testcase classname="sel4test" name="TEST_CNODEOP0004">
  164. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  165. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  166. Running test CNODEOP0004 (Basic seL4_CNode_Move() testing)
  167. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  168. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  169. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  170. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  171. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  172. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  173. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  174. Test CNODEOP0004 passed
  175. <system-out> TEST_CNODEOP0004
  176. </system-out>
  177. </testcase>
  178. <testcase classname="sel4test" name="TEST_CNODEOP0005">
  179. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  180. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  181. Running test CNODEOP0005 (Basic seL4_CNode_Mutate() testing)
  182. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  183. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  184. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @87d4]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  185. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  186. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  187. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @87d4]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  188. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  189. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  190. Test CNODEOP0005 passed
  191. <system-out> TEST_CNODEOP0005
  192. </system-out>
  193. </testcase>
  194. <testcase classname="sel4test" name="TEST_CNODEOP0006">
  195. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  196. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  197. Running test CNODEOP0006 (Basic seL4_CNode_Recycle() testing)
  198. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  199. <<seL4 [decodeCNodeInvocation/217 Tffdf0700 @8874]: CNode Recycle: Target cap invalid.>>
  200. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  201. Test CNODEOP0006 passed
  202. <system-out> TEST_CNODEOP0006
  203. </system-out>
  204. </testcase>
  205. <testcase classname="sel4test" name="TEST_CNODEOP0007">
  206. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  207. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  208. Running test CNODEOP0007 (Basic seL4_CNode_Revoke() testing)
  209. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  210. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  211. Test CNODEOP0007 passed
  212. <system-out> TEST_CNODEOP0007
  213. </system-out>
  214. </testcase>
  215. <testcase classname="sel4test" name="TEST_CNODEOP0008">
  216. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  217. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  218. Running test CNODEOP0008 (Basic seL4_CNode_Rotate() testing)
  219. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  220. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  221. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  222. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  223. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  224. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  225. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  226. <<seL4 [decodeCNodeInvocation/259 Tffdf0700 @89c4]: CNode Rotate: Pivot slot the same as source or dest slot.>>
  227. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  228. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  229. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  230. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  231. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  232. Test CNODEOP0008 passed
  233. <system-out> TEST_CNODEOP0008
  234. </system-out>
  235. </testcase>
  236. <testcase classname="sel4test" name="TEST_CNODEOP0009">
  237. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  238. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  239. Running test CNODEOP0009 (Basic seL4_CNode_SaveCaller() testing)
  240. <<seL4 [invokeCNodeSaveCaller/367 Tffdf0700 @8a98]: CNode SaveCaller: Reply cap not present.>>
  241. <<seL4 [decodeCNodeInvocation/207 Tffdf0700 @8a98]: CNode SaveCaller: Destination slot not empty.>>
  242. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  243. Test CNODEOP0009 passed
  244. <system-out> TEST_CNODEOP0009
  245. </system-out>
  246. </testcase>
  247. <testcase classname="sel4test" name="TEST_CSPACE0001">
  248. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  249. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  250. Running test CSPACE0001 (Test full 32-bit cspace resolution)
  251. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #0.>>
  252. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #1.>>
  253. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #2.>>
  254. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #3.>>
  255. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #4.>>
  256. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #5.>>
  257. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #6.>>
  258. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #7.>>
  259. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #8.>>
  260. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #9.>>
  261. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #10.>>
  262. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #11.>>
  263. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #12.>>
  264. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #13.>>
  265. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #14.>>
  266. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #15.>>
  267. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #16.>>
  268. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #17.>>
  269. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #18.>>
  270. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #19.>>
  271. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #20.>>
  272. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #21.>>
  273. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #22.>>
  274. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #23.>>
  275. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #24.>>
  276. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #25.>>
  277. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #26.>>
  278. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #27.>>
  279. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #28.>>
  280. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #29.>>
  281. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #30.>>
  282. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #31.>>
  283. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655764.>>
  284. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655767.>>
  285. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655761.>>
  286. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655773.>>
  287. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655749.>>
  288. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655797.>>
  289. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655701.>>
  290. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655893.>>
  291. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655509.>>
  292. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431656277.>>
  293. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431654741.>>
  294. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431657813.>>
  295. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431651669.>>
  296. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431663957.>>
  297. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431639381.>>
  298. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431688533.>>
  299. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431590229.>>
  300. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431786837.>>
  301. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431393621.>>
  302. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1432180053.>>
  303. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1430607189.>>
  304. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1433752917.>>
  305. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1427461461.>>
  306. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1440044373.>>
  307. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1414878549.>>
  308. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1465210197.>>
  309. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1364546901.>>
  310. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1565873493.>>
  311. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1163220309.>>
  312. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1968526677.>>
  313. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #357913941.>>
  314. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #3579139413.>>
  315. Test CSPACE0001 passed
  316. <system-out> TEST_CSPACE0001
  317. </system-out>
  318. </testcase>
  319. <testcase classname="sel4test" name="TEST_DOMAINS0001">
  320. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  321. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  322. Running test DOMAINS0001 (Change domain successfully())
  323. Test DOMAINS0001 passed
  324. <system-out> TEST_DOMAINS0001
  325. </system-out>
  326. </testcase>
  327. <testcase classname="sel4test" name="TEST_DOMAINS0002">
  328. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  329. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  330. Running test DOMAINS0002 (Try non-existant domain())
  331. <<seL4 [decodeDomainInvocation/736 Tffdf0700 @cda0]: Domain Configure: invalid domain (11 >= 1).>>
  332. Test DOMAINS0002 passed
  333. <system-out> TEST_DOMAINS0002
  334. </system-out>
  335. </testcase>
  336. <testcase classname="sel4test" name="TEST_DOMAINS0003">
  337. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  338. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  339. Running test DOMAINS0003 (Invoke non-domain cap())
  340. <<seL4 [decodeTCBInvocation/308 Tffdf0700 @cde4]: TCB: Illegal operation.>>
  341. Test DOMAINS0003 passed
  342. <system-out> TEST_DOMAINS0003
  343. </system-out>
  344. </testcase>
  345. <testcase classname="sel4test" name="TEST_DOMAINS0004">
  346. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  347. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  348. Running test DOMAINS0004 (Run threads in domains())
  349. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, Test DOMAINS0004 passed
  350. <system-out> TEST_DOMAINS0004
  351. </system-out>
  352. </testcase>
  353. <testcase classname="sel4test" name="TEST_FPU0000">
  354. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  355. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  356. Running test FPU0000 (Ensure that simple FPU operations work)
  357. Test FPU0000 passed
  358. <system-out> TEST_FPU0000
  359. </system-out>
  360. </testcase>
  361. <testcase classname="sel4test" name="TEST_FPU0001">
  362. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  363. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  364. Running test FPU0001 (Ensure multiple threads can use FPU simultaneously)
  365. Test FPU0001 passed
  366. <system-out> TEST_FPU0001
  367. </system-out>
  368. </testcase>
  369. <testcase classname="sel4test" name="TEST_FRAMEEXPORTS0001">
  370. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  371. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  372. Running test FRAMEEXPORTS0001 (Test that we can access all exported frames)
  373. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 24 type 8
  374.  
  375. Failed to allocate object of size 16777216, error 1
  376. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 20 type 7
  377.  
  378. Failed to allocate object of size 1048576, error 1
  379. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 16 type 6
  380.  
  381. Failed to allocate object of size 65536, error 1
  382. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 12 type 5
  383.  
  384. Failed to allocate object of size 4096, error 1
  385. Test FRAMEEXPORTS0001 passed
  386. <system-out> TEST_FRAMEEXPORTS0001
  387. </system-out>
  388. </testcase>
  389. <testcase classname="sel4test" name="TEST_FRAMERECYCLE0001">
  390. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  391. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  392. Running test FRAMERECYCLE0001 (Test recycling of frame caps)
  393. Test FRAMERECYCLE0001 passed
  394. <system-out> TEST_FRAMERECYCLE0001
  395. </system-out>
  396. </testcase>
  397. <testcase classname="sel4test" name="TEST_INTERRUPT0001">
  398. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  399. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  400. Running test INTERRUPT0001 (Test interrupts with timer)
  401. Test INTERRUPT0001 passed
  402. <system-out> TEST_INTERRUPT0001
  403. </system-out>
  404. </testcase>
  405. <testcase classname="sel4test" name="TEST_IPC0001">
  406. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  407. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  408. Running test IPC0001 (Test seL4_Send + seL4_Wait)
  409. Test IPC0001 passed
  410. <system-out> TEST_IPC0001
  411. </system-out>
  412. </testcase>
  413. <testcase classname="sel4test" name="TEST_IPC0002">
  414. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  415. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  416. Running test IPC0002 (Test seL4_Call + seL4_ReplyWait)
  417. Test IPC0002 passed
  418. <system-out> TEST_IPC0002
  419. </system-out>
  420. </testcase>
  421. <testcase classname="sel4test" name="TEST_IPC0003">
  422. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  423. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  424. Running test IPC0003 (Test seL4_Send + seL4_Reply + seL4_Wait)
  425. Test IPC0003 passed
  426. <system-out> TEST_IPC0003
  427. </system-out>
  428. </testcase>
  429. <testcase classname="sel4test" name="TEST_IPC0004">
  430. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  431. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  432. Running test IPC0004 (Test seL4_NBSend + seL4_Wait)
  433. Test IPC0004 passed
  434. <system-out> TEST_IPC0004
  435. </system-out>
  436. </testcase>
  437. <testcase classname="sel4test" name="TEST_IPC0010">
  438. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  439. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  440. Running test IPC0010 (Test suspending an IPC mid-Call())
  441. Test IPC0010 passed
  442. <system-out> TEST_IPC0010
  443. </system-out>
  444. </testcase>
  445. <testcase classname="sel4test" name="TEST_IPC1001">
  446. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  447. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  448. Running test IPC1001 (Test inter-AS seL4_Send + seL4_Wait)
  449. Test IPC1001 passed
  450. <system-out> TEST_IPC1001
  451. </system-out>
  452. </testcase>
  453. <testcase classname="sel4test" name="TEST_IPC1002">
  454. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  455. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  456. Running test IPC1002 (Test inter-AS seL4_Call + seL4_ReplyWait)
  457. Test IPC1002 passed
  458. <system-out> TEST_IPC1002
  459. </system-out>
  460. </testcase>
  461. <testcase classname="sel4test" name="TEST_IPC1003">
  462. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  463. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  464. Running test IPC1003 (Test inter-AS seL4_Send + seL4_Reply + seL4_Wait)
  465. Test IPC1003 passed
  466. <system-out> TEST_IPC1003
  467. </system-out>
  468. </testcase>
  469. <testcase classname="sel4test" name="TEST_IPC1004">
  470. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  471. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  472. Running test IPC1004 (Test inter-AS seL4_NBSend + seL4_Wait)
  473. Test IPC1004 passed
  474. <system-out> TEST_IPC1004
  475. </system-out>
  476. </testcase>
  477. <testcase classname="sel4test" name="TEST_PAGEFAULT0001">
  478. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  479. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  480. Running test PAGEFAULT0001 (Test read page fault)
  481. Test PAGEFAULT0001 passed
  482. <system-out> TEST_PAGEFAULT0001
  483. </system-out>
  484. </testcase>
  485. <testcase classname="sel4test" name="TEST_PAGEFAULT0002">
  486. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  487. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  488. Running test PAGEFAULT0002 (Test write page fault)
  489. Test PAGEFAULT0002 passed
  490. <system-out> TEST_PAGEFAULT0002
  491. </system-out>
  492. </testcase>
  493. <testcase classname="sel4test" name="TEST_PAGEFAULT0003">
  494. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  495. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  496. Running test PAGEFAULT0003 (Test execute page fault)
  497. Test PAGEFAULT0003 passed
  498. <system-out> TEST_PAGEFAULT0003
  499. </system-out>
  500. </testcase>
  501. <testcase classname="sel4test" name="TEST_PAGEFAULT0004">
  502. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  503. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  504. Running test PAGEFAULT0004 (Test unknown system call)
  505. Test PAGEFAULT0004 passed
  506. <system-out> TEST_PAGEFAULT0004
  507. </system-out>
  508. </testcase>
  509. <testcase classname="sel4test" name="TEST_PAGEFAULT0005">
  510. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  511. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  512. Running test PAGEFAULT0005 (Test undefined instruction)
  513. Test PAGEFAULT0005 passed
  514. <system-out> TEST_PAGEFAULT0005
  515. </system-out>
  516. </testcase>
  517. <testcase classname="sel4test" name="TEST_PAGEFAULT1001">
  518. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  519. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  520. Running test PAGEFAULT1001 (Test read page fault (inter-AS))
  521. Test PAGEFAULT1001 passed
  522. <system-out> TEST_PAGEFAULT1001
  523. </system-out>
  524. </testcase>
  525. <testcase classname="sel4test" name="TEST_PAGEFAULT1002">
  526. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  527. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  528. Running test PAGEFAULT1002 (Test write page fault (inter-AS))
  529. Test PAGEFAULT1002 passed
  530. <system-out> TEST_PAGEFAULT1002
  531. </system-out>
  532. </testcase>
  533. <testcase classname="sel4test" name="TEST_PAGEFAULT1003">
  534. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  535. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  536. Running test PAGEFAULT1003 (Test execute page fault (inter-AS))
  537. Test PAGEFAULT1003 passed
  538. <system-out> TEST_PAGEFAULT1003
  539. </system-out>
  540. </testcase>
  541. <testcase classname="sel4test" name="TEST_PAGEFAULT1004">
  542. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  543. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  544. Running test PAGEFAULT1004 (Test unknown system call (inter-AS))
  545. Test PAGEFAULT1004 passed
  546. <system-out> TEST_PAGEFAULT1004
  547. </system-out>
  548. </testcase>
  549. <testcase classname="sel4test" name="TEST_PREEMPT_REVOKE">
  550. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  551. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  552. Running test PREEMPT_REVOKE (Test preemption path in revoke)
  553. Test PREEMPT_REVOKE passed
  554. <system-out> TEST_PREEMPT_REVOKE
  555. </system-out>
  556. </testcase>
  557. <testcase classname="sel4test" name="TEST_PT0001">
  558. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  559. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  560. Running test PT0001 (Fun with page tables on ARM)
  561. Test PT0001 passed
  562. <system-out> TEST_PT0001
  563. </system-out>
  564. </testcase>
  565. <testcase classname="sel4test" name="TEST_RECYCLE0001">
  566. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  567. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  568. Running test RECYCLE0001 (Basic endpoint recycle testing.)
  569. <<seL4 [decodeInvocation/590 Tf0001f00 @d234]: Attempted to invoke a null cap #303.>>
  570. <<seL4 [decodeInvocation/590 Tff13a100 @d234]: Attempted to invoke a null cap #378.>>
  571. <<seL4 [decodeInvocation/590 Tff13a300 @d234]: Attempted to invoke a null cap #438.>>
  572. <<seL4 [decodeInvocation/590 Tff13a900 @d234]: Attempted to invoke a null cap #511.>>
  573. <<seL4 [decodeInvocation/590 Tff13ab00 @d234]: Attempted to invoke a null cap #512.>>
  574. <<seL4 [decodeInvocation/590 Tff13ad00 @d234]: Attempted to invoke a null cap #639.>>
  575. <<seL4 [decodeInvocation/590 Tff13af00 @d234]: Attempted to invoke a null cap #648.>>
  576. <<seL4 [decodeInvocation/590 Tffd85100 @d234]: Attempted to invoke a null cap #709.>>
  577. <<seL4 [decodeInvocation/590 Tffd85300 @d234]: Attempted to invoke a null cap #776.>>
  578. <<seL4 [decodeInvocation/590 Tffd85500 @d234]: Attempted to invoke a null cap #843.>>
  579. <<seL4 [decodeInvocation/590 Tffd85700 @d234]: Attempted to invoke a null cap #914.>>
  580. <<seL4 [decodeInvocation/590 Tffd85900 @d234]: Attempted to invoke a null cap #981.>>
  581. <<seL4 [decodeInvocation/590 Tffd85b00 @d234]: Attempted to invoke a null cap #1048.>>
  582. <<seL4 [decodeInvocation/590 Tffd85d00 @d234]: Attempted to invoke a null cap #1117.>>
  583. <<seL4 [decodeInvocation/590 Tffd85f00 @d234]: Attempted to invoke a null cap #1180.>>
  584. <<seL4 [decodeInvocation/590 Tf03d3100 @d234]: Attempted to invoke a null cap #1245.>>
  585. <<seL4 [decodeInvocation/590 Tf03d3300 @d234]: Attempted to invoke a null cap #1310.>>
  586. <<seL4 [decodeInvocation/590 Tf03d3900 @d234]: Attempted to invoke a null cap #1316.>>
  587. <<seL4 [decodeInvocation/590 Tf03d3b00 @d234]: Attempted to invoke a null cap #1439.>>
  588. <<seL4 [decodeInvocation/590 Tf03d3d00 @d234]: Attempted to invoke a null cap #1448.>>
  589. <<seL4 [decodeInvocation/590 Tf03d3f00 @d234]: Attempted to invoke a null cap #1517.>>
  590. <<seL4 [decodeInvocation/590 Tff1bd100 @d234]: Attempted to invoke a null cap #1588.>>
  591. <<seL4 [decodeInvocation/590 Tff1bd300 @d234]: Attempted to invoke a null cap #1651.>>
  592. <<seL4 [decodeInvocation/590 Tff1bd500 @d234]: Attempted to invoke a null cap #1710.>>
  593. <<seL4 [decodeInvocation/590 Tff1bd700 @d234]: Attempted to invoke a null cap #1783.>>
  594. <<seL4 [decodeInvocation/590 Tff1bd900 @d234]: Attempted to invoke a null cap #1846.>>
  595. <<seL4 [decodeInvocation/590 Tff1bdb00 @d234]: Attempted to invoke a null cap #1919.>>
  596. <<seL4 [decodeInvocation/590 Tff1bdd00 @d234]: Attempted to invoke a null cap #1922.>>
  597. <<seL4 [decodeInvocation/590 Tff1bdf00 @d234]: Attempted to invoke a null cap #1989.>>
  598. <<seL4 [decodeInvocation/590 Tffd4b100 @d234]: Attempted to invoke a null cap #2058.>>
  599. <<seL4 [decodeInvocation/590 Tffd4b500 @d234]: Attempted to invoke a null cap #2123.>>
  600. <<seL4 [decodeInvocation/590 Tffd4b700 @d234]: Attempted to invoke a null cap #2179.>>
  601. Test RECYCLE0001 passed
  602. <system-out> TEST_RECYCLE0001
  603. </system-out>
  604. </testcase>
  605. <testcase classname="sel4test" name="TEST_RECYCLE0002">
  606. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  607. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  608. Running test RECYCLE0002 (Recycle deletes caps)
  609. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  610. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  611. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  612. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  613. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  614. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  615. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  616. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  617. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  618. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  619. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  620. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  621. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  622. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  623. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  624. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  625. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  626. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  627. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  628. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  629. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  630. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  631. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  632. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  633. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  634. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  635. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  636. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  637. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  638. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  639. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  640. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  641. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  642. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  643. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  644. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  645. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  646. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  647. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  648. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  649. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  650. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  651. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  652. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  653. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  654. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  655. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  656. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  657. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  658. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  659. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  660. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  661. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  662. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  663. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  664. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  665. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  666. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  667. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  668. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  669. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  670. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  671. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  672. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  673. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  674. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  675. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  676. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  677. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  678. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  679. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  680. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  681. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  682. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  683. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  684. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  685. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  686. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  687. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  688. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  689. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  690. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  691. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  692. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  693. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  694. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  695. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  696. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  697. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  698. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  699. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  700. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  701. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  702. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  703. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  704. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  705. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  706. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  707. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  708. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  709. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  710. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  711. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  712. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  713. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  714. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  715. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  716. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  717. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  718. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  719. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  720. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  721. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  722. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  723. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  724. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  725. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  726. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  727. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  728. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  729. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  730. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  731. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  732. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  733. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  734. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  735. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  736. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  737. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  738. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  739. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  740. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  741. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  742. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  743. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  744. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  745. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  746. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  747. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  748. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  749. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  750. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  751. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  752. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  753. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  754. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  755. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  756. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  757. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  758. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  759. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  760. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  761. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  762. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  763. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  764. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  765. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  766. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  767. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  768. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  769. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  770. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  771. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  772. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  773. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  774. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  775. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  776. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  777. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  778. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  779. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  780. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  781. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  782. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  783. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  784. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  785. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  786. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  787. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  788. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  789. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  790. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  791. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  792. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  793. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  794. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  795. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  796. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  797. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  798. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  799. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  800. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  801. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  802. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  803. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  804. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  805. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  806. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  807. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  808. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  809. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  810. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  811. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  812. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  813. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  814. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  815. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  816. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  817. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  818. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  819. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  820. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  821. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  822. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  823. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  824. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  825. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  826. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  827. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  828. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  829. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  830. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  831. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  832. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  833. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  834. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  835. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  836. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  837. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  838. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  839. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  840. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  841. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  842. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  843. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  844. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  845. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  846. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  847. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  848. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  849. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  850. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  851. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  852. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  853. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  854. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  855. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  856. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  857. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  858. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  859. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  860. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  861. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  862. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  863. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  864. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  865. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  866. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  867. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  868. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  869. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  870. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  871. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  872. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  873. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  874. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  875. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  876. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  877. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  878. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  879. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  880. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  881. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  882. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  883. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  884. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  885. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  886. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  887. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  888. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  889. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  890. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  891. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  892. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  893. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  894. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  895. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  896. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  897. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  898. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  899. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  900. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  901. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  902. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  903. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  904. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  905. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  906. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  907. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  908. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  909. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  910. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  911. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  912. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  913. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  914. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  915. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  916. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  917. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  918. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  919. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  920. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  921. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  922. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  923. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  924. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  925. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  926. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  927. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  928. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  929. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  930. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  931. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  932. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  933. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  934. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  935. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  936. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  937. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  938. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  939. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  940. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  941. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  942. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  943. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  944. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  945. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  946. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  947. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  948. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  949. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  950. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  951. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  952. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  953. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  954. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  955. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  956. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  957. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  958. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  959. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  960. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  961. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  962. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  963. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  964. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  965. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  966. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  967. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  968. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  969. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  970. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  971. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  972. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  973. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  974. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  975. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  976. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  977. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  978. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  979. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  980. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  981. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  982. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  983. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  984. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  985. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  986. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  987. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  988. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  989. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  990. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  991. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  992. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  993. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  994. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  995. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  996. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  997. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  998. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  999. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1000. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1001. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1002. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1003. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1004. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1005. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1006. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  1007. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  1008. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  1009. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  1010. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  1011. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  1012. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  1013. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  1014. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  1015. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1016. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1017. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1018. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1019. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1020. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1021. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1022. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1023. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1024. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1025. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1026. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1027. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1028. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1029. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1030. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1031. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1032. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1033. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1034. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  1035. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  1036. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  1037. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  1038. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  1039. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  1040. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  1041. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  1042. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  1043. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  1044. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1045. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1046. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1047. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1048. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1049. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1050. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1051. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1052. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1053. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1054. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1055. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1056. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1057. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1058. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1059. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1060. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1061. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1062. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1063. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  1064. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  1065. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  1066. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  1067. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  1068. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  1069. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  1070. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  1071. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  1072. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  1073. <<seL4 [decodeInvocation/590 Tffd3b500 @d100]: Attempted to invoke a null cap #2224.>>
  1074. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1075. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1076. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1077. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1078. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1079. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1080. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1081. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1082. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1083. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1084. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1085. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1086. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1087. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1088. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1089. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1090. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1091. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1092. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1093. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  1094. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  1095. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  1096. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  1097. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  1098. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  1099. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  1100. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  1101. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  1102. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  1103. <<seL4 [decodeInvocation/590 Tffd3b500 @d100]: Attempted to invoke a null cap #2224.>>
  1104. <<seL4 [decodeInvocation/590 Tffd3bd00 @d100]: Attempted to invoke a null cap #2291.>>
  1105. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1106. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1107. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1108. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1109. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1110. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1111. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1112. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1113. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1114. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1115. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1116. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1117. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1118. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1119. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1120. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1121. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1122. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1123. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1124. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  1125. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  1126. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  1127. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  1128. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  1129. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  1130. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  1131. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  1132. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  1133. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  1134. <<seL4 [decodeInvocation/590 Tffd3b500 @d100]: Attempted to invoke a null cap #2224.>>
  1135. <<seL4 [decodeInvocation/590 Tffd3bd00 @d100]: Attempted to invoke a null cap #2291.>>
  1136. <<seL4 [decodeInvocation/590 Tffd3bf00 @d100]: Attempted to invoke a null cap #2337.>>
  1137. Test RECYCLE0002 passed
  1138. <system-out> TEST_RECYCLE0002
  1139. </system-out>
  1140. </testcase>
  1141. <testcase classname="sel4test" name="TEST_REGRESSIONS0001">
  1142. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1143. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1144. Running test REGRESSIONS0001 (Ensure WriteRegisters functions correctly)
  1145. Test REGRESSIONS0001 passed
  1146. <system-out> TEST_REGRESSIONS0001
  1147. </system-out>
  1148. </testcase>
  1149. <testcase classname="sel4test" name="TEST_REGRESSIONS0002">
  1150. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1151. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1152. Running test REGRESSIONS0002 (Test the load-exclusive monitor is cleared on context switch)
  1153. Test REGRESSIONS0002 passed
  1154. <system-out> TEST_REGRESSIONS0002
  1155. </system-out>
  1156. </testcase>
  1157. <testcase classname="sel4test" name="TEST_RETYPE0000">
  1158. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1159. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1160. Running test RETYPE0000 (Retype test)
  1161. <<seL4 [decodeUntypedInvocation/146 Tffdf0700 @11d2c]: Untyped Retype: Requested destination window overruns size of node.>>
  1162. <<seL4 [decodeUntypedInvocation/131 Tffdf0700 @11e54]: Untyped Retype: Destination node offset #4 too large.>>
  1163. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11e90]: Untyped Retype: Slot #0 in destination window non-empty.>>
  1164. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11ecc]: Untyped Retype: Slot #1 in destination window non-empty.>>
  1165. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11f0c]: Untyped Retype: Slot #2 in destination window non-empty.>>
  1166. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11f58]: Untyped Retype: Slot #3 in destination window non-empty.>>
  1167. <<seL4 [decodeUntypedInvocation/139 Tffdf0700 @12008]: Untyped Retype: Number of requested objects (-2147483648) too small or large.>>
  1168. <<seL4 [decodeUntypedInvocation/146 Tffdf0700 @12048]: Untyped Retype: Requested destination window overruns size of node.>>
  1169. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @120c0]: Untyped Retype: Slot #0 in destination window non-empty.>>
  1170. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @120fc]: Untyped Retype: Slot #1 in destination window non-empty.>>
  1171. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @12148]: Untyped Retype: Slot #2 in destination window non-empty.>>
  1172. Test RETYPE0000 passed
  1173. <system-out> TEST_RETYPE0000
  1174. </system-out>
  1175. </testcase>
  1176. <testcase classname="sel4test" name="TEST_RETYPE0001">
  1177. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1178. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1179. Running test RETYPE0001 (Incremental retype test)
  1180. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1181. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1182. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1183. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1184. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1185. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1186. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1187. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1188. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1189. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1190. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1191. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1192. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1193. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1194. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1195. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1196. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1197. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1198. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1199. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
  1200. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
  1201. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
  1202. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 2147483648 bytes needed, 8192 bytes available).>>
  1203. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 1073741824 bytes needed, 8192 bytes available).>>
  1204. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 536870912 bytes needed, 8192 bytes available).>>
  1205. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 268435456 bytes needed, 8192 bytes available).>>
  1206. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 134217728 bytes needed, 8192 bytes available).>>
  1207. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 67108864 bytes needed, 8192 bytes available).>>
  1208. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 8192 bytes available).>>
  1209. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 8192 bytes available).>>
  1210. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 8388608 bytes needed, 8192 bytes available).>>
  1211. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 4194304 bytes needed, 8192 bytes available).>>
  1212. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 8192 bytes available).>>
  1213. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 1048576 bytes needed, 8192 bytes available).>>
  1214. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 524288 bytes needed, 8192 bytes available).>>
  1215. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 262144 bytes needed, 8192 bytes available).>>
  1216. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 8192 bytes available).>>
  1217. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 8192 bytes available).>>
  1218. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 32768 bytes needed, 8192 bytes available).>>
  1219. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 16384 bytes needed, 8192 bytes available).>>
  1220. Test RETYPE0001 passed
  1221. <system-out> TEST_RETYPE0001
  1222. </system-out>
  1223. </testcase>
  1224. <testcase classname="sel4test" name="TEST_RETYPE0002">
  1225. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1226. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1227. Running test RETYPE0002 (Incremental retype test #2)
  1228. <<seL4 [decodeUntypedInvocation/139 Tffdf0700 @11994]: Untyped Retype: Number of requested objects (1048576) too small or large.>>
  1229. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @119d4]: Untyped Retype: Slot #305 in destination window non-empty.>>
  1230. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @11a14]: Untyped Retype: Insufficient memory (1 * 4096 bytes needed, 0 bytes available).>>
  1231. Test RETYPE0002 passed
  1232. <system-out> TEST_RETYPE0002
  1233. </system-out>
  1234. </testcase>
  1235. <testcase classname="sel4test" name="TEST_SCHED0002">
  1236. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1237. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1238. Running test SCHED0002 (Test resuming ourselves)
  1239. Test SCHED0002 passed
  1240. <system-out> TEST_SCHED0002
  1241. </system-out>
  1242. </testcase>
  1243. <testcase classname="sel4test" name="TEST_SCHED0003">
  1244. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1245. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1246. Running test SCHED0003 (Test TCB suspend/resume)
  1247. Test SCHED0003 passed
  1248. <system-out> TEST_SCHED0003
  1249. </system-out>
  1250. </testcase>
  1251. <testcase classname="sel4test" name="TEST_SCHED0004">
  1252. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1253. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1254. Running test SCHED0004 (Test threads at all priorities)
  1255. Test SCHED0004 passed
  1256. <system-out> TEST_SCHED0004
  1257. </system-out>
  1258. </testcase>
  1259. <testcase classname="sel4test" name="TEST_SCHED0005">
  1260. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1261. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1262. Running test SCHED0005 (Test set priority)
  1263. <<seL4 [decodeSetPriority/579 Tff13a100 @17418]: TCB SetPriority: Requested priority 111 too high (max 110).>>
  1264. Test SCHED0005 passed
  1265. <system-out> TEST_SCHED0005
  1266. </system-out>
  1267. </testcase>
  1268. <testcase classname="sel4test" name="TEST_SCHED0006">
  1269. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1270. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1271. Running test SCHED0006 (Test IPC priorities for Send)
  1272. Test SCHED0006 passed
  1273. <system-out> TEST_SCHED0006
  1274. </system-out>
  1275. </testcase>
  1276. <testcase classname="sel4test" name="TEST_SYSCALL0000">
  1277. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1278. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1279. Running test SYSCALL0000 (Basic seL4_Yield() testing)
  1280. Test SYSCALL0000 passed
  1281. <system-out> TEST_SYSCALL0000
  1282. </system-out>
  1283. </testcase>
  1284. <testcase classname="sel4test" name="TEST_SYSCALL0001">
  1285. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1286. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1287. Running test SYSCALL0001 (Basic seL4_Send() testing)
  1288. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e440]: CNodeCap: Illegal Operation attempted.>>
  1289. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e5e0]: CNodeCap: Illegal Operation attempted.>>
  1290. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e774]: CNodeCap: Illegal Operation attempted.>>
  1291. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e8e8]: CNodeCap: Illegal Operation attempted.>>
  1292. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ea40]: CNodeCap: Illegal Operation attempted.>>
  1293. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ec10]: CNodeCap: Illegal Operation attempted.>>
  1294. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1edb4]: CNodeCap: Illegal Operation attempted.>>
  1295. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ef44]: CNodeCap: Illegal Operation attempted.>>
  1296. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1f0b8]: CNodeCap: Illegal Operation attempted.>>
  1297. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1f218]: CNodeCap: Illegal Operation attempted.>>
  1298. Test SYSCALL0001 passed
  1299. <system-out> TEST_SYSCALL0001
  1300. </system-out>
  1301. </testcase>
  1302. <testcase classname="sel4test" name="TEST_SYSCALL0002">
  1303. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1304. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1305. Running test SYSCALL0002 (Basic seL4_NBSend() testing)
  1306. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d2fc]: CNodeCap: Illegal Operation attempted.>>
  1307. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d49c]: CNodeCap: Illegal Operation attempted.>>
  1308. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d630]: CNodeCap: Illegal Operation attempted.>>
  1309. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d7a4]: CNodeCap: Illegal Operation attempted.>>
  1310. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d8fc]: CNodeCap: Illegal Operation attempted.>>
  1311. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1dacc]: CNodeCap: Illegal Operation attempted.>>
  1312. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1dc70]: CNodeCap: Illegal Operation attempted.>>
  1313. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1de00]: CNodeCap: Illegal Operation attempted.>>
  1314. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1df74]: CNodeCap: Illegal Operation attempted.>>
  1315. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e0d4]: CNodeCap: Illegal Operation attempted.>>
  1316. Test SYSCALL0002 passed
  1317. <system-out> TEST_SYSCALL0002
  1318. </system-out>
  1319. </testcase>
  1320. <testcase classname="sel4test" name="TEST_SYSCALL0003">
  1321. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1322. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1323. Running test SYSCALL0003 (Basic seL4_Reply() testing)
  1324. <<seL4 [handleReply/268 Tffdf0700 @1c1b8]: Attempted reply operation when no reply cap present.>>
  1325. <<seL4 [handleReply/268 Tffdf0700 @1c35c]: Attempted reply operation when no reply cap present.>>
  1326. <<seL4 [handleReply/268 Tffdf0700 @1c4f0]: Attempted reply operation when no reply cap present.>>
  1327. <<seL4 [handleReply/268 Tffdf0700 @1c660]: Attempted reply operation when no reply cap present.>>
  1328. <<seL4 [handleReply/268 Tffdf0700 @1c7bc]: Attempted reply operation when no reply cap present.>>
  1329. <<seL4 [handleReply/268 Tffdf0700 @1c980]: Attempted reply operation when no reply cap present.>>
  1330. <<seL4 [handleReply/268 Tffdf0700 @1cb24]: Attempted reply operation when no reply cap present.>>
  1331. <<seL4 [handleReply/268 Tffdf0700 @1ccb8]: Attempted reply operation when no reply cap present.>>
  1332. <<seL4 [handleReply/268 Tffdf0700 @1ce28]: Attempted reply operation when no reply cap present.>>
  1333. <<seL4 [handleReply/268 Tffdf0700 @1cf90]: Attempted reply operation when no reply cap present.>>
  1334. Test SYSCALL0003 passed
  1335. <system-out> TEST_SYSCALL0003
  1336. </system-out>
  1337. </testcase>
  1338. <testcase classname="sel4test" name="TEST_SYSCALL0004">
  1339. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1340. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1341. Running test SYSCALL0004 (Basic seL4_Notify() testing)
  1342. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @19e5c]: CNodeCap: Illegal Operation attempted.>>
  1343. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a008]: CNodeCap: Illegal Operation attempted.>>
  1344. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a1a4]: CNodeCap: Illegal Operation attempted.>>
  1345. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a32c]: CNodeCap: Illegal Operation attempted.>>
  1346. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a4a0]: CNodeCap: Illegal Operation attempted.>>
  1347. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a660]: CNodeCap: Illegal Operation attempted.>>
  1348. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a80c]: CNodeCap: Illegal Operation attempted.>>
  1349. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a9a8]: CNodeCap: Illegal Operation attempted.>>
  1350. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ab1c]: CNodeCap: Illegal Operation attempted.>>
  1351. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1aca4]: CNodeCap: Illegal Operation attempted.>>
  1352. Test SYSCALL0004 passed
  1353. <system-out> TEST_SYSCALL0004
  1354. </system-out>
  1355. </testcase>
  1356. <testcase classname="sel4test" name="TEST_SYSCALL0005">
  1357. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1358. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1359. Running test SYSCALL0005 (Basic seL4_Call() testing)
  1360. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b024]: CNodeCap: Illegal Operation attempted.>>
  1361. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b1c8]: CNodeCap: Illegal Operation attempted.>>
  1362. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b358]: CNodeCap: Illegal Operation attempted.>>
  1363. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b4d8]: CNodeCap: Illegal Operation attempted.>>
  1364. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b644]: CNodeCap: Illegal Operation attempted.>>
  1365. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b824]: CNodeCap: Illegal Operation attempted.>>
  1366. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b9c8]: CNodeCap: Illegal Operation attempted.>>
  1367. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1bb58]: CNodeCap: Illegal Operation attempted.>>
  1368. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1bcd8]: CNodeCap: Illegal Operation attempted.>>
  1369. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1be48]: CNodeCap: Illegal Operation attempted.>>
  1370. Test SYSCALL0005 passed
  1371. <system-out> TEST_SYSCALL0005
  1372. </system-out>
  1373. </testcase>
  1374. <testcase classname="sel4test" name="TEST_SYSCALL0006">
  1375. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1376. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1377. Running test SYSCALL0006 (Basic seL4_DebugPutChar() testing)
  1378. Test SYSCALL0006 passed
  1379. <system-out> TEST_SYSCALL0006
  1380. </system-out>
  1381. </testcase>
  1382. <testcase classname="sel4test" name="TEST_SYSCALL0010">
  1383. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1384. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1385. Running test SYSCALL0010 (Basic seL4_Wait() testing)
  1386. Test SYSCALL0010 passed
  1387. <system-out> TEST_SYSCALL0010
  1388. </system-out>
  1389. </testcase>
  1390. <testcase classname="sel4test" name="TEST_SYSCALL0011">
  1391. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1392. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1393. Running test SYSCALL0011 (Basic seL4_ReplyWait() testing)
  1394. <<seL4 [handleReply/268 Tffdf0700 @1f660]: Attempted reply operation when no reply cap present.>>
  1395. <<seL4 [handleReply/268 Tffdf0700 @1f814]: Attempted reply operation when no reply cap present.>>
  1396. <<seL4 [handleReply/268 Tffdf0700 @1f9d4]: Attempted reply operation when no reply cap present.>>
  1397. <<seL4 [handleReply/268 Tffdf0700 @1fb7c]: Attempted reply operation when no reply cap present.>>
  1398. <<seL4 [handleReply/268 Tffdf0700 @1fd20]: Attempted reply operation when no reply cap present.>>
  1399. <<seL4 [handleReply/268 Tffdf0700 @1ff10]: Attempted reply operation when no reply cap present.>>
  1400. <<seL4 [handleReply/268 Tffdf0700 @200c4]: Attempted reply operation when no reply cap present.>>
  1401. <<seL4 [handleReply/268 Tffdf0700 @20288]: Attempted reply operation when no reply cap present.>>
  1402. <<seL4 [handleReply/268 Tffdf0700 @20434]: Attempted reply operation when no reply cap present.>>
  1403. <<seL4 [handleReply/268 Tffdf0700 @205dc]: Attempted reply operation when no reply cap present.>>
  1404. Test SYSCALL0011 passed
  1405. <system-out> TEST_SYSCALL0011
  1406. </system-out>
  1407. </testcase>
  1408. <testcase classname="sel4test" name="TEST_THREADS0004">
  1409. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1410. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1411. Running test THREADS0004 (seL4_TCB_Configure with a NULL CSpace should fail)
  1412. <<seL4 [decodeTCBConfigure/530 Tffdf0700 @21e10]: TCB Configure: CSpace cap is invalid.>>
  1413. Test THREADS0004 passed
  1414. <system-out> TEST_THREADS0004
  1415. </system-out>
  1416. </testcase>
  1417. <testcase classname="sel4test" name="TEST_THREADS0005">
  1418. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1419. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1420. Running test THREADS0005 (seL4_TCB_SetSpace with a NULL CSpace should fail)
  1421. <<seL4 [decodeSetSpace/686 Tffdf0700 @21e7c]: TCB SetSpace: Invalid CNode cap.>>
  1422. Test THREADS0005 passed
  1423. <system-out> TEST_THREADS0005
  1424. </system-out>
  1425. </testcase>
  1426. <testcase classname="sel4test" name="TEST_TRIVIAL0000">
  1427. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1428. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1429. Running test TRIVIAL0000 (Ensure the test framework functions)
  1430. Test TRIVIAL0000 passed
  1431. <system-out> TEST_TRIVIAL0000
  1432. </system-out>
  1433. </testcase>
  1434. <testcase classname="sel4test" name="TEST_TRIVIAL0001">
  1435. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1436. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1437. Running test TRIVIAL0001 (Ensure the allocator works)
  1438. Test TRIVIAL0001 passed
  1439. <system-out> TEST_TRIVIAL0001
  1440. </system-out>
  1441. </testcase>
  1442. <testcase classname="sel4test" name="TEST_TRIVIAL0002">
  1443. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1444. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1445. Running test TRIVIAL0002 (Ensure the allocator works more than once)
  1446. Test TRIVIAL0002 passed
  1447. <system-out> TEST_TRIVIAL0002
  1448. </system-out>
  1449. </testcase>
  1450. <testcase classname="sel4test" name="TEST_VSPACE0000">
  1451. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1452. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1453. Running test VSPACE0000 (Test threads in different cspace/vspace)
  1454. Test VSPACE0000 passed
  1455. <system-out> TEST_VSPACE0000
  1456. </system-out>
  1457. </testcase>
  1458. <testcase classname="sel4test" name="TEST_VSPACE00002">
  1459. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1460. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1461. Running test VSPACE0000 (Test threads in different cspace/vspace)
  1462. Test VSPACE0000 passed
  1463. <system-out> TEST_VSPACE0000
  1464. </system-out>
  1465. </testcase>
  1466. <testcase classname="sel4test" name="TEST_TRIVIAL00022">
  1467. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1468. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1469. Running test TRIVIAL0002 (Ensure the allocator works more than once)
  1470. Test TRIVIAL0002 passed
  1471. <system-out> TEST_TRIVIAL0002
  1472. </system-out>
  1473. </testcase>
  1474. <testcase classname="sel4test" name="TEST_TRIVIAL00012">
  1475. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1476. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1477. Running test TRIVIAL0001 (Ensure the allocator works)
  1478. Test TRIVIAL0001 passed
  1479. <system-out> TEST_TRIVIAL0001
  1480. </system-out>
  1481. </testcase>
  1482. <testcase classname="sel4test" name="TEST_TRIVIAL00002">
  1483. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1484. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1485. Running test TRIVIAL0000 (Ensure the test framework functions)
  1486. Test TRIVIAL0000 passed
  1487. <system-out> TEST_TRIVIAL0000
  1488. </system-out>
  1489. </testcase>
  1490. <testcase classname="sel4test" name="TEST_THREADS00052">
  1491. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1492. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1493. Running test THREADS0005 (seL4_TCB_SetSpace with a NULL CSpace should fail)
  1494. <<seL4 [decodeSetSpace/686 Tffdf0700 @21e7c]: TCB SetSpace: Invalid CNode cap.>>
  1495. Test THREADS0005 passed
  1496. <system-out> TEST_THREADS0005
  1497. </system-out>
  1498. </testcase>
  1499. <testcase classname="sel4test" name="TEST_THREADS00042">
  1500. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1501. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1502. Running test THREADS0004 (seL4_TCB_Configure with a NULL CSpace should fail)
  1503. <<seL4 [decodeTCBConfigure/530 Tffdf0700 @21e10]: TCB Configure: CSpace cap is invalid.>>
  1504. Test THREADS0004 passed
  1505. <system-out> TEST_THREADS0004
  1506. </system-out>
  1507. </testcase>
  1508. <testcase classname="sel4test" name="TEST_SYSCALL00112">
  1509. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1510. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1511. Running test SYSCALL0011 (Basic seL4_ReplyWait() testing)
  1512. <<seL4 [handleReply/268 Tffdf0700 @1f660]: Attempted reply operation when no reply cap present.>>
  1513. <<seL4 [handleReply/268 Tffdf0700 @1f814]: Attempted reply operation when no reply cap present.>>
  1514. <<seL4 [handleReply/268 Tffdf0700 @1f9d4]: Attempted reply operation when no reply cap present.>>
  1515. <<seL4 [handleReply/268 Tffdf0700 @1fb7c]: Attempted reply operation when no reply cap present.>>
  1516. <<seL4 [handleReply/268 Tffdf0700 @1fd20]: Attempted reply operation when no reply cap present.>>
  1517. <<seL4 [handleReply/268 Tffdf0700 @1ff10]: Attempted reply operation when no reply cap present.>>
  1518. <<seL4 [handleReply/268 Tffdf0700 @200c4]: Attempted reply operation when no reply cap present.>>
  1519. <<seL4 [handleReply/268 Tffdf0700 @20288]: Attempted reply operation when no reply cap present.>>
  1520. <<seL4 [handleReply/268 Tffdf0700 @20434]: Attempted reply operation when no reply cap present.>>
  1521. <<seL4 [handleReply/268 Tffdf0700 @205dc]: Attempted reply operation when no reply cap present.>>
  1522. Test SYSCALL0011 passed
  1523. <system-out> TEST_SYSCALL0011
  1524. </system-out>
  1525. </testcase>
  1526. <testcase classname="sel4test" name="TEST_SYSCALL00102">
  1527. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1528. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1529. Running test SYSCALL0010 (Basic seL4_Wait() testing)
  1530. Test SYSCALL0010 passed
  1531. <system-out> TEST_SYSCALL0010
  1532. </system-out>
  1533. </testcase>
  1534. <testcase classname="sel4test" name="TEST_SYSCALL00062">
  1535. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1536. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1537. Running test SYSCALL0006 (Basic seL4_DebugPutChar() testing)
  1538. Test SYSCALL0006 passed
  1539. <system-out> TEST_SYSCALL0006
  1540. </system-out>
  1541. </testcase>
  1542. <testcase classname="sel4test" name="TEST_SYSCALL00052">
  1543. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1544. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1545. Running test SYSCALL0005 (Basic seL4_Call() testing)
  1546. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b024]: CNodeCap: Illegal Operation attempted.>>
  1547. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b1c8]: CNodeCap: Illegal Operation attempted.>>
  1548. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b358]: CNodeCap: Illegal Operation attempted.>>
  1549. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b4d8]: CNodeCap: Illegal Operation attempted.>>
  1550. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b644]: CNodeCap: Illegal Operation attempted.>>
  1551. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b824]: CNodeCap: Illegal Operation attempted.>>
  1552. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1b9c8]: CNodeCap: Illegal Operation attempted.>>
  1553. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1bb58]: CNodeCap: Illegal Operation attempted.>>
  1554. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1bcd8]: CNodeCap: Illegal Operation attempted.>>
  1555. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1be48]: CNodeCap: Illegal Operation attempted.>>
  1556. Test SYSCALL0005 passed
  1557. <system-out> TEST_SYSCALL0005
  1558. </system-out>
  1559. </testcase>
  1560. <testcase classname="sel4test" name="TEST_SYSCALL00042">
  1561. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1562. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1563. Running test SYSCALL0004 (Basic seL4_Notify() testing)
  1564. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @19e5c]: CNodeCap: Illegal Operation attempted.>>
  1565. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a008]: CNodeCap: Illegal Operation attempted.>>
  1566. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a1a4]: CNodeCap: Illegal Operation attempted.>>
  1567. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a32c]: CNodeCap: Illegal Operation attempted.>>
  1568. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a4a0]: CNodeCap: Illegal Operation attempted.>>
  1569. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a660]: CNodeCap: Illegal Operation attempted.>>
  1570. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a80c]: CNodeCap: Illegal Operation attempted.>>
  1571. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1a9a8]: CNodeCap: Illegal Operation attempted.>>
  1572. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ab1c]: CNodeCap: Illegal Operation attempted.>>
  1573. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1aca4]: CNodeCap: Illegal Operation attempted.>>
  1574. Test SYSCALL0004 passed
  1575. <system-out> TEST_SYSCALL0004
  1576. </system-out>
  1577. </testcase>
  1578. <testcase classname="sel4test" name="TEST_SYSCALL00032">
  1579. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1580. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1581. Running test SYSCALL0003 (Basic seL4_Reply() testing)
  1582. <<seL4 [handleReply/268 Tffdf0700 @1c1b8]: Attempted reply operation when no reply cap present.>>
  1583. <<seL4 [handleReply/268 Tffdf0700 @1c35c]: Attempted reply operation when no reply cap present.>>
  1584. <<seL4 [handleReply/268 Tffdf0700 @1c4f0]: Attempted reply operation when no reply cap present.>>
  1585. <<seL4 [handleReply/268 Tffdf0700 @1c660]: Attempted reply operation when no reply cap present.>>
  1586. <<seL4 [handleReply/268 Tffdf0700 @1c7bc]: Attempted reply operation when no reply cap present.>>
  1587. <<seL4 [handleReply/268 Tffdf0700 @1c980]: Attempted reply operation when no reply cap present.>>
  1588. <<seL4 [handleReply/268 Tffdf0700 @1cb24]: Attempted reply operation when no reply cap present.>>
  1589. <<seL4 [handleReply/268 Tffdf0700 @1ccb8]: Attempted reply operation when no reply cap present.>>
  1590. <<seL4 [handleReply/268 Tffdf0700 @1ce28]: Attempted reply operation when no reply cap present.>>
  1591. <<seL4 [handleReply/268 Tffdf0700 @1cf90]: Attempted reply operation when no reply cap present.>>
  1592. Test SYSCALL0003 passed
  1593. <system-out> TEST_SYSCALL0003
  1594. </system-out>
  1595. </testcase>
  1596. <testcase classname="sel4test" name="TEST_SYSCALL00022">
  1597. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1598. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1599. Running test SYSCALL0002 (Basic seL4_NBSend() testing)
  1600. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d2fc]: CNodeCap: Illegal Operation attempted.>>
  1601. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d49c]: CNodeCap: Illegal Operation attempted.>>
  1602. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d630]: CNodeCap: Illegal Operation attempted.>>
  1603. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d7a4]: CNodeCap: Illegal Operation attempted.>>
  1604. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1d8fc]: CNodeCap: Illegal Operation attempted.>>
  1605. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1dacc]: CNodeCap: Illegal Operation attempted.>>
  1606. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1dc70]: CNodeCap: Illegal Operation attempted.>>
  1607. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1de00]: CNodeCap: Illegal Operation attempted.>>
  1608. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1df74]: CNodeCap: Illegal Operation attempted.>>
  1609. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e0d4]: CNodeCap: Illegal Operation attempted.>>
  1610. Test SYSCALL0002 passed
  1611. <system-out> TEST_SYSCALL0002
  1612. </system-out>
  1613. </testcase>
  1614. <testcase classname="sel4test" name="TEST_SYSCALL00012">
  1615. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1616. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1617. Running test SYSCALL0001 (Basic seL4_Send() testing)
  1618. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e440]: CNodeCap: Illegal Operation attempted.>>
  1619. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e5e0]: CNodeCap: Illegal Operation attempted.>>
  1620. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e774]: CNodeCap: Illegal Operation attempted.>>
  1621. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1e8e8]: CNodeCap: Illegal Operation attempted.>>
  1622. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ea40]: CNodeCap: Illegal Operation attempted.>>
  1623. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ec10]: CNodeCap: Illegal Operation attempted.>>
  1624. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1edb4]: CNodeCap: Illegal Operation attempted.>>
  1625. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1ef44]: CNodeCap: Illegal Operation attempted.>>
  1626. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1f0b8]: CNodeCap: Illegal Operation attempted.>>
  1627. <<seL4 [decodeCNodeInvocation/53 Tffdf0700 @1f218]: CNodeCap: Illegal Operation attempted.>>
  1628. Test SYSCALL0001 passed
  1629. <system-out> TEST_SYSCALL0001
  1630. </system-out>
  1631. </testcase>
  1632. <testcase classname="sel4test" name="TEST_SYSCALL00002">
  1633. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1634. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1635. Running test SYSCALL0000 (Basic seL4_Yield() testing)
  1636. Test SYSCALL0000 passed
  1637. <system-out> TEST_SYSCALL0000
  1638. </system-out>
  1639. </testcase>
  1640. <testcase classname="sel4test" name="TEST_SCHED00062">
  1641. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1642. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1643. Running test SCHED0006 (Test IPC priorities for Send)
  1644. Test SCHED0006 passed
  1645. <system-out> TEST_SCHED0006
  1646. </system-out>
  1647. </testcase>
  1648. <testcase classname="sel4test" name="TEST_SCHED00052">
  1649. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1650. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1651. Running test SCHED0005 (Test set priority)
  1652. <<seL4 [decodeSetPriority/579 Tff13a100 @17418]: TCB SetPriority: Requested priority 111 too high (max 110).>>
  1653. Test SCHED0005 passed
  1654. <system-out> TEST_SCHED0005
  1655. </system-out>
  1656. </testcase>
  1657. <testcase classname="sel4test" name="TEST_SCHED00042">
  1658. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1659. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1660. Running test SCHED0004 (Test threads at all priorities)
  1661. Test SCHED0004 passed
  1662. <system-out> TEST_SCHED0004
  1663. </system-out>
  1664. </testcase>
  1665. <testcase classname="sel4test" name="TEST_SCHED00032">
  1666. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1667. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1668. Running test SCHED0003 (Test TCB suspend/resume)
  1669. Test SCHED0003 passed
  1670. <system-out> TEST_SCHED0003
  1671. </system-out>
  1672. </testcase>
  1673. <testcase classname="sel4test" name="TEST_SCHED00022">
  1674. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1675. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1676. Running test SCHED0002 (Test resuming ourselves)
  1677. Test SCHED0002 passed
  1678. <system-out> TEST_SCHED0002
  1679. </system-out>
  1680. </testcase>
  1681. <testcase classname="sel4test" name="TEST_RETYPE00022">
  1682. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1683. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1684. Running test RETYPE0002 (Incremental retype test #2)
  1685. <<seL4 [decodeUntypedInvocation/139 Tffdf0700 @11994]: Untyped Retype: Number of requested objects (1048576) too small or large.>>
  1686. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @119d4]: Untyped Retype: Slot #305 in destination window non-empty.>>
  1687. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @11a14]: Untyped Retype: Insufficient memory (1 * 4096 bytes needed, 0 bytes available).>>
  1688. Test RETYPE0002 passed
  1689. <system-out> TEST_RETYPE0002
  1690. </system-out>
  1691. </testcase>
  1692. <testcase classname="sel4test" name="TEST_RETYPE00012">
  1693. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1694. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1695. Running test RETYPE0001 (Incremental retype test)
  1696. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1697. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1698. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1699. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1700. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1701. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1702. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1703. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1704. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1705. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1706. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1707. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1708. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1709. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1710. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1711. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1712. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1713. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @128c8]: Untyped Retype: Invalid object size.>>
  1714. <<seL4 [decodeUntypedInvocation/82 Tffdf0700 @12918]: Untyped Retype: Invalid object size.>>
  1715. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
  1716. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
  1717. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 4294967295 bytes needed, 8192 bytes available).>>
  1718. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 2147483648 bytes needed, 8192 bytes available).>>
  1719. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 1073741824 bytes needed, 8192 bytes available).>>
  1720. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 536870912 bytes needed, 8192 bytes available).>>
  1721. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 268435456 bytes needed, 8192 bytes available).>>
  1722. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 134217728 bytes needed, 8192 bytes available).>>
  1723. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 67108864 bytes needed, 8192 bytes available).>>
  1724. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 8192 bytes available).>>
  1725. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 8192 bytes available).>>
  1726. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 8388608 bytes needed, 8192 bytes available).>>
  1727. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 4194304 bytes needed, 8192 bytes available).>>
  1728. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 8192 bytes available).>>
  1729. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 1048576 bytes needed, 8192 bytes available).>>
  1730. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 524288 bytes needed, 8192 bytes available).>>
  1731. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 262144 bytes needed, 8192 bytes available).>>
  1732. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 8192 bytes available).>>
  1733. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 8192 bytes available).>>
  1734. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @12918]: Untyped Retype: Insufficient memory (1 * 32768 bytes needed, 8192 bytes available).>>
  1735. <<seL4 [decodeUntypedInvocation/201 Tffdf0700 @128c8]: Untyped Retype: Insufficient memory (1 * 16384 bytes needed, 8192 bytes available).>>
  1736. Test RETYPE0001 passed
  1737. <system-out> TEST_RETYPE0001
  1738. </system-out>
  1739. </testcase>
  1740. <testcase classname="sel4test" name="TEST_RETYPE00002">
  1741. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1742. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1743. Running test RETYPE0000 (Retype test)
  1744. <<seL4 [decodeUntypedInvocation/146 Tffdf0700 @11d2c]: Untyped Retype: Requested destination window overruns size of node.>>
  1745. <<seL4 [decodeUntypedInvocation/131 Tffdf0700 @11e54]: Untyped Retype: Destination node offset #4 too large.>>
  1746. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11e90]: Untyped Retype: Slot #0 in destination window non-empty.>>
  1747. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11ecc]: Untyped Retype: Slot #1 in destination window non-empty.>>
  1748. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11f0c]: Untyped Retype: Slot #2 in destination window non-empty.>>
  1749. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @11f58]: Untyped Retype: Slot #3 in destination window non-empty.>>
  1750. <<seL4 [decodeUntypedInvocation/139 Tffdf0700 @12008]: Untyped Retype: Number of requested objects (-2147483648) too small or large.>>
  1751. <<seL4 [decodeUntypedInvocation/146 Tffdf0700 @12048]: Untyped Retype: Requested destination window overruns size of node.>>
  1752. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @120c0]: Untyped Retype: Slot #0 in destination window non-empty.>>
  1753. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @120fc]: Untyped Retype: Slot #1 in destination window non-empty.>>
  1754. <<seL4 [decodeUntypedInvocation/161 Tffdf0700 @12148]: Untyped Retype: Slot #2 in destination window non-empty.>>
  1755. Test RETYPE0000 passed
  1756. <system-out> TEST_RETYPE0000
  1757. </system-out>
  1758. </testcase>
  1759. <testcase classname="sel4test" name="TEST_REGRESSIONS00022">
  1760. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1761. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1762. Running test REGRESSIONS0002 (Test the load-exclusive monitor is cleared on context switch)
  1763. Test REGRESSIONS0002 passed
  1764. <system-out> TEST_REGRESSIONS0002
  1765. </system-out>
  1766. </testcase>
  1767. <testcase classname="sel4test" name="TEST_REGRESSIONS00012">
  1768. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1769. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1770. Running test REGRESSIONS0001 (Ensure WriteRegisters functions correctly)
  1771. Test REGRESSIONS0001 passed
  1772. <system-out> TEST_REGRESSIONS0001
  1773. </system-out>
  1774. </testcase>
  1775. <testcase classname="sel4test" name="TEST_RECYCLE00022">
  1776. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  1777. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  1778. Running test RECYCLE0002 (Recycle deletes caps)
  1779. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1780. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1781. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1782. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1783. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1784. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1785. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1786. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1787. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1788. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1789. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1790. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1791. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1792. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1793. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1794. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1795. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1796. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1797. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1798. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1799. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1800. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1801. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1802. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1803. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1804. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1805. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1806. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1807. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1808. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1809. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1810. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1811. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1812. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1813. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1814. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1815. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1816. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1817. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1818. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1819. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1820. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1821. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1822. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1823. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1824. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1825. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1826. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1827. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1828. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1829. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1830. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1831. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1832. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1833. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1834. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1835. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1836. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1837. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1838. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1839. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1840. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1841. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1842. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1843. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1844. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1845. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1846. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1847. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1848. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1849. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1850. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1851. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1852. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1853. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1854. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1855. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1856. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1857. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1858. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1859. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1860. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1861. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1862. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1863. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1864. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1865. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1866. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1867. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1868. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1869. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1870. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1871. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1872. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1873. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1874. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1875. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1876. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1877. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1878. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1879. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1880. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1881. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1882. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1883. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1884. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1885. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1886. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1887. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1888. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1889. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1890. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1891. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1892. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1893. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1894. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1895. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1896. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1897. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1898. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1899. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1900. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1901. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1902. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1903. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1904. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1905. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1906. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1907. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1908. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1909. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1910. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1911. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1912. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1913. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1914. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1915. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1916. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1917. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1918. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1919. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1920. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1921. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1922. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1923. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1924. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1925. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1926. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1927. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1928. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1929. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1930. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1931. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1932. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1933. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1934. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1935. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1936. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1937. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1938. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1939. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1940. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1941. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1942. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1943. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1944. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1945. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1946. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1947. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1948. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1949. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1950. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1951. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1952. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1953. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1954. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1955. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1956. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1957. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1958. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1959. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1960. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1961. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1962. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1963. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1964. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1965. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1966. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1967. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1968. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1969. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1970. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1971. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1972. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1973. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1974. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1975. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1976. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1977. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1978. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1979. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  1980. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  1981. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  1982. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  1983. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  1984. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  1985. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  1986. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  1987. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  1988. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  1989. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  1990. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  1991. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  1992. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  1993. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  1994. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  1995. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  1996. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  1997. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  1998. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  1999. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2000. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2001. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2002. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2003. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2004. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2005. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2006. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2007. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2008. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2009. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2010. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2011. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2012. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2013. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2014. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2015. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2016. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2017. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2018. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2019. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2020. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2021. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2022. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2023. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2024. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2025. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2026. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2027. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2028. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2029. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2030. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2031. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2032. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2033. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2034. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2035. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2036. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2037. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2038. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2039. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2040. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2041. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2042. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2043. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2044. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2045. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2046. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2047. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2048. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2049. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2050. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2051. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2052. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2053. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2054. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2055. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2056. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2057. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2058. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2059. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2060. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2061. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2062. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2063. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2064. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2065. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2066. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2067. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2068. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2069. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2070. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2071. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2072. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2073. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2074. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2075. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2076. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2077. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2078. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2079. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2080. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2081. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2082. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2083. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2084. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2085. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2086. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2087. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2088. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2089. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2090. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2091. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2092. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2093. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2094. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2095. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2096. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2097. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2098. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2099. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2100. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2101. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2102. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2103. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2104. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2105. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2106. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2107. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2108. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2109. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2110. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2111. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2112. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2113. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2114. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2115. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2116. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2117. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2118. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2119. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2120. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2121. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2122. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2123. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2124. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2125. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2126. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2127. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2128. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2129. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2130. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2131. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2132. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2133. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2134. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2135. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2136. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2137. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2138. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2139. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2140. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2141. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2142. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2143. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2144. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2145. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2146. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2147. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2148. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2149. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2150. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2151. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2152. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2153. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2154. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2155. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2156. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  2157. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2158. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2159. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2160. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2161. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2162. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2163. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2164. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2165. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2166. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2167. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2168. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2169. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2170. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2171. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2172. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2173. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2174. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2175. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2176. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2177. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2178. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2179. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2180. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2181. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2182. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2183. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  2184. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  2185. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2186. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2187. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2188. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2189. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2190. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2191. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2192. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2193. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2194. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2195. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2196. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2197. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2198. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2199. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2200. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2201. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2202. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2203. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2204. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2205. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2206. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2207. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2208. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2209. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2210. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2211. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  2212. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  2213. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  2214. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2215. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2216. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2217. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2218. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2219. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2220. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2221. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2222. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2223. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2224. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2225. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2226. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2227. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2228. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2229. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2230. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2231. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2232. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2233. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2234. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2235. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2236. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2237. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2238. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2239. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2240. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  2241. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  2242. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  2243. <<seL4 [decodeInvocation/590 Tffd3b500 @d100]: Attempted to invoke a null cap #2224.>>
  2244. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2245. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2246. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2247. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2248. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2249. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2250. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2251. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2252. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2253. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2254. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2255. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2256. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2257. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2258. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2259. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2260. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2261. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2262. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2263. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2264. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2265. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2266. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2267. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2268. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2269. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2270. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  2271. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  2272. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  2273. <<seL4 [decodeInvocation/590 Tffd3b500 @d100]: Attempted to invoke a null cap #2224.>>
  2274. <<seL4 [decodeInvocation/590 Tffd3bd00 @d100]: Attempted to invoke a null cap #2291.>>
  2275. <<seL4 [decodeInvocation/590 Tff13a100 @d100]: Attempted to invoke a null cap #380.>>
  2276. <<seL4 [decodeInvocation/590 Tff13a300 @d100]: Attempted to invoke a null cap #435.>>
  2277. <<seL4 [decodeInvocation/590 Tff13a900 @d100]: Attempted to invoke a null cap #505.>>
  2278. <<seL4 [decodeInvocation/590 Tff13ab00 @d100]: Attempted to invoke a null cap #567.>>
  2279. <<seL4 [decodeInvocation/590 Tff13ad00 @d100]: Attempted to invoke a null cap #629.>>
  2280. <<seL4 [decodeInvocation/590 Tff13af00 @d100]: Attempted to invoke a null cap #697.>>
  2281. <<seL4 [decodeInvocation/590 Tffd85100 @d100]: Attempted to invoke a null cap #761.>>
  2282. <<seL4 [decodeInvocation/590 Tffd85300 @d100]: Attempted to invoke a null cap #819.>>
  2283. <<seL4 [decodeInvocation/590 Tffd85500 @d100]: Attempted to invoke a null cap #885.>>
  2284. <<seL4 [decodeInvocation/590 Tffd85700 @d100]: Attempted to invoke a null cap #951.>>
  2285. <<seL4 [decodeInvocation/590 Tffd85900 @d100]: Attempted to invoke a null cap #1013.>>
  2286. <<seL4 [decodeInvocation/590 Tffd85b00 @d100]: Attempted to invoke a null cap #1079.>>
  2287. <<seL4 [decodeInvocation/590 Tffd85d00 @d100]: Attempted to invoke a null cap #1147.>>
  2288. <<seL4 [decodeInvocation/590 Tffd85f00 @d100]: Attempted to invoke a null cap #1203.>>
  2289. <<seL4 [decodeInvocation/590 Tf03d3300 @d100]: Attempted to invoke a null cap #1275.>>
  2290. <<seL4 [decodeInvocation/590 Tf03d3500 @d100]: Attempted to invoke a null cap #1327.>>
  2291. <<seL4 [decodeInvocation/590 Tf03d3700 @d100]: Attempted to invoke a null cap #1392.>>
  2292. <<seL4 [decodeInvocation/590 Tf03d3d00 @d100]: Attempted to invoke a null cap #1452.>>
  2293. <<seL4 [decodeInvocation/590 Tf03d3f00 @d100]: Attempted to invoke a null cap #1520.>>
  2294. <<seL4 [decodeInvocation/590 Tff1ac100 @d100]: Attempted to invoke a null cap #1588.>>
  2295. <<seL4 [decodeInvocation/590 Tff1ac300 @d100]: Attempted to invoke a null cap #1648.>>
  2296. <<seL4 [decodeInvocation/590 Tff1ac500 @d100]: Attempted to invoke a null cap #1706.>>
  2297. <<seL4 [decodeInvocation/590 Tff1ac700 @d100]: Attempted to invoke a null cap #1776.>>
  2298. <<seL4 [decodeInvocation/590 Tff1ac900 @d100]: Attempted to invoke a null cap #1840.>>
  2299. <<seL4 [decodeInvocation/590 Tff1acb00 @d100]: Attempted to invoke a null cap #1898.>>
  2300. <<seL4 [decodeInvocation/590 Tff1acd00 @d100]: Attempted to invoke a null cap #1968.>>
  2301. <<seL4 [decodeInvocation/590 Tff1acf00 @d100]: Attempted to invoke a null cap #2030.>>
  2302. <<seL4 [decodeInvocation/590 Tffd3b100 @d100]: Attempted to invoke a null cap #2096.>>
  2303. <<seL4 [decodeInvocation/590 Tffd3b300 @d100]: Attempted to invoke a null cap #2156.>>
  2304. <<seL4 [decodeInvocation/590 Tffd3b500 @d100]: Attempted to invoke a null cap #2224.>>
  2305. <<seL4 [decodeInvocation/590 Tffd3bd00 @d100]: Attempted to invoke a null cap #2291.>>
  2306. <<seL4 [decodeInvocation/590 Tffd3bf00 @d100]: Attempted to invoke a null cap #2337.>>
  2307. Test RECYCLE0002 passed
  2308. <system-out> TEST_RECYCLE0002
  2309. </system-out>
  2310. </testcase>
  2311. <testcase classname="sel4test" name="TEST_RECYCLE00012">
  2312. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2313. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2314. Running test RECYCLE0001 (Basic endpoint recycle testing.)
  2315. <<seL4 [decodeInvocation/590 Tf0001f00 @d234]: Attempted to invoke a null cap #303.>>
  2316. <<seL4 [decodeInvocation/590 Tff13a100 @d234]: Attempted to invoke a null cap #378.>>
  2317. <<seL4 [decodeInvocation/590 Tff13a300 @d234]: Attempted to invoke a null cap #438.>>
  2318. <<seL4 [decodeInvocation/590 Tff13a900 @d234]: Attempted to invoke a null cap #511.>>
  2319. <<seL4 [decodeInvocation/590 Tff13ab00 @d234]: Attempted to invoke a null cap #512.>>
  2320. <<seL4 [decodeInvocation/590 Tff13ad00 @d234]: Attempted to invoke a null cap #639.>>
  2321. <<seL4 [decodeInvocation/590 Tff13af00 @d234]: Attempted to invoke a null cap #648.>>
  2322. <<seL4 [decodeInvocation/590 Tffd85100 @d234]: Attempted to invoke a null cap #709.>>
  2323. <<seL4 [decodeInvocation/590 Tffd85300 @d234]: Attempted to invoke a null cap #776.>>
  2324. <<seL4 [decodeInvocation/590 Tffd85500 @d234]: Attempted to invoke a null cap #843.>>
  2325. <<seL4 [decodeInvocation/590 Tffd85700 @d234]: Attempted to invoke a null cap #914.>>
  2326. <<seL4 [decodeInvocation/590 Tffd85900 @d234]: Attempted to invoke a null cap #981.>>
  2327. <<seL4 [decodeInvocation/590 Tffd85b00 @d234]: Attempted to invoke a null cap #1048.>>
  2328. <<seL4 [decodeInvocation/590 Tffd85d00 @d234]: Attempted to invoke a null cap #1117.>>
  2329. <<seL4 [decodeInvocation/590 Tffd85f00 @d234]: Attempted to invoke a null cap #1180.>>
  2330. <<seL4 [decodeInvocation/590 Tf03d3100 @d234]: Attempted to invoke a null cap #1245.>>
  2331. <<seL4 [decodeInvocation/590 Tf03d3300 @d234]: Attempted to invoke a null cap #1310.>>
  2332. <<seL4 [decodeInvocation/590 Tf03d3900 @d234]: Attempted to invoke a null cap #1316.>>
  2333. <<seL4 [decodeInvocation/590 Tf03d3b00 @d234]: Attempted to invoke a null cap #1439.>>
  2334. <<seL4 [decodeInvocation/590 Tf03d3d00 @d234]: Attempted to invoke a null cap #1448.>>
  2335. <<seL4 [decodeInvocation/590 Tf03d3f00 @d234]: Attempted to invoke a null cap #1517.>>
  2336. <<seL4 [decodeInvocation/590 Tff1bd100 @d234]: Attempted to invoke a null cap #1588.>>
  2337. <<seL4 [decodeInvocation/590 Tff1bd300 @d234]: Attempted to invoke a null cap #1651.>>
  2338. <<seL4 [decodeInvocation/590 Tff1bd500 @d234]: Attempted to invoke a null cap #1710.>>
  2339. <<seL4 [decodeInvocation/590 Tff1bd700 @d234]: Attempted to invoke a null cap #1783.>>
  2340. <<seL4 [decodeInvocation/590 Tff1bd900 @d234]: Attempted to invoke a null cap #1846.>>
  2341. <<seL4 [decodeInvocation/590 Tff1bdb00 @d234]: Attempted to invoke a null cap #1919.>>
  2342. <<seL4 [decodeInvocation/590 Tff1bdd00 @d234]: Attempted to invoke a null cap #1922.>>
  2343. <<seL4 [decodeInvocation/590 Tff1bdf00 @d234]: Attempted to invoke a null cap #1989.>>
  2344. <<seL4 [decodeInvocation/590 Tffd4b100 @d234]: Attempted to invoke a null cap #2058.>>
  2345. <<seL4 [decodeInvocation/590 Tffd4b500 @d234]: Attempted to invoke a null cap #2123.>>
  2346. <<seL4 [decodeInvocation/590 Tffd4b700 @d234]: Attempted to invoke a null cap #2179.>>
  2347. Test RECYCLE0001 passed
  2348. <system-out> TEST_RECYCLE0001
  2349. </system-out>
  2350. </testcase>
  2351. <testcase classname="sel4test" name="TEST_PT00012">
  2352. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2353. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2354. Running test PT0001 (Fun with page tables on ARM)
  2355. Test PT0001 passed
  2356. <system-out> TEST_PT0001
  2357. </system-out>
  2358. </testcase>
  2359. <testcase classname="sel4test" name="TEST_PREEMPT_REVOKE2">
  2360. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2361. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2362. Running test PREEMPT_REVOKE (Test preemption path in revoke)
  2363. Test PREEMPT_REVOKE passed
  2364. <system-out> TEST_PREEMPT_REVOKE
  2365. </system-out>
  2366. </testcase>
  2367. <testcase classname="sel4test" name="TEST_PAGEFAULT10042">
  2368. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2369. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2370. Running test PAGEFAULT1004 (Test unknown system call (inter-AS))
  2371. Test PAGEFAULT1004 passed
  2372. <system-out> TEST_PAGEFAULT1004
  2373. </system-out>
  2374. </testcase>
  2375. <testcase classname="sel4test" name="TEST_PAGEFAULT10032">
  2376. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2377. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2378. Running test PAGEFAULT1003 (Test execute page fault (inter-AS))
  2379. Test PAGEFAULT1003 passed
  2380. <system-out> TEST_PAGEFAULT1003
  2381. </system-out>
  2382. </testcase>
  2383. <testcase classname="sel4test" name="TEST_PAGEFAULT10022">
  2384. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2385. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2386. Running test PAGEFAULT1002 (Test write page fault (inter-AS))
  2387. Test PAGEFAULT1002 passed
  2388. <system-out> TEST_PAGEFAULT1002
  2389. </system-out>
  2390. </testcase>
  2391. <testcase classname="sel4test" name="TEST_PAGEFAULT10012">
  2392. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2393. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2394. Running test PAGEFAULT1001 (Test read page fault (inter-AS))
  2395. Test PAGEFAULT1001 passed
  2396. <system-out> TEST_PAGEFAULT1001
  2397. </system-out>
  2398. </testcase>
  2399. <testcase classname="sel4test" name="TEST_PAGEFAULT00052">
  2400. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2401. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2402. Running test PAGEFAULT0005 (Test undefined instruction)
  2403. Test PAGEFAULT0005 passed
  2404. <system-out> TEST_PAGEFAULT0005
  2405. </system-out>
  2406. </testcase>
  2407. <testcase classname="sel4test" name="TEST_PAGEFAULT00042">
  2408. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2409. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2410. Running test PAGEFAULT0004 (Test unknown system call)
  2411. Test PAGEFAULT0004 passed
  2412. <system-out> TEST_PAGEFAULT0004
  2413. </system-out>
  2414. </testcase>
  2415. <testcase classname="sel4test" name="TEST_PAGEFAULT00032">
  2416. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2417. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2418. Running test PAGEFAULT0003 (Test execute page fault)
  2419. Test PAGEFAULT0003 passed
  2420. <system-out> TEST_PAGEFAULT0003
  2421. </system-out>
  2422. </testcase>
  2423. <testcase classname="sel4test" name="TEST_PAGEFAULT00022">
  2424. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2425. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2426. Running test PAGEFAULT0002 (Test write page fault)
  2427. Test PAGEFAULT0002 passed
  2428. <system-out> TEST_PAGEFAULT0002
  2429. </system-out>
  2430. </testcase>
  2431. <testcase classname="sel4test" name="TEST_PAGEFAULT00012">
  2432. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2433. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2434. Running test PAGEFAULT0001 (Test read page fault)
  2435. Test PAGEFAULT0001 passed
  2436. <system-out> TEST_PAGEFAULT0001
  2437. </system-out>
  2438. </testcase>
  2439. <testcase classname="sel4test" name="TEST_IPC10042">
  2440. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2441. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2442. Running test IPC1004 (Test inter-AS seL4_NBSend + seL4_Wait)
  2443. Test IPC1004 passed
  2444. <system-out> TEST_IPC1004
  2445. </system-out>
  2446. </testcase>
  2447. <testcase classname="sel4test" name="TEST_IPC10032">
  2448. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2449. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2450. Running test IPC1003 (Test inter-AS seL4_Send + seL4_Reply + seL4_Wait)
  2451. Test IPC1003 passed
  2452. <system-out> TEST_IPC1003
  2453. </system-out>
  2454. </testcase>
  2455. <testcase classname="sel4test" name="TEST_IPC10022">
  2456. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2457. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2458. Running test IPC1002 (Test inter-AS seL4_Call + seL4_ReplyWait)
  2459. Test IPC1002 passed
  2460. <system-out> TEST_IPC1002
  2461. </system-out>
  2462. </testcase>
  2463. <testcase classname="sel4test" name="TEST_IPC10012">
  2464. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2465. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2466. Running test IPC1001 (Test inter-AS seL4_Send + seL4_Wait)
  2467. Test IPC1001 passed
  2468. <system-out> TEST_IPC1001
  2469. </system-out>
  2470. </testcase>
  2471. <testcase classname="sel4test" name="TEST_IPC00102">
  2472. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2473. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2474. Running test IPC0010 (Test suspending an IPC mid-Call())
  2475. Test IPC0010 passed
  2476. <system-out> TEST_IPC0010
  2477. </system-out>
  2478. </testcase>
  2479. <testcase classname="sel4test" name="TEST_IPC00042">
  2480. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2481. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2482. Running test IPC0004 (Test seL4_NBSend + seL4_Wait)
  2483. Test IPC0004 passed
  2484. <system-out> TEST_IPC0004
  2485. </system-out>
  2486. </testcase>
  2487. <testcase classname="sel4test" name="TEST_IPC00032">
  2488. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2489. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2490. Running test IPC0003 (Test seL4_Send + seL4_Reply + seL4_Wait)
  2491. Test IPC0003 passed
  2492. <system-out> TEST_IPC0003
  2493. </system-out>
  2494. </testcase>
  2495. <testcase classname="sel4test" name="TEST_IPC00022">
  2496. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2497. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2498. Running test IPC0002 (Test seL4_Call + seL4_ReplyWait)
  2499. Test IPC0002 passed
  2500. <system-out> TEST_IPC0002
  2501. </system-out>
  2502. </testcase>
  2503. <testcase classname="sel4test" name="TEST_IPC00012">
  2504. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2505. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2506. Running test IPC0001 (Test seL4_Send + seL4_Wait)
  2507. Test IPC0001 passed
  2508. <system-out> TEST_IPC0001
  2509. </system-out>
  2510. </testcase>
  2511. <testcase classname="sel4test" name="TEST_INTERRUPT00012">
  2512. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2513. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2514. Running test INTERRUPT0001 (Test interrupts with timer)
  2515. Test INTERRUPT0001 passed
  2516. <system-out> TEST_INTERRUPT0001
  2517. </system-out>
  2518. </testcase>
  2519. <testcase classname="sel4test" name="TEST_FRAMERECYCLE00012">
  2520. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2521. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2522. Running test FRAMERECYCLE0001 (Test recycling of frame caps)
  2523. Test FRAMERECYCLE0001 passed
  2524. <system-out> TEST_FRAMERECYCLE0001
  2525. </system-out>
  2526. </testcase>
  2527. <testcase classname="sel4test" name="TEST_FRAMEEXPORTS00012">
  2528. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2529. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2530. Running test FRAMEEXPORTS0001 (Test that we can access all exported frames)
  2531. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 24 type 8
  2532.  
  2533. Failed to allocate object of size 16777216, error 1
  2534. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 20 type 7
  2535.  
  2536. Failed to allocate object of size 1048576, error 1
  2537. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 16 type 6
  2538.  
  2539. Failed to allocate object of size 65536, error 1
  2540. INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 12 type 5
  2541.  
  2542. Failed to allocate object of size 4096, error 1
  2543. Test FRAMEEXPORTS0001 passed
  2544. <system-out> TEST_FRAMEEXPORTS0001
  2545. </system-out>
  2546. </testcase>
  2547. <testcase classname="sel4test" name="TEST_FPU00012">
  2548. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2549. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2550. Running test FPU0001 (Ensure multiple threads can use FPU simultaneously)
  2551. Test FPU0001 passed
  2552. <system-out> TEST_FPU0001
  2553. </system-out>
  2554. </testcase>
  2555. <testcase classname="sel4test" name="TEST_FPU00002">
  2556. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2557. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2558. Running test FPU0000 (Ensure that simple FPU operations work)
  2559. Test FPU0000 passed
  2560. <system-out> TEST_FPU0000
  2561. </system-out>
  2562. </testcase>
  2563. <testcase classname="sel4test" name="TEST_DOMAINS00042">
  2564. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2565. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2566. Running test DOMAINS0004 (Run threads in domains())
  2567. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, Test DOMAINS0004 passed
  2568. <system-out> TEST_DOMAINS0004
  2569. </system-out>
  2570. </testcase>
  2571. <testcase classname="sel4test" name="TEST_DOMAINS00032">
  2572. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2573. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2574. Running test DOMAINS0003 (Invoke non-domain cap())
  2575. <<seL4 [decodeTCBInvocation/308 Tffdf0700 @cde4]: TCB: Illegal operation.>>
  2576. Test DOMAINS0003 passed
  2577. <system-out> TEST_DOMAINS0003
  2578. </system-out>
  2579. </testcase>
  2580. <testcase classname="sel4test" name="TEST_DOMAINS00022">
  2581. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2582. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2583. Running test DOMAINS0002 (Try non-existant domain())
  2584. <<seL4 [decodeDomainInvocation/736 Tffdf0700 @cda0]: Domain Configure: invalid domain (11 >= 1).>>
  2585. Test DOMAINS0002 passed
  2586. <system-out> TEST_DOMAINS0002
  2587. </system-out>
  2588. </testcase>
  2589. <testcase classname="sel4test" name="TEST_DOMAINS00012">
  2590. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2591. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2592. Running test DOMAINS0001 (Change domain successfully())
  2593. Test DOMAINS0001 passed
  2594. <system-out> TEST_DOMAINS0001
  2595. </system-out>
  2596. </testcase>
  2597. <testcase classname="sel4test" name="TEST_CSPACE00012">
  2598. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2599. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2600. Running test CSPACE0001 (Test full 32-bit cspace resolution)
  2601. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #0.>>
  2602. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #1.>>
  2603. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #2.>>
  2604. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #3.>>
  2605. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #4.>>
  2606. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #5.>>
  2607. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #6.>>
  2608. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #7.>>
  2609. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #8.>>
  2610. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #9.>>
  2611. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #10.>>
  2612. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #11.>>
  2613. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #12.>>
  2614. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #13.>>
  2615. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #14.>>
  2616. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #15.>>
  2617. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #16.>>
  2618. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #17.>>
  2619. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #18.>>
  2620. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #19.>>
  2621. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #20.>>
  2622. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #21.>>
  2623. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #22.>>
  2624. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #23.>>
  2625. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #24.>>
  2626. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #25.>>
  2627. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #26.>>
  2628. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #27.>>
  2629. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #28.>>
  2630. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #29.>>
  2631. <<seL4 [decodeInvocation/590 Tff12a300 @c5a8]: Attempted to invoke a null cap #30.>>
  2632. <<seL4 [decodeInvocation/590 Tff12a300 @c570]: Attempted to invoke a null cap #31.>>
  2633. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655764.>>
  2634. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655767.>>
  2635. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655761.>>
  2636. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655773.>>
  2637. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655749.>>
  2638. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655797.>>
  2639. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655701.>>
  2640. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431655893.>>
  2641. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431655509.>>
  2642. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431656277.>>
  2643. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431654741.>>
  2644. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431657813.>>
  2645. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431651669.>>
  2646. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431663957.>>
  2647. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431639381.>>
  2648. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431688533.>>
  2649. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431590229.>>
  2650. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1431786837.>>
  2651. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1431393621.>>
  2652. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1432180053.>>
  2653. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1430607189.>>
  2654. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1433752917.>>
  2655. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1427461461.>>
  2656. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1440044373.>>
  2657. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1414878549.>>
  2658. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1465210197.>>
  2659. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1364546901.>>
  2660. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1565873493.>>
  2661. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #1163220309.>>
  2662. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #1968526677.>>
  2663. <<seL4 [decodeInvocation/590 Tff12a300 @c638]: Attempted to invoke a null cap #357913941.>>
  2664. <<seL4 [decodeInvocation/590 Tff12a300 @c600]: Attempted to invoke a null cap #3579139413.>>
  2665. Test CSPACE0001 passed
  2666. <system-out> TEST_CSPACE0001
  2667. </system-out>
  2668. </testcase>
  2669. <testcase classname="sel4test" name="TEST_CNODEOP00092">
  2670. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2671. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2672. Running test CNODEOP0009 (Basic seL4_CNode_SaveCaller() testing)
  2673. <<seL4 [invokeCNodeSaveCaller/367 Tffdf0700 @8a98]: CNode SaveCaller: Reply cap not present.>>
  2674. <<seL4 [decodeCNodeInvocation/207 Tffdf0700 @8a98]: CNode SaveCaller: Destination slot not empty.>>
  2675. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2676. Test CNODEOP0009 passed
  2677. <system-out> TEST_CNODEOP0009
  2678. </system-out>
  2679. </testcase>
  2680. <testcase classname="sel4test" name="TEST_CNODEOP00082">
  2681. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2682. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2683. Running test CNODEOP0008 (Basic seL4_CNode_Rotate() testing)
  2684. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2685. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2686. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2687. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2688. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2689. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2690. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2691. <<seL4 [decodeCNodeInvocation/259 Tffdf0700 @89c4]: CNode Rotate: Pivot slot the same as source or dest slot.>>
  2692. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2693. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2694. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2695. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2696. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2697. Test CNODEOP0008 passed
  2698. <system-out> TEST_CNODEOP0008
  2699. </system-out>
  2700. </testcase>
  2701. <testcase classname="sel4test" name="TEST_CNODEOP00072">
  2702. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2703. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2704. Running test CNODEOP0007 (Basic seL4_CNode_Revoke() testing)
  2705. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2706. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2707. Test CNODEOP0007 passed
  2708. <system-out> TEST_CNODEOP0007
  2709. </system-out>
  2710. </testcase>
  2711. <testcase classname="sel4test" name="TEST_CNODEOP00062">
  2712. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2713. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2714. Running test CNODEOP0006 (Basic seL4_CNode_Recycle() testing)
  2715. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2716. <<seL4 [decodeCNodeInvocation/217 Tffdf0700 @8874]: CNode Recycle: Target cap invalid.>>
  2717. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2718. Test CNODEOP0006 passed
  2719. <system-out> TEST_CNODEOP0006
  2720. </system-out>
  2721. </testcase>
  2722. <testcase classname="sel4test" name="TEST_CNODEOP00052">
  2723. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2724. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2725. Running test CNODEOP0005 (Basic seL4_CNode_Mutate() testing)
  2726. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2727. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2728. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @87d4]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2729. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2730. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2731. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @87d4]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2732. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2733. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2734. Test CNODEOP0005 passed
  2735. <system-out> TEST_CNODEOP0005
  2736. </system-out>
  2737. </testcase>
  2738. <testcase classname="sel4test" name="TEST_CNODEOP00042">
  2739. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2740. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2741. Running test CNODEOP0004 (Basic seL4_CNode_Move() testing)
  2742. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2743. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2744. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2745. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2746. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2747. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2748. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2749. Test CNODEOP0004 passed
  2750. <system-out> TEST_CNODEOP0004
  2751. </system-out>
  2752. </testcase>
  2753. <testcase classname="sel4test" name="TEST_CNODEOP00032">
  2754. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2755. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2756. Running test CNODEOP0003 (Basic seL4_CNode_Mint() testing)
  2757. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @85e0]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2758. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @85e0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2759. <<seL4 [decodeInvocation/590 Tffdf0700 @8aec]: Attempted to invoke a null cap #295.>>
  2760. Test CNODEOP0003 passed
  2761. <system-out> TEST_CNODEOP0003
  2762. </system-out>
  2763. </testcase>
  2764. <testcase classname="sel4test" name="TEST_CNODEOP00022">
  2765. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2766. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2767. Running test CNODEOP0002 (Basic seL4_CNode_Delete() testing)
  2768. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2769. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2770. Test CNODEOP0002 passed
  2771. <system-out> TEST_CNODEOP0002
  2772. </system-out>
  2773. </testcase>
  2774. <testcase classname="sel4test" name="TEST_CNODEOP00012">
  2775. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2776. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2777. Running test CNODEOP0001 (Basic seL4_CNode_Copy() testing)
  2778. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2779. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @8494]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2780. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2781. <<seL4 [decodeCNodeInvocation/94 Tffdf0700 @8494]: CNode Copy/Mint/Move/Mutate: Destination not empty.>>
  2782. <<seL4 [decodeInvocation/590 Tffdf0700 @8aec]: Attempted to invoke a null cap #295.>>
  2783. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2784. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @86b0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2785. <<seL4 [decodeCNodeInvocation/106 Tffdf0700 @8494]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>
  2786. <<seL4 [decodeInvocation/590 Tffdf0700 @8aec]: Attempted to invoke a null cap #291.>>
  2787. Test CNODEOP0001 passed
  2788. <system-out> TEST_CNODEOP0001
  2789. </system-out>
  2790. </testcase>
  2791. <testcase classname="sel4test" name="TEST_CACHEFLUSH00022">
  2792. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2793. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2794. Running test CACHEFLUSH0002 (Test a cache maintenance on page directories)
  2795. Test CACHEFLUSH0002 passed
  2796. <system-out> TEST_CACHEFLUSH0002
  2797. </system-out>
  2798. </testcase>
  2799. <testcase classname="sel4test" name="TEST_CACHEFLUSH00012">
  2800. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000523fc
  2801. INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0005a400-->00173228
  2802. Running test CACHEFLUSH0001 (Test a cache maintenance on pages)
  2803. Test CACHEFLUSH0001 passed
  2804. <system-out> TEST_CACHEFLUSH0001
  2805. </system-out>
  2806. </testcase>
  2807. </testsuite>
  2808.  
  2809. 136/136 tests passed.
  2810. All is well in the universe.
  2811.  
  2812.  
  2813. Ignoring call to sys_exit_group
  2814. Ignoring call to sys_rt_sigprocmask
  2815. Ignoring call to sys_gettid
  2816. Ignoring call to sys_getpid
  2817. sys_tgkill assuming self kill
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!