API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Aug 5th, 2020
83
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 21.54 KB | None | 0 0
raw download clone embed print report
  1. DIDRv: 5, armv 71, coproc baseline only? no.
  2. CPU is in secure mode. Enabling debugging in secure user mode.
  3. Warning: gpt_cntfrq 62500000, expected 19200000
  4. Bootstrapping kernel
  5. Booting all finished, dropped to user space
  6. Node 0 of 1
  7. IOPT levels: 0
  8. IPC buffer: 0x417000
  9. Empty slots: [1133 --> 8192)
  10. sharedFrames: [0 --> 0)
  11. userImageFrames: [22 --> 1053)
  12. userImagePaging: [12 --> 17)
  13. untypeds: [1053 --> 1133)
  14. Initial thread domain: 0
  15. Initial thread cnode size: 13
  16. List of untypeds
  17. ------------------
  18. Paddr | Size | Device
  19. 0x8000000 | 27 | 1
  20. 0x10000000 | 27 | 1
  21. 0x18000000 | 26 | 1
  22. 0x1c000000 | 25 | 1
  23. 0x1e000000 | 24 | 1
  24. 0x1f100000 | 20 | 1
  25. 0x1f200000 | 21 | 1
  26. 0x1f400000 | 22 | 1
  27. 0x1f800000 | 23 | 1
  28. 0x20000000 | 29 | 1
  29. 0x40001000 | 12 | 1
  30. 0x40002000 | 13 | 1
  31. 0x40004000 | 14 | 1
  32. 0x40008000 | 15 | 1
  33. 0x40010000 | 16 | 1
  34. 0x40020000 | 17 | 1
  35. 0x40040000 | 18 | 1
  36. 0x40080000 | 19 | 1
  37. 0x40100000 | 20 | 1
  38. 0x40200000 | 21 | 1
  39. 0x40400000 | 22 | 1
  40. 0x40800000 | 23 | 1
  41. 0x41000000 | 24 | 1
  42. 0x42000000 | 25 | 1
  43. 0x44000000 | 26 | 1
  44. 0x48000000 | 27 | 1
  45. 0x50000000 | 28 | 1
  46. 0x60000000 | 29 | 1
  47. 0x80000000 | 29 | 1
  48. 0xa0000000 | 29 | 1
  49. 0xc0000000 | 29 | 1
  50. 0xe0000000 | 28 | 1
  51. 0xf0000000 | 27 | 1
  52. 0xf8000000 | 26 | 1
  53. 0xfc000000 | 25 | 1
  54. 0xfe000000 | 24 | 1
  55. 0xff000000 | 23 | 1
  56. 0xff800000 | 22 | 1
  57. 0xffc00000 | 21 | 1
  58. 0xffe00000 | 20 | 1
  59. 0xfff00000 | 19 | 1
  60. 0xfff80000 | 18 | 1
  61. 0xfffc0000 | 17 | 1
  62. 0xfffe0000 | 16 | 1
  63. 0xffff0000 | 15 | 1
  64. 0xffff8000 | 14 | 1
  65. 0xffffc000 | 13 | 1
  66. 0xffffe000 | 12 | 1
  67. 0xfffff000 | 11 | 1
  68. 0xfffff800 | 10 | 1
  69. 0xfffffc00 | 9 | 1
  70. 0xfffffe00 | 8 | 1
  71. 0xffffff00 | 7 | 1
  72. 0xffffff80 | 6 | 1
  73. 0xffffffc0 | 5 | 1
  74. 0xffffffe0 | 4 | 1
  75. 0 | 16 | 0
  76. 0x446000 | 13 | 0
  77. 0x448000 | 15 | 0
  78. 0x450000 | 16 | 0
  79. 0x460000 | 17 | 0
  80. 0x480000 | 19 | 0
  81. 0x500000 | 20 | 0
  82. 0x600000 | 21 | 0
  83. 0x800000 | 23 | 0
  84. 0x1000000 | 24 | 0
  85. 0x2000000 | 25 | 0
  86. 0x4000000 | 25 | 0
  87. 0x6000000 | 24 | 0
  88. 0x7000000 | 23 | 0
  89. 0x7800000 | 22 | 0
  90. 0x7c00000 | 21 | 0
  91. 0x7e00000 | 20 | 0
  92. 0x7f00000 | 19 | 0
  93. 0x7f80000 | 18 | 0
  94. 0x7ff0c00 | 10 | 0
  95. 0x7ff1000 | 12 | 0
  96. 0x7ff2000 | 13 | 0
  97. 0x7ff4000 | 14 | 0
  98. 0x7ff8000 | 15 | 0
  99. Untyped summary
  100. 1 untypeds of size 4
  101. 1 untypeds of size 5
  102. 1 untypeds of size 6
  103. 1 untypeds of size 7
  104. 1 untypeds of size 8
  105. 1 untypeds of size 9
  106. 2 untypeds of size 10
  107. 1 untypeds of size 11
  108. 3 untypeds of size 12
  109. 4 untypeds of size 13
  110. 3 untypeds of size 14
  111. 4 untypeds of size 15
  112. 4 untypeds of size 16
  113. 3 untypeds of size 17
  114. 3 untypeds of size 18
  115. 4 untypeds of size 19
  116. 5 untypeds of size 20
  117. 5 untypeds of size 21
  118. 4 untypeds of size 22
  119. 5 untypeds of size 23
  120. 5 untypeds of size 24
  121. 5 untypeds of size 25
  122. 3 untypeds of size 26
  123. 4 untypeds of size 27
  124. 2 untypeds of size 28
  125. 5 untypeds of size 29
  126. Switching to a safer, bigger stack...
  127. seL4 Test
  128. =========
  129.  
  130. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 2147483648, error 1
  131. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 1073741824, error 1
  132. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 536870912, error 1
  133. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 268435456, error 1
  134. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 134217728, error 1
  135. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 67108864, error 1
  136. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 33554432, error 1
  137. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 16777216, error 1
  138. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 8388608, error 1
  139. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 4194304, error 1
  140. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 2097152, error 1
  141. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 1048576, error 1
  142. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 524288, error 1
  143. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 262144, error 1
  144. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 131072, error 1
  145. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 65536, error 1
  146. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 32768, error 1
  147. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 16384, error 1
  148. vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size 8192, error 1
  149. vspace_reserve_range_at@vspace.h:744 vspace is NULL
  150. create_reservations@elf.c:249 Failed to make reservation: 0x10000, 860160
  151. elf_reserve_regions_in_vspace@elf.c:442 Failed to create reservations
  152. sel4utils_elf_reserve@elf.c:469 Failed to reserve regions
  153. <testsuite>
  154. <testcase classname="sel4test" name="Test that there are tests">
  155. </testcase>
  156. <testcase classname="sel4test" name="SYSCALL0000">
  157. </testcase>
  158. <testcase classname="sel4test" name="SYSCALL0001">
  159. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  160. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  161. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  162. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  163. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  164. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  165. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  166. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  167. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  168. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  169. </testcase>
  170. <testcase classname="sel4test" name="SYSCALL0002">
  171. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  172. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  173. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  174. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  175. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  176. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  177. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  178. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  179. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  180. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  181. </testcase>
  182. <testcase classname="sel4test" name="SYSCALL0003">
  183. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  184. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  185. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  186. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  187. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  188. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  189. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  190. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  191. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  192. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  193. </testcase>
  194. <testcase classname="sel4test" name="SYSCALL0004">
  195. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  196. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  197. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  198. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  199. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  200. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  201. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  202. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  203. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  204. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ddc]: CNodeCap: Illegal Operation attempted.>>
  205. </testcase>
  206. <testcase classname="sel4test" name="SYSCALL0005">
  207. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  208. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  209. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  210. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  211. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  212. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  213. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  214. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  215. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  216. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  217. </testcase>
  218. <testcase classname="sel4test" name="SYSCALL0006">
  219. </testcase>
  220. <testcase classname="sel4test" name="SYSCALL0010">
  221. </testcase>
  222. <testcase classname="sel4test" name="SYSCALL0011">
  223. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  224. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  225. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  226. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  227. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  228. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  229. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  230. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  231. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  232. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14ec4]: Attempted reply operation when no reply cap present.>>
  233. </testcase>
  234. <testcase classname="sel4test" name="SYSCALL0012">
  235. </testcase>
  236. <testcase classname="sel4test" name="SYSCALL0013">
  237. </testcase>
  238. <testcase classname="sel4test" name="SYSCALL0014">
  239. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  240. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  241. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  242. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  243. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  244. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  245. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  246. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  247. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  248. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  249. </testcase>
  250. <testcase classname="sel4test" name="SYSCALL0015">
  251. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  252. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  253. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  254. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  255. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  256. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  257. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  258. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  259. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  260. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14d5c]: CNodeCap: Illegal Operation attempted.>>
  261. </testcase>
  262. <testcase classname="sel4test" name="SYSCALL0016">
  263. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  264. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  265. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  266. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  267. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  268. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  269. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  270. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  271. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  272. <<seL4(CPU 0) [handleReply/442 T0xe7fef400 "sel4test-driver" @14da4]: Attempted reply operation when no reply cap present.>>
  273. </testcase>
  274. <testcase classname="sel4test" name="SYSCALL0017">
  275. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  276. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  277. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  278. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  279. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  280. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  281. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  282. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  283. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  284. <<seL4(CPU 0) [decodeCNodeInvocation/54 T0xe7fef400 "sel4test-driver" @14ec4]: CNodeCap: Illegal Operation attempted.>>
  285. </testcase>
  286. <testcase classname="sel4test" name="TIMER0001">
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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!