API tools faq
paste
bwt93

With-Python

bwt93
May 26th, 2020
44
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 43.28 KB | None | 0 0
raw download clone embed print report
  1.  
  2.  
  3. U-Boot 2017.05-00004-g88af53fbce (Apr 22 2020 - 11:52:48 +0100) for ODROID-XU4
  4.  
  5. CPU: Exynos5422 @ 800 MHz
  6. Model: Odroid XU4 based on EXYNOS5422
  7. Board: Odroid XU4 based on EXYNOS5422
  8. Type: xu4
  9. DRAM: 2 GiB
  10. MMC: EXYNOS DWMMC: 0, EXYNOS DWMMC: 1
  11. MMC Device 0 (eMMC): 14.6 GiB
  12. Info eMMC rst_n_func status = enabled
  13. Card did not respond to voltage select!
  14. mmc_init: -95, time 11
  15. *** Warning - bad CRC, using default environment
  16.  
  17. In: serial
  18. Out: serial
  19. Err: serial
  20. Net: No ethernet found.
  21. Press quickly 'Enter' twice to stop autoboot: 1  0
  22. reading boot.ini
  23. 9735 bytes read in 2 ms (4.6 MiB/s)
  24. cfgload addr = 0x50000000, Loading boot.ini from FAT
  25. cfgload: applying boot.ini...
  26. cfgload: setenv initrd_high "0xffffffff"
  27. cfgload: setenv fdt_high "0xffffffff"
  28. cfgload: setenv macaddr "00:1e:06:61:7a:39"
  29. cfgload: setenv vout "hdmi"
  30. cfgload: setenv cecenable "false" # false or true
  31. cfgload: setenv disable_vu7 "false" # false
  32. cfgload: setenv ddr_freq 825
  33. cfgload: setenv external_watchdog "false"
  34. cfgload: setenv external_watchdog_debounce "3"
  35. cfgload: setenv HPD "true"
  36. cfgload: setenv bootrootfs "console=tty1 console=ttySAC2,115200n8 root=UUID=e139ce78-9841-40fe-8823-96a304a09859 rootwait ro fsck.repair=yes net.ifnames=0"
  37. cfgload: fatload mmc 0:1 ${kernel_addr_r} vm.elf
  38. reading vm.elf
  39. 50324268 bytes read in 1770 ms (27.1 MiB/s)
  40. cfgload: dmc ${ddr_freq}
  41. cfgload: bootelf ${kernel_addr_r}
  42. CACHE: Misaligned operation at range [633df000, 633df034]
  43. CACHE: Misaligned operation at range [633e0000, 633ea09c]
  44. CACHE: Misaligned operation at range [633ea09c, 633eabef]
  45. CACHE: Misaligned operation at range [663b6840, 663b68e4]
  46. CACHE: Misaligned operation at range [663b68e4, 663b6910]
  47. ## Starting application at 0x633df000 ...
  48.  
  49. Switching CPU...
  50.  
  51. ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p3
  52. paddr=[633df000..663b690f]
  53. No DTB passed in from boot loader.
  54. Looking for DTB in CPIO archive...found at 634f8b2c.
  55. Loaded DTB from 634f8b2c.
  56. paddr=[6003e000..6004cfff]
  57. ELF-loading image 'kernel'
  58. paddr=[60000000..6003dfff]
  59. vaddr=[e0000000..e003dfff]
  60. virt_entry=e0000000
  61. ELF-loading image 'capdl-loader'
  62. paddr=[6004d000..62fe5fff]
  63. vaddr=[10000..2fa8fff]
  64. virt_entry=19a1c
  65. Enabling hypervisor MMU and paging
  66. Jumping to kernel-image entry point...
  67.  
  68. Bootstrapping kernel
  69. Booting all finished, dropped to user space
  70. main@main.c:2028 Starting Loader...
  71.  
  72. parse_bootinfo@main.c:434 Parsing bootinfo...
  73.  
  74. parse_bootinfo@main.c:450 249814 free cap slots, from 12330 to 262144
  75.  
  76. parse_bootinfo@main.c:505 Loader is running in domain 0
  77.  
  78. sort_untypeds@main.c:391 Sorting untypeds...
  79.  
  80. sort_untypeds@main.c:416 Untyped 0 (cptr=0x2fcd) (addr=0) is of size 28. Skipping as it is device
  81.  
  82. sort_untypeds@main.c:416 Untyped 1 (cptr=0x2fce) (addr=0x10000000) is of size 20. Skipping as it is device
  83.  
  84. sort_untypeds@main.c:416 Untyped 2 (cptr=0x2fcf) (addr=0x10100000) is of size 19. Skipping as it is device
  85.  
  86. sort_untypeds@main.c:416 Untyped 3 (cptr=0x2fd0) (addr=0x10180000) is of size 18. Skipping as it is device
  87.  
  88. sort_untypeds@main.c:416 Untyped 4 (cptr=0x2fd1) (addr=0x101c1000) is of size 12. Skipping as it is device
  89.  
  90. sort_untypeds@main.c:416 Untyped 5 (cptr=0x2fd2) (addr=0x101c2000) is of size 13. Skipping as it is device
  91.  
  92. sort_untypeds@main.c:416 Untyped 6 (cptr=0x2fd3) (addr=0x101c4000) is of size 14. Skipping as it is device
  93.  
  94. sort_untypeds@main.c:416 Untyped 7 (cptr=0x2fd4) (addr=0x101c8000) is of size 15. Skipping as it is device
  95.  
  96. sort_untypeds@main.c:416 Untyped 8 (cptr=0x2fd5) (addr=0x101d0000) is of size 16. Skipping as it is device
  97.  
  98. sort_untypeds@main.c:416 Untyped 9 (cptr=0x2fd6) (addr=0x101e0000) is of size 17. Skipping as it is device
  99.  
  100. sort_untypeds@main.c:416 Untyped 10 (cptr=0x2fd7) (addr=0x10200000) is of size 21. Skipping as it is device
  101.  
  102. sort_untypeds@main.c:416 Untyped 11 (cptr=0x2fd8) (addr=0x10400000) is of size 19. Skipping as it is device
  103.  
  104. sort_untypeds@main.c:416 Untyped 12 (cptr=0x2fd9) (addr=0x10480000) is of size 12. Skipping as it is device
  105.  
  106. sort_untypeds@main.c:416 Untyped 13 (cptr=0x2fda) (addr=0x10483000) is of size 12. Skipping as it is device
  107.  
  108. sort_untypeds@main.c:416 Untyped 14 (cptr=0x2fdb) (addr=0x10485000) is of size 12. Skipping as it is device
  109.  
  110. sort_untypeds@main.c:416 Untyped 15 (cptr=0x2fdc) (addr=0x10486000) is of size 13. Skipping as it is device
  111.  
  112. sort_untypeds@main.c:416 Untyped 16 (cptr=0x2fdd) (addr=0x10488000) is of size 15. Skipping as it is device
  113.  
  114. sort_untypeds@main.c:416 Untyped 17 (cptr=0x2fde) (addr=0x10490000) is of size 16. Skipping as it is device
  115.  
  116. sort_untypeds@main.c:416 Untyped 18 (cptr=0x2fdf) (addr=0x104a0000) is of size 17. Skipping as it is device
  117.  
  118. sort_untypeds@main.c:416 Untyped 19 (cptr=0x2fe0) (addr=0x104c0000) is of size 18. Skipping as it is device
  119.  
  120. sort_untypeds@main.c:416 Untyped 20 (cptr=0x2fe1) (addr=0x10500000) is of size 20. Skipping as it is device
  121.  
  122. sort_untypeds@main.c:416 Untyped 21 (cptr=0x2fe2) (addr=0x10600000) is of size 21. Skipping as it is device
  123.  
  124. sort_untypeds@main.c:416 Untyped 22 (cptr=0x2fe3) (addr=0x10800000) is of size 23. Skipping as it is device
  125.  
  126. sort_untypeds@main.c:416 Untyped 23 (cptr=0x2fe4) (addr=0x11000000) is of size 24. Skipping as it is device
  127.  
  128. sort_untypeds@main.c:416 Untyped 24 (cptr=0x2fe5) (addr=0x12000000) is of size 25. Skipping as it is device
  129.  
  130. sort_untypeds@main.c:416 Untyped 25 (cptr=0x2fe6) (addr=0x14000000) is of size 26. Skipping as it is device
  131.  
  132. sort_untypeds@main.c:416 Untyped 26 (cptr=0x2fe7) (addr=0x18000000) is of size 27. Skipping as it is device
  133.  
  134. sort_untypeds@main.c:416 Untyped 27 (cptr=0x2fe8) (addr=0x20000000) is of size 29. Skipping as it is device
  135.  
  136. sort_untypeds@main.c:416 Untyped 28 (cptr=0x2fe9) (addr=0x40000000) is of size 29. Skipping as it is device
  137.  
  138. sort_untypeds@main.c:416 Untyped 29 (cptr=0x2fea) (addr=0x7f200000) is of size 21. Skipping as it is device
  139.  
  140. sort_untypeds@main.c:416 Untyped 30 (cptr=0x2feb) (addr=0x7f400000) is of size 22. Skipping as it is device
  141.  
  142. sort_untypeds@main.c:416 Untyped 31 (cptr=0x2fec) (addr=0x7f800000) is of size 23. Skipping as it is device
  143.  
  144. sort_untypeds@main.c:416 Untyped 32 (cptr=0x2fed) (addr=0x80000000) is of size 29. Skipping as it is device
  145.  
  146. sort_untypeds@main.c:416 Untyped 33 (cptr=0x2fee) (addr=0xa0000000) is of size 29. Skipping as it is device
  147.  
  148. sort_untypeds@main.c:416 Untyped 34 (cptr=0x2fef) (addr=0xc0000000) is of size 29. Skipping as it is device
  149.  
  150. sort_untypeds@main.c:416 Untyped 35 (cptr=0x2ff0) (addr=0xe0000000) is of size 28. Skipping as it is device
  151.  
  152. sort_untypeds@main.c:416 Untyped 36 (cptr=0x2ff1) (addr=0xf0000000) is of size 27. Skipping as it is device
  153.  
  154. sort_untypeds@main.c:416 Untyped 37 (cptr=0x2ff2) (addr=0xf8000000) is of size 26. Skipping as it is device
  155.  
  156. sort_untypeds@main.c:416 Untyped 38 (cptr=0x2ff3) (addr=0xfc000000) is of size 25. Skipping as it is device
  157.  
  158. sort_untypeds@main.c:416 Untyped 39 (cptr=0x2ff4) (addr=0xfe000000) is of size 24. Skipping as it is device
  159.  
  160. sort_untypeds@main.c:416 Untyped 40 (cptr=0x2ff5) (addr=0xff000000) is of size 23. Skipping as it is device
  161.  
  162. sort_untypeds@main.c:416 Untyped 41 (cptr=0x2ff6) (addr=0xff800000) is of size 22. Skipping as it is device
  163.  
  164. sort_untypeds@main.c:416 Untyped 42 (cptr=0x2ff7) (addr=0xffc00000) is of size 21. Skipping as it is device
  165.  
  166. sort_untypeds@main.c:416 Untyped 43 (cptr=0x2ff8) (addr=0xffe00000) is of size 20. Skipping as it is device
  167.  
  168. sort_untypeds@main.c:416 Untyped 44 (cptr=0x2ff9) (addr=0xfff00000) is of size 19. Skipping as it is device
  169.  
  170. sort_untypeds@main.c:416 Untyped 45 (cptr=0x2ffa) (addr=0xfff80000) is of size 18. Skipping as it is device
  171.  
  172. sort_untypeds@main.c:416 Untyped 46 (cptr=0x2ffb) (addr=0xfffc0000) is of size 17. Skipping as it is device
  173.  
  174. sort_untypeds@main.c:416 Untyped 47 (cptr=0x2ffc) (addr=0xfffe0000) is of size 16. Skipping as it is device
  175.  
  176. sort_untypeds@main.c:416 Untyped 48 (cptr=0x2ffd) (addr=0xffff0000) is of size 15. Skipping as it is device
  177.  
  178. sort_untypeds@main.c:416 Untyped 49 (cptr=0x2ffe) (addr=0xffff8000) is of size 14. Skipping as it is device
  179.  
  180. sort_untypeds@main.c:416 Untyped 50 (cptr=0x2fff) (addr=0xffffc000) is of size 13. Skipping as it is device
  181.  
  182. sort_untypeds@main.c:416 Untyped 51 (cptr=0x3000) (addr=0xffffe000) is of size 12. Skipping as it is device
  183.  
  184. sort_untypeds@main.c:416 Untyped 52 (cptr=0x3001) (addr=0xfffff000) is of size 11. Skipping as it is device
  185.  
  186. sort_untypeds@main.c:416 Untyped 53 (cptr=0x3002) (addr=0xfffff800) is of size 10. Skipping as it is device
  187.  
  188. sort_untypeds@main.c:416 Untyped 54 (cptr=0x3003) (addr=0xfffffc00) is of size 9. Skipping as it is device
  189.  
  190. sort_untypeds@main.c:416 Untyped 55 (cptr=0x3004) (addr=0xfffffe00) is of size 8. Skipping as it is device
  191.  
  192. sort_untypeds@main.c:416 Untyped 56 (cptr=0x3005) (addr=0xffffff00) is of size 7. Skipping as it is device
  193.  
  194. sort_untypeds@main.c:416 Untyped 57 (cptr=0x3006) (addr=0xffffff80) is of size 6. Skipping as it is device
  195.  
  196. sort_untypeds@main.c:416 Untyped 58 (cptr=0x3007) (addr=0xffffffc0) is of size 5. Skipping as it is device
  197.  
  198. sort_untypeds@main.c:416 Untyped 59 (cptr=0x3008) (addr=0xffffffe0) is of size 4. Skipping as it is device
  199.  
  200. sort_untypeds@main.c:422 Untyped 60 (cptr=0x3009) (addr=0x60000000) is of size 16. Placing in slot 11...
  201.  
  202. sort_untypeds@main.c:422 Untyped 61 (cptr=0x300a) (addr=0x62fe6000) is of size 13. Placing in slot 15...
  203.  
  204. sort_untypeds@main.c:422 Untyped 62 (cptr=0x300b) (addr=0x62fe8000) is of size 15. Placing in slot 14...
  205.  
  206. sort_untypeds@main.c:422 Untyped 63 (cptr=0x300c) (addr=0x62ff0000) is of size 16. Placing in slot 12...
  207.  
  208. sort_untypeds@main.c:422 Untyped 64 (cptr=0x300d) (addr=0x63000000) is of size 24. Placing in slot 5...
  209.  
  210. sort_untypeds@main.c:422 Untyped 65 (cptr=0x300e) (addr=0x64000000) is of size 26. Placing in slot 2...
  211.  
  212. sort_untypeds@main.c:422 Untyped 66 (cptr=0x300f) (addr=0x68000000) is of size 27. Placing in slot 0...
  213.  
  214. sort_untypeds@main.c:422 Untyped 67 (cptr=0x3010) (addr=0x70000000) is of size 27. Placing in slot 1...
  215.  
  216. sort_untypeds@main.c:422 Untyped 68 (cptr=0x3011) (addr=0x78000000) is of size 26. Placing in slot 3...
  217.  
  218. sort_untypeds@main.c:422 Untyped 69 (cptr=0x3012) (addr=0x7c000000) is of size 25. Placing in slot 4...
  219.  
  220. sort_untypeds@main.c:422 Untyped 70 (cptr=0x3013) (addr=0x7e000000) is of size 23. Placing in slot 6...
  221.  
  222. sort_untypeds@main.c:422 Untyped 71 (cptr=0x3014) (addr=0x7ec2f800) is of size 11. Placing in slot 16...
  223.  
  224. sort_untypeds@main.c:422 Untyped 72 (cptr=0x3015) (addr=0x7ec30000) is of size 16. Placing in slot 13...
  225.  
  226. sort_untypeds@main.c:422 Untyped 73 (cptr=0x3016) (addr=0x7ec40000) is of size 18. Placing in slot 10...
  227.  
  228. sort_untypeds@main.c:422 Untyped 74 (cptr=0x3017) (addr=0x7ec80000) is of size 19. Placing in slot 9...
  229.  
  230. sort_untypeds@main.c:422 Untyped 75 (cptr=0x3018) (addr=0x7ed00000) is of size 20. Placing in slot 8...
  231.  
  232. sort_untypeds@main.c:422 Untyped 76 (cptr=0x3019) (addr=0x7ee00000) is of size 21. Placing in slot 7...
  233.  
  234. create_objects@main.c:770 Creating objects...
  235.  
  236. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x2073000 in slot 12330, from untyped 300f...
  237.  
  238. create_object@main.c:656 device frame/untyped, paddr = 0x2073000, size = 12 bits
  239. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3810000 in slot 12331, from untyped 300f...
  240.  
  241. create_object@main.c:656 device frame/untyped, paddr = 0x3810000, size = 12 bits
  242. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3830000 in slot 12332, from untyped 300f...
  243.  
  244. create_object@main.c:656 device frame/untyped, paddr = 0x3830000, size = 12 bits
  245. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3860000 in slot 12333, from untyped 300f...
  246.  
  247. create_object@main.c:656 device frame/untyped, paddr = 0x3860000, size = 12 bits
  248. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x3880000 in slot 12334, from untyped 300f...
  249.  
  250. create_object@main.c:656 device frame/untyped, paddr = 0x3880000, size = 12 bits
  251. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10000000 in slot 12335, from untyped 300f...
  252.  
  253. create_object@main.c:656 device frame/untyped, paddr = 0x10000000, size = 12 bits
  254. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10010000 in slot 12336, from untyped 300f...
  255.  
  256. create_object@main.c:656 device frame/untyped, paddr = 0x10010000, size = 16 bits
  257. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10020000 in slot 12337, from untyped 300f...
  258.  
  259. create_object@main.c:656 device frame/untyped, paddr = 0x10020000, size = 17 bits
  260. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10040000 in slot 12338, from untyped 300f...
  261.  
  262. create_object@main.c:656 device frame/untyped, paddr = 0x10040000, size = 14 bits
  263. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10044000 in slot 12339, from untyped 300f...
  264.  
  265. create_object@main.c:656 device frame/untyped, paddr = 0x10044000, size = 12 bits
  266. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10050000 in slot 12340, from untyped 300f...
  267.  
  268. create_object@main.c:656 device frame/untyped, paddr = 0x10050000, size = 14 bits
  269. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10054000 in slot 12341, from untyped 300f...
  270.  
  271. create_object@main.c:656 device frame/untyped, paddr = 0x10054000, size = 12 bits
  272. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10060000 in slot 12342, from untyped 300f...
  273.  
  274. create_object@main.c:656 device frame/untyped, paddr = 0x10060000, size = 12 bits
  275. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10064000 in slot 12343, from untyped 300f...
  276.  
  277. create_object@main.c:656 device frame/untyped, paddr = 0x10064000, size = 12 bits
  278. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10068000 in slot 12344, from untyped 300f...
  279.  
  280. create_object@main.c:656 device frame/untyped, paddr = 0x10068000, size = 12 bits
  281. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x1006c000 in slot 12345, from untyped 300f...
  282.  
  283. create_object@main.c:656 device frame/untyped, paddr = 0x1006c000, size = 12 bits
  284. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x100a0000 in slot 12346, from untyped 300f...
  285.  
  286. create_object@main.c:656 device frame/untyped, paddr = 0x100a0000, size = 12 bits
  287. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x101d0000 in slot 12347, from untyped 300f...
  288.  
  289. create_object@main.c:656 device frame/untyped, paddr = 0x101d0000, size = 12 bits
  290. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x101e0000 in slot 12348, from untyped 300f...
  291.  
  292. create_object@main.c:656 device frame/untyped, paddr = 0x101e0000, size = 12 bits
  293. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10440000 in slot 12349, from untyped 300f...
  294.  
  295. create_object@main.c:656 device frame/untyped, paddr = 0x10440000, size = 12 bits
  296. create_objects@main.c:792 Creating object vm0_untyped_cap_0x10486000 in slot 12350, from untyped 300f...
  297.  
  298. create_object@main.c:656 device frame/untyped, paddr = 0x10486000, size = 12 bits
  299. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10800000 in slot 12351, from untyped 300f...
  300.  
  301. create_object@main.c:656 device frame/untyped, paddr = 0x10800000, size = 12 bits
  302. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10a60000 in slot 12352, from untyped 300f...
  303.  
  304. create_object@main.c:656 device frame/untyped, paddr = 0x10a60000, size = 12 bits
  305. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10a70000 in slot 12353, from untyped 300f...
  306.  
  307. create_object@main.c:656 device frame/untyped, paddr = 0x10a70000, size = 12 bits
  308. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10ca1000 in slot 12354, from untyped 300f...
  309.  
  310. create_object@main.c:656 device frame/untyped, paddr = 0x10ca1000, size = 12 bits
  311. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x10d20000 in slot 12355, from untyped 300f...
  312.  
  313. create_object@main.c:656 device frame/untyped, paddr = 0x10d20000, size = 12 bits
  314. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11200000 in slot 12356, from untyped 300f...
  315.  
  316. create_object@main.c:656 device frame/untyped, paddr = 0x11200000, size = 12 bits
  317. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11210000 in slot 12357, from untyped 300f...
  318.  
  319. create_object@main.c:656 device frame/untyped, paddr = 0x11210000, size = 12 bits
  320. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11d40000 in slot 12358, from untyped 300f...
  321.  
  322. create_object@main.c:656 device frame/untyped, paddr = 0x11d40000, size = 12 bits
  323. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11f10000 in slot 12359, from untyped 300f...
  324.  
  325. create_object@main.c:656 device frame/untyped, paddr = 0x11f10000, size = 12 bits
  326. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x11f20000 in slot 12360, from untyped 300f...
  327.  
  328. create_object@main.c:656 device frame/untyped, paddr = 0x11f20000, size = 12 bits
  329. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12000000 in slot 12361, from untyped 300f...
  330.  
  331. create_object@main.c:656 device frame/untyped, paddr = 0x12000000, size = 16 bits
  332. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12100000 in slot 12362, from untyped 300f...
  333.  
  334. create_object@main.c:656 device frame/untyped, paddr = 0x12100000, size = 12 bits
  335. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12110000 in slot 12363, from untyped 300f...
  336.  
  337. create_object@main.c:656 device frame/untyped, paddr = 0x12110000, size = 12 bits
  338. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12120000 in slot 12364, from untyped 300f...
  339.  
  340. create_object@main.c:656 device frame/untyped, paddr = 0x12120000, size = 12 bits
  341. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12130000 in slot 12365, from untyped 300f...
  342.  
  343. create_object@main.c:656 device frame/untyped, paddr = 0x12130000, size = 12 bits
  344. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x121a0000 in slot 12366, from untyped 300f...
  345.  
  346. create_object@main.c:656 device frame/untyped, paddr = 0x121a0000, size = 12 bits
  347. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x121b0000 in slot 12367, from untyped 300f...
  348.  
  349. create_object@main.c:656 device frame/untyped, paddr = 0x121b0000, size = 12 bits
  350. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12200000 in slot 12368, from untyped 300f...
  351.  
  352. create_object@main.c:656 device frame/untyped, paddr = 0x12200000, size = 13 bits
  353. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12210000 in slot 12369, from untyped 300f...
  354.  
  355. create_object@main.c:656 device frame/untyped, paddr = 0x12210000, size = 13 bits
  356. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12220000 in slot 12370, from untyped 300f...
  357.  
  358. create_object@main.c:656 device frame/untyped, paddr = 0x12220000, size = 12 bits
  359. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12400000 in slot 12371, from untyped 300f...
  360.  
  361. create_object@main.c:656 device frame/untyped, paddr = 0x12400000, size = 16 bits
  362. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12500000 in slot 12372, from untyped 300f...
  363.  
  364. create_object@main.c:656 device frame/untyped, paddr = 0x12500000, size = 12 bits
  365. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12880000 in slot 12373, from untyped 300f...
  366.  
  367. create_object@main.c:656 device frame/untyped, paddr = 0x12880000, size = 12 bits
  368. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12890000 in slot 12374, from untyped 300f...
  369.  
  370. create_object@main.c:656 device frame/untyped, paddr = 0x12890000, size = 12 bits
  371. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128a0000 in slot 12375, from untyped 300f...
  372.  
  373. create_object@main.c:656 device frame/untyped, paddr = 0x128a0000, size = 12 bits
  374. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128c0000 in slot 12376, from untyped 300f...
  375.  
  376. create_object@main.c:656 device frame/untyped, paddr = 0x128c0000, size = 12 bits
  377. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128d0000 in slot 12377, from untyped 300f...
  378.  
  379. create_object@main.c:656 device frame/untyped, paddr = 0x128d0000, size = 12 bits
  380. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x128e0000 in slot 12378, from untyped 300f...
  381.  
  382. create_object@main.c:656 device frame/untyped, paddr = 0x128e0000, size = 12 bits
  383. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c00000 in slot 12379, from untyped 300f...
  384.  
  385. create_object@main.c:656 device frame/untyped, paddr = 0x12c00000, size = 12 bits
  386. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c10000 in slot 12380, from untyped 300f...
  387.  
  388. create_object@main.c:656 device frame/untyped, paddr = 0x12c10000, size = 12 bits
  389. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c20000 in slot 12381, from untyped 300f...
  390.  
  391. create_object@main.c:656 device frame/untyped, paddr = 0x12c20000, size = 12 bits
  392. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c30000 in slot 12382, from untyped 300f...
  393.  
  394. create_object@main.c:656 device frame/untyped, paddr = 0x12c30000, size = 12 bits
  395. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c60000 in slot 12383, from untyped 300f...
  396.  
  397. create_object@main.c:656 device frame/untyped, paddr = 0x12c60000, size = 12 bits
  398. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c70000 in slot 12384, from untyped 300f...
  399.  
  400. create_object@main.c:656 device frame/untyped, paddr = 0x12c70000, size = 12 bits
  401. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c80000 in slot 12385, from untyped 300f...
  402.  
  403. create_object@main.c:656 device frame/untyped, paddr = 0x12c80000, size = 12 bits
  404. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12c90000 in slot 12386, from untyped 300f...
  405.  
  406. create_object@main.c:656 device frame/untyped, paddr = 0x12c90000, size = 12 bits
  407. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12ca0000 in slot 12387, from untyped 300f...
  408.  
  409. create_object@main.c:656 device frame/untyped, paddr = 0x12ca0000, size = 12 bits
  410. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12cb0000 in slot 12388, from untyped 300f...
  411.  
  412. create_object@main.c:656 device frame/untyped, paddr = 0x12cb0000, size = 12 bits
  413. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12cc0000 in slot 12389, from untyped 300f...
  414.  
  415. create_object@main.c:656 device frame/untyped, paddr = 0x12cc0000, size = 12 bits
  416. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12d10000 in slot 12390, from untyped 300f...
  417.  
  418. create_object@main.c:656 device frame/untyped, paddr = 0x12d10000, size = 12 bits
  419. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x12dd0000 in slot 12391, from untyped 300f...
  420.  
  421. create_object@main.c:656 device frame/untyped, paddr = 0x12dd0000, size = 12 bits
  422. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13400000 in slot 12392, from untyped 300f...
  423.  
  424. create_object@main.c:656 device frame/untyped, paddr = 0x13400000, size = 12 bits
  425. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13410000 in slot 12393, from untyped 300f...
  426.  
  427. create_object@main.c:656 device frame/untyped, paddr = 0x13410000, size = 12 bits
  428. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e00000 in slot 12394, from untyped 300f...
  429.  
  430. create_object@main.c:656 device frame/untyped, paddr = 0x13e00000, size = 12 bits
  431. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e10000 in slot 12395, from untyped 300f...
  432.  
  433. create_object@main.c:656 device frame/untyped, paddr = 0x13e10000, size = 12 bits
  434. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e80000 in slot 12396, from untyped 300f...
  435.  
  436. create_object@main.c:656 device frame/untyped, paddr = 0x13e80000, size = 12 bits
  437. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x13e90000 in slot 12397, from untyped 300f...
  438.  
  439. create_object@main.c:656 device frame/untyped, paddr = 0x13e90000, size = 12 bits
  440. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14010000 in slot 12398, from untyped 300f...
  441.  
  442. create_object@main.c:656 device frame/untyped, paddr = 0x14010000, size = 12 bits
  443. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14640000 in slot 12399, from untyped 300f...
  444.  
  445. create_object@main.c:656 device frame/untyped, paddr = 0x14640000, size = 12 bits
  446. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14650000 in slot 12400, from untyped 300f...
  447.  
  448. create_object@main.c:656 device frame/untyped, paddr = 0x14650000, size = 12 bits
  449. create_objects@main.c:792 Creating object vm_dtb_dtb_untyped_cap_0x14680000 in slot 12401, from untyped 300f...
  450.  
  451. create_object@main.c:656 device frame/untyped, paddr = 0x14680000, size = 12 bits
  452. create_objects@main.c:792 Creating object vm0_untyped_cap_0x80000000 in slot 12402, from untyped 300f...
  453.  
  454. create_object@main.c:656 device frame/untyped, paddr = 0x80000000, size = 28 bits
  455. create_objects@main.c:792 Creating object vm0_untyped_cap_0x90000000 in slot 12403, from untyped 300f...
  456.  
  457. create_object@main.c:656 device frame/untyped, paddr = 0x90000000, size = 28 bits
  458. create_objects@main.c:792 Creating object vm0_untyped_cap_0xa0000000 in slot 12404, from untyped 300f...
  459.  
  460. create_object@main.c:656 device frame/untyped, paddr = 0xa0000000, size = 28 bits
  461. create_objects@main.c:792 Creating object vm0_cnode in slot 12405, from untyped 300f...
  462.  
  463. create_object@main.c:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
  464. (CNode of size 23 bits)
  465. create_objects@main.c:792 Creating object frame_vm0_group_bin_0046 in slot 12406, from untyped 300f...
  466.  
  467. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 0 bytes available).>>
  468. create_objects@main.c:792 Creating object frame_vm0_group_bin_0046 in slot 12406, from untyped 3010...
  469.  
  470. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_0 in slot 12407, from untyped 3010...
  471.  
  472. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_1 in slot 12408, from untyped 3010...
  473.  
  474. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_10 in slot 12409, from untyped 3010...
  475.  
  476. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_11 in slot 12410, from untyped 3010...
  477.  
  478. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_2 in slot 12411, from untyped 3010...
  479.  
  480. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_3 in slot 12412, from untyped 3010...
  481.  
  482. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_4 in slot 12413, from untyped 3010...
  483.  
  484. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
  485. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_4 in slot 12413, from untyped 300e...
  486.  
  487. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_5 in slot 12414, from untyped 300e...
  488.  
  489. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_6 in slot 12415, from untyped 300e...
  490.  
  491. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_7 in slot 12416, from untyped 300e...
  492.  
  493. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_8 in slot 12417, from untyped 300e...
  494.  
  495. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
  496. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_8 in slot 12417, from untyped 3011...
  497.  
  498. create_objects@main.c:792 Creating object vm0_simple_untyped_24_pool_9 in slot 12418, from untyped 3011...
  499.  
  500. create_objects@main.c:792 Creating object frame_fserv_group_bin_0031 in slot 12419, from untyped 3011...
  501.  
  502. create_objects@main.c:792 Creating object frame_fserv_group_bin_0032 in slot 12420, from untyped 3011...
  503.  
  504. create_objects@main.c:792 Creating object frame_fserv_group_bin_0033 in slot 12421, from untyped 3011...
  505.  
  506. create_objects@main.c:792 Creating object frame_fserv_group_bin_0034 in slot 12422, from untyped 3011...
  507.  
  508. create_objects@main.c:792 Creating object frame_fserv_group_bin_0035 in slot 12423, from untyped 3011...
  509.  
  510. create_objects@main.c:792 Creating object frame_fserv_group_bin_0036 in slot 12424, from untyped 3011...
  511.  
  512. create_objects@main.c:792 Creating object frame_fserv_group_bin_0037 in slot 12425, from untyped 3011...
  513.  
  514. create_objects@main.c:792 Creating object frame_fserv_group_bin_0038 in slot 12426, from untyped 3011...
  515.  
  516. create_objects@main.c:792 Creating object frame_fserv_group_bin_0039 in slot 12427, from untyped 3011...
  517.  
  518. create_objects@main.c:792 Creating object frame_fserv_group_bin_0040 in slot 12428, from untyped 3011...
  519.  
  520. create_objects@main.c:792 Creating object frame_fserv_group_bin_0041 in slot 12429, from untyped 3011...
  521.  
  522. create_objects@main.c:792 Creating object frame_fserv_group_bin_0042 in slot 12430, from untyped 3011...
  523.  
  524. create_objects@main.c:792 Creating object frame_fserv_group_bin_0043 in slot 12431, from untyped 3011...
  525.  
  526. create_objects@main.c:792 Creating object frame_fserv_group_bin_0044 in slot 12432, from untyped 3011...
  527.  
  528. create_objects@main.c:792 Creating object frame_fserv_group_bin_0045 in slot 12433, from untyped 3011...
  529.  
  530. create_objects@main.c:792 Creating object frame_fserv_group_bin_0046 in slot 12434, from untyped 3011...
  531.  
  532. create_objects@main.c:792 Creating object frame_fserv_group_bin_0047 in slot 12435, from untyped 3011...
  533.  
  534. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  535. create_objects@main.c:792 Creating object frame_fserv_group_bin_0047 in slot 12435, from untyped 3012...
  536.  
  537. create_objects@main.c:792 Creating object frame_fserv_group_bin_0048 in slot 12436, from untyped 3012...
  538.  
  539. create_objects@main.c:792 Creating object frame_fserv_group_bin_0049 in slot 12437, from untyped 3012...
  540.  
  541. create_objects@main.c:792 Creating object frame_fserv_group_bin_0050 in slot 12438, from untyped 3012...
  542.  
  543. create_objects@main.c:792 Creating object frame_vm0_group_bin_0031 in slot 12439, from untyped 3012...
  544.  
  545. create_objects@main.c:792 Creating object frame_vm0_group_bin_0032 in slot 12440, from untyped 3012...
  546.  
  547. create_objects@main.c:792 Creating object frame_vm0_group_bin_0033 in slot 12441, from untyped 3012...
  548.  
  549. create_objects@main.c:792 Creating object frame_vm0_group_bin_0034 in slot 12442, from untyped 3012...
  550.  
  551. create_objects@main.c:792 Creating object frame_vm0_group_bin_0035 in slot 12443, from untyped 3012...
  552.  
  553. create_objects@main.c:792 Creating object frame_vm0_group_bin_0036 in slot 12444, from untyped 3012...
  554.  
  555. create_objects@main.c:792 Creating object frame_vm0_group_bin_0037 in slot 12445, from untyped 3012...
  556.  
  557. create_objects@main.c:792 Creating object frame_vm0_group_bin_0038 in slot 12446, from untyped 3012...
  558.  
  559. create_objects@main.c:792 Creating object frame_vm0_group_bin_0039 in slot 12447, from untyped 3012...
  560.  
  561. create_objects@main.c:792 Creating object frame_vm0_group_bin_0040 in slot 12448, from untyped 3012...
  562.  
  563. create_objects@main.c:792 Creating object frame_vm0_group_bin_0041 in slot 12449, from untyped 3012...
  564.  
  565. create_objects@main.c:792 Creating object frame_vm0_group_bin_0042 in slot 12450, from untyped 3012...
  566.  
  567. create_objects@main.c:792 Creating object frame_vm0_group_bin_0043 in slot 12451, from untyped 3012...
  568.  
  569. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  570. create_objects@main.c:792 Creating object frame_vm0_group_bin_0043 in slot 12451, from untyped 300d...
  571.  
  572. create_objects@main.c:792 Creating object frame_vm0_group_bin_0044 in slot 12452, from untyped 300d...
  573.  
  574. create_objects@main.c:792 Creating object frame_vm0_group_bin_0045 in slot 12453, from untyped 300d...
  575.  
  576. create_objects@main.c:792 Creating object frame_vm0_group_bin_0047 in slot 12454, from untyped 300d...
  577.  
  578. create_objects@main.c:792 Creating object frame_vm0_group_bin_0048 in slot 12455, from untyped 300d...
  579.  
  580. create_objects@main.c:792 Creating object frame_vm0_group_bin_0049 in slot 12456, from untyped 300d...
  581.  
  582. create_objects@main.c:792 Creating object frame_vm0_group_bin_0050 in slot 12457, from untyped 300d...
  583.  
  584. create_objects@main.c:792 Creating object frame_vm0_group_bin_0051 in slot 12458, from untyped 300d...
  585.  
  586. create_objects@main.c:792 Creating object frame_vm0_group_bin_0052 in slot 12459, from untyped 300d...
  587.  
  588. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  589. create_objects@main.c:792 Creating object frame_vm0_group_bin_0052 in slot 12459, from untyped 3013...
  590.  
  591. create_objects@main.c:792 Creating object frame_vm0_group_bin_0053 in slot 12460, from untyped 3013...
  592.  
  593. create_objects@main.c:792 Creating object frame_vm0_group_bin_0054 in slot 12461, from untyped 3013...
  594.  
  595. create_objects@main.c:792 Creating object frame_vm0_group_bin_0055 in slot 12462, from untyped 3013...
  596.  
  597. create_objects@main.c:792 Creating object frame_fserv_group_bin_0000 in slot 12463, from untyped 3013...
  598.  
  599. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  600. create_objects@main.c:792 Creating object frame_fserv_group_bin_0000 in slot 12463, from untyped 3019...
  601.  
  602. create_objects@main.c:792 Creating object frame_fserv_group_bin_0001 in slot 12464, from untyped 3019...
  603.  
  604. create_objects@main.c:792 Creating object frame_fserv_group_bin_0002 in slot 12465, from untyped 3019...
  605.  
  606. create_objects@main.c:792 Creating object frame_fserv_group_bin_0003 in slot 12466, from untyped 3019...
  607.  
  608. create_objects@main.c:792 Creating object frame_fserv_group_bin_0004 in slot 12467, from untyped 3019...
  609.  
  610. create_objects@main.c:792 Creating object frame_fserv_group_bin_0005 in slot 12468, from untyped 3019...
  611.  
  612. create_objects@main.c:792 Creating object frame_fserv_group_bin_0006 in slot 12469, from untyped 3019...
  613.  
  614. create_objects@main.c:792 Creating object frame_fserv_group_bin_0007 in slot 12470, from untyped 3019...
  615.  
  616. create_objects@main.c:792 Creating object frame_fserv_group_bin_0008 in slot 12471, from untyped 3019...
  617.  
  618. create_objects@main.c:792 Creating object frame_fserv_group_bin_0009 in slot 12472, from untyped 3019...
  619.  
  620. create_objects@main.c:792 Creating object frame_fserv_group_bin_0010 in slot 12473, from untyped 3019...
  621.  
  622. create_objects@main.c:792 Creating object frame_fserv_group_bin_0011 in slot 12474, from untyped 3019...
  623.  
  624. create_objects@main.c:792 Creating object frame_fserv_group_bin_0012 in slot 12475, from untyped 3019...
  625.  
  626. create_objects@main.c:792 Creating object frame_fserv_group_bin_0013 in slot 12476, from untyped 3019...
  627.  
  628. create_objects@main.c:792 Creating object frame_fserv_group_bin_0014 in slot 12477, from untyped 3019...
  629.  
  630. create_objects@main.c:792 Creating object frame_fserv_group_bin_0015 in slot 12478, from untyped 3019...
  631.  
  632. create_objects@main.c:792 Creating object frame_fserv_group_bin_0016 in slot 12479, from untyped 3019...
  633.  
  634. create_objects@main.c:792 Creating object frame_fserv_group_bin_0017 in slot 12480, from untyped 3019...
  635.  
  636. create_objects@main.c:792 Creating object frame_fserv_group_bin_0018 in slot 12481, from untyped 3019...
  637.  
  638. create_objects@main.c:792 Creating object frame_fserv_group_bin_0019 in slot 12482, from untyped 3019...
  639.  
  640. create_objects@main.c:792 Creating object frame_fserv_group_bin_0020 in slot 12483, from untyped 3019...
  641.  
  642. create_objects@main.c:792 Creating object frame_fserv_group_bin_0021 in slot 12484, from untyped 3019...
  643.  
  644. create_objects@main.c:792 Creating object frame_fserv_group_bin_0022 in slot 12485, from untyped 3019...
  645.  
  646. create_objects@main.c:792 Creating object frame_fserv_group_bin_0023 in slot 12486, from untyped 3019...
  647.  
  648. create_objects@main.c:792 Creating object frame_fserv_group_bin_0024 in slot 12487, from untyped 3019...
  649.  
  650. create_objects@main.c:792 Creating object frame_fserv_group_bin_0025 in slot 12488, from untyped 3019...
  651.  
  652. create_objects@main.c:792 Creating object frame_fserv_group_bin_0026 in slot 12489, from untyped 3019...
  653.  
  654. create_objects@main.c:792 Creating object frame_fserv_group_bin_0027 in slot 12490, from untyped 3019...
  655.  
  656. create_objects@main.c:792 Creating object frame_fserv_group_bin_0028 in slot 12491, from untyped 3019...
  657.  
  658. create_objects@main.c:792 Creating object frame_fserv_group_bin_0029 in slot 12492, from untyped 3019...
  659.  
  660. create_objects@main.c:792 Creating object frame_fserv_group_bin_0030 in slot 12493, from untyped 3019...
  661.  
  662. create_objects@main.c:792 Creating object frame_fserv_group_bin_0051 in slot 12494, from untyped 3019...
  663.  
  664. create_objects@main.c:792 Creating object frame_fserv_group_bin_0052 in slot 12495, from untyped 3019...
  665.  
  666. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  667. create_objects@main.c:792 Creating object frame_fserv_group_bin_0052 in slot 12495, from untyped 3018...
  668.  
  669. create_objects@main.c:792 Creating object frame_fserv_group_bin_0053 in slot 12496, from untyped 3018...
  670.  
  671. create_objects@main.c:792 Creating object frame_fserv_group_bin_0054 in slot 12497, from untyped 3018...
  672.  
  673. create_objects@main.c:792 Creating object frame_fserv_group_bin_0055 in slot 12498, from untyped 3018...
  674.  
  675. create_objects@main.c:792 Creating object frame_fserv_group_bin_0056 in slot 12499, from untyped 3018...
  676.  
  677. create_objects@main.c:792 Creating object frame_fserv_group_bin_0057 in slot 12500, from untyped 3018...
  678.  
  679. create_objects@main.c:792 Creating object frame_fserv_group_bin_0058 in slot 12501, from untyped 3018...
  680.  
  681. create_objects@main.c:792 Creating object frame_fserv_group_bin_0059 in slot 12502, from untyped 3018...
  682.  
  683. create_objects@main.c:792 Creating object frame_fserv_group_bin_0060 in slot 12503, from untyped 3018...
  684.  
  685. create_objects@main.c:792 Creating object frame_fserv_group_bin_0061 in slot 12504, from untyped 3018...
  686.  
  687. create_objects@main.c:792 Creating object frame_fserv_group_bin_0062 in slot 12505, from untyped 3018...
  688.  
  689. create_objects@main.c:792 Creating object frame_fserv_group_bin_0063 in slot 12506, from untyped 3018...
  690.  
  691. create_objects@main.c:792 Creating object frame_fserv_group_bin_0064 in slot 12507, from untyped 3018...
  692.  
  693. create_objects@main.c:792 Creating object frame_fserv_group_bin_0065 in slot 12508, from untyped 3018...
  694.  
  695. create_objects@main.c:792 Creating object frame_fserv_group_bin_0066 in slot 12509, from untyped 3018...
  696.  
  697. create_objects@main.c:792 Creating object frame_fserv_group_bin_0067 in slot 12510, from untyped 3018...
  698.  
  699. create_objects@main.c:792 Creating object frame_fserv_group_bin_0068 in slot 12511, from untyped 3018...
  700.  
  701. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  702. create_objects@main.c:792 Creating object frame_fserv_group_bin_0068 in slot 12511, from untyped 3017...
  703.  
  704. create_objects@main.c:792 Creating object frame_fserv_group_bin_0069 in slot 12512, from untyped 3017...
  705.  
  706. create_objects@main.c:792 Creating object frame_fserv_group_bin_0070 in slot 12513, from untyped 3017...
  707.  
  708. create_objects@main.c:792 Creating object frame_fserv_group_bin_0071 in slot 12514, from untyped 3017...
  709.  
  710. create_objects@main.c:792 Creating object frame_fserv_group_bin_0072 in slot 12515, from untyped 3017...
  711.  
  712. create_objects@main.c:792 Creating object frame_fserv_group_bin_0073 in slot 12516, from untyped 3017...
  713.  
  714. create_objects@main.c:792 Creating object frame_fserv_group_bin_0074 in slot 12517, from untyped 3017...
  715.  
  716. create_objects@main.c:792 Creating object frame_fserv_group_bin_0075 in slot 12518, from untyped 3017...
  717.  
  718. create_objects@main.c:792 Creating object frame_fserv_group_bin_0076 in slot 12519, from untyped 3017...
  719.  
  720. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  721. create_objects@main.c:792 Creating object frame_fserv_group_bin_0076 in slot 12519, from untyped 3016...
  722.  
  723. create_objects@main.c:792 Creating object frame_fserv_group_bin_0077 in slot 12520, from untyped 3016...
  724.  
  725. create_objects@main.c:792 Creating object frame_fserv_group_bin_0078 in slot 12521, from untyped 3016...
  726.  
  727. create_objects@main.c:792 Creating object frame_fserv_group_bin_0079 in slot 12522, from untyped 3016...
  728.  
  729. create_objects@main.c:792 Creating object frame_vm0_group_bin_0000 in slot 12523, from untyped 3016...
  730.  
  731. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  732. create_objects@main.c:792 Creating object frame_vm0_group_bin_0000 in slot 12523, from untyped 3009...
  733.  
  734. create_objects@main.c:792 Creating object frame_vm0_group_bin_0001 in slot 12524, from untyped 3009...
  735.  
  736. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  737. create_objects@main.c:792 Creating object frame_vm0_group_bin_0001 in slot 12524, from untyped 300c...
  738.  
  739. create_objects@main.c:792 Creating object frame_vm0_group_bin_0002 in slot 12525, from untyped 300c...
  740.  
  741. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  742. create_objects@main.c:792 Creating object frame_vm0_group_bin_0002 in slot 12525, from untyped 3015...
  743.  
  744. create_objects@main.c:792 Creating object frame_vm0_group_bin_0003 in slot 12526, from untyped 3015...
  745.  
  746. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>>
  747. create_objects@main.c:792 Creating object frame_vm0_group_bin_0003 in slot 12526, from untyped 300b...
  748.  
  749. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 32768 bytes available).>>
  750. create_objects@main.c:792 Creating object frame_vm0_group_bin_0003 in slot 12526, from untyped 300a...
  751.  
  752. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 8192 bytes available).>>
  753. create_objects@main.c:792 Creating object frame_vm0_group_bin_0003 in slot 12526, from untyped 3014...
  754.  
  755. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 2048 bytes available).>>
  756. create_objects@main.c:792 Creating object frame_vm0_group_bin_0003 in slot 12526, from untyped 0...
  757.  
  758. <<seL4(CPU 0) [decodeInvocation/631 T0xfec2f400 "rootserver" @10724]: Attempted to invoke a null cap #0.>>
  759. create_objects@main.c:807 [Err seL4_InvalidCapability]:
  760. Untyped retype failed with unexpected error
  761. seL4 root server abort()ed
  762. Debug halt syscall from user thread 0xfec2f400 "rootserver"
  763. halting...
  764. Kernel entry via Unknown syscall, word: 1
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!