API tools faq
paste
bwt93

Kernel Panic

bwt93
May 28th, 2020
135
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 196.36 KB | None | 0 0
raw download clone embed print report
  1. U-Boot 2017.05-00004-g88af53fbce (Apr 22 2020 - 11:52:48 +0100) for ODROID-XU4
  2.  
  3. CPU: Exynos5422 @ 800 MHz
  4. Model: Odroid XU4 based on EXYNOS5422
  5. Board: Odroid XU4 based on EXYNOS5422
  6. Type: xu4
  7. DRAM: 2 GiB
  8. MMC: EXYNOS DWMMC: 0, EXYNOS DWMMC: 1
  9. MMC Device 0 (eMMC): 14.6 GiB
  10. Info eMMC rst_n_func status = enabled
  11. Card did not respond to voltage select!
  12. mmc_init: -95, time 12
  13. *** Warning - bad CRC, using default environment
  14.  
  15. In: serial
  16. Out: serial
  17. Err: serial
  18. Net: No ethernet found.
  19. Press quickly 'Enter' twice to stop autoboot: 1  0
  20. reading boot.ini
  21. 9735 bytes read in 3 ms (3.1 MiB/s)
  22. cfgload addr = 0x50000000, Loading boot.ini from FAT
  23. cfgload: applying boot.ini...
  24. cfgload: setenv initrd_high "0xffffffff"
  25. cfgload: setenv fdt_high "0xffffffff"
  26. cfgload: setenv macaddr "00:1e:06:61:7a:39"
  27. cfgload: setenv vout "hdmi"
  28. cfgload: setenv cecenable "false" # false or true
  29. cfgload: setenv disable_vu7 "false" # false
  30. cfgload: setenv ddr_freq 825
  31. cfgload: setenv external_watchdog "false"
  32. cfgload: setenv external_watchdog_debounce "3"
  33. cfgload: setenv HPD "true"
  34. cfgload: setenv bootrootfs "console=tty1 console=ttySAC2,115200n8 root=UUID=e139ce78-9841-40fe-8823-96a304a09859 rootwait ro fsck.repair=yes net.ifnames=0"
  35. cfgload: fatload mmc 0:1 ${kernel_addr_r} vm.elf
  36. reading vm.elf
  37. 50324780 bytes read in 1775 ms (27 MiB/s)
  38. cfgload: dmc ${ddr_freq}
  39. cfgload: bootelf ${kernel_addr_r}
  40. CACHE: Misaligned operation at range [633df000, 633df034]
  41. CACHE: Misaligned operation at range [633e0000, 633ea09c]
  42. CACHE: Misaligned operation at range [633ea09c, 633eabef]
  43. CACHE: Misaligned operation at range [663b6a40, 663b6ae4]
  44. CACHE: Misaligned operation at range [663b6ae4, 663b6b10]
  45. ## Starting application at 0x633df000 ...
  46.  
  47. Switching CPU...
  48.  
  49. ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p3
  50. paddr=[633df000..663b6b0f]
  51. No DTB passed in from boot loader.
  52. Looking for DTB in CPIO archive...found at 634f8b2c.
  53. Loaded DTB from 634f8b2c.
  54. paddr=[6003e000..6004cfff]
  55. ELF-loading image 'kernel'
  56. paddr=[60000000..6003dfff]
  57. vaddr=[e0000000..e003dfff]
  58. virt_entry=e0000000
  59. ELF-loading image 'capdl-loader'
  60. paddr=[6004d000..62fe5fff]
  61. vaddr=[10000..2fa8fff]
  62. virt_entry=19a1c
  63. Enabling hypervisor MMU and paging
  64. Jumping to kernel-image entry point...
  65.  
  66. Bootstrapping kernel
  67. Booting all finished, dropped to user space
  68. [email protected]:2028 Starting Loader...
  69.  
  70. [email protected]:434 Parsing bootinfo...
  71.  
  72. [email protected]:450 249814 free cap slots, from 12330 to 262144
  73.  
  74. [email protected]:505 Loader is running in domain 0
  75.  
  76. [email protected]:391 Sorting untypeds...
  77.  
  78. [email protected]:416 Untyped 0 (cptr=0x2fcd) (addr=0) is of size 28. Skipping as it is device
  79.  
  80. [email protected]:416 Untyped 1 (cptr=0x2fce) (addr=0x10000000) is of size 20. Skipping as it is device
  81.  
  82. [email protected]:416 Untyped 2 (cptr=0x2fcf) (addr=0x10100000) is of size 19. Skipping as it is device
  83.  
  84. [email protected]:416 Untyped 3 (cptr=0x2fd0) (addr=0x10180000) is of size 18. Skipping as it is device
  85.  
  86. [email protected]:416 Untyped 4 (cptr=0x2fd1) (addr=0x101c1000) is of size 12. Skipping as it is device
  87.  
  88. [email protected]:416 Untyped 5 (cptr=0x2fd2) (addr=0x101c2000) is of size 13. Skipping as it is device
  89.  
  90. [email protected]:416 Untyped 6 (cptr=0x2fd3) (addr=0x101c4000) is of size 14. Skipping as it is device
  91.  
  92. [email protected]:416 Untyped 7 (cptr=0x2fd4) (addr=0x101c8000) is of size 15. Skipping as it is device
  93.  
  94. [email protected]:416 Untyped 8 (cptr=0x2fd5) (addr=0x101d0000) is of size 16. Skipping as it is device
  95.  
  96. [email protected]:416 Untyped 9 (cptr=0x2fd6) (addr=0x101e0000) is of size 17. Skipping as it is device
  97.  
  98. [email protected]:416 Untyped 10 (cptr=0x2fd7) (addr=0x10200000) is of size 21. Skipping as it is device
  99.  
  100. [email protected]:416 Untyped 11 (cptr=0x2fd8) (addr=0x10400000) is of size 19. Skipping as it is device
  101.  
  102. [email protected]:416 Untyped 12 (cptr=0x2fd9) (addr=0x10480000) is of size 12. Skipping as it is device
  103.  
  104. [email protected]:416 Untyped 13 (cptr=0x2fda) (addr=0x10483000) is of size 12. Skipping as it is device
  105.  
  106. [email protected]:416 Untyped 14 (cptr=0x2fdb) (addr=0x10485000) is of size 12. Skipping as it is device
  107.  
  108. [email protected]:416 Untyped 15 (cptr=0x2fdc) (addr=0x10486000) is of size 13. Skipping as it is device
  109.  
  110. [email protected]:416 Untyped 16 (cptr=0x2fdd) (addr=0x10488000) is of size 15. Skipping as it is device
  111.  
  112. [email protected]:416 Untyped 17 (cptr=0x2fde) (addr=0x10490000) is of size 16. Skipping as it is device
  113.  
  114. [email protected]:416 Untyped 18 (cptr=0x2fdf) (addr=0x104a0000) is of size 17. Skipping as it is device
  115.  
  116. [email protected]:416 Untyped 19 (cptr=0x2fe0) (addr=0x104c0000) is of size 18. Skipping as it is device
  117.  
  118. [email protected]:416 Untyped 20 (cptr=0x2fe1) (addr=0x10500000) is of size 20. Skipping as it is device
  119.  
  120. [email protected]:416 Untyped 21 (cptr=0x2fe2) (addr=0x10600000) is of size 21. Skipping as it is device
  121.  
  122. [email protected]:416 Untyped 22 (cptr=0x2fe3) (addr=0x10800000) is of size 23. Skipping as it is device
  123.  
  124. [email protected]:416 Untyped 23 (cptr=0x2fe4) (addr=0x11000000) is of size 24. Skipping as it is device
  125.  
  126. [email protected]:416 Untyped 24 (cptr=0x2fe5) (addr=0x12000000) is of size 25. Skipping as it is device
  127.  
  128. [email protected]:416 Untyped 25 (cptr=0x2fe6) (addr=0x14000000) is of size 26. Skipping as it is device
  129.  
  130. [email protected]:416 Untyped 26 (cptr=0x2fe7) (addr=0x18000000) is of size 27. Skipping as it is device
  131.  
  132. [email protected]:416 Untyped 27 (cptr=0x2fe8) (addr=0x20000000) is of size 29. Skipping as it is device
  133.  
  134. [email protected]:416 Untyped 28 (cptr=0x2fe9) (addr=0x40000000) is of size 29. Skipping as it is device
  135.  
  136. [email protected]:416 Untyped 29 (cptr=0x2fea) (addr=0x7ff00000) is of size 20. Skipping as it is device
  137.  
  138. [email protected]:416 Untyped 30 (cptr=0x2feb) (addr=0x80000000) is of size 29. Skipping as it is device
  139.  
  140. [email protected]:416 Untyped 31 (cptr=0x2fec) (addr=0xa0000000) is of size 29. Skipping as it is device
  141.  
  142. [email protected]:416 Untyped 32 (cptr=0x2fed) (addr=0xc0000000) is of size 29. Skipping as it is device
  143.  
  144. [email protected]:416 Untyped 33 (cptr=0x2fee) (addr=0xe0000000) is of size 28. Skipping as it is device
  145.  
  146. [email protected]:416 Untyped 34 (cptr=0x2fef) (addr=0xf0000000) is of size 27. Skipping as it is device
  147.  
  148. [email protected]:416 Untyped 35 (cptr=0x2ff0) (addr=0xf8000000) is of size 26. Skipping as it is device
  149.  
  150. [email protected]:416 Untyped 36 (cptr=0x2ff1) (addr=0xfc000000) is of size 25. Skipping as it is device
  151.  
  152. [email protected]:416 Untyped 37 (cptr=0x2ff2) (addr=0xfe000000) is of size 24. Skipping as it is device
  153.  
  154. [email protected]:416 Untyped 38 (cptr=0x2ff3) (addr=0xff000000) is of size 23. Skipping as it is device
  155.  
  156. [email protected]:416 Untyped 39 (cptr=0x2ff4) (addr=0xff800000) is of size 22. Skipping as it is device
  157.  
  158. [email protected]:416 Untyped 40 (cptr=0x2ff5) (addr=0xffc00000) is of size 21. Skipping as it is device
  159.  
  160. [email protected]:416 Untyped 41 (cptr=0x2ff6) (addr=0xffe00000) is of size 20. Skipping as it is device
  161.  
  162. [email protected]:416 Untyped 42 (cptr=0x2ff7) (addr=0xfff00000) is of size 19. Skipping as it is device
  163.  
  164. [email protected]:416 Untyped 43 (cptr=0x2ff8) (addr=0xfff80000) is of size 18. Skipping as it is device
  165.  
  166. [email protected]:416 Untyped 44 (cptr=0x2ff9) (addr=0xfffc0000) is of size 17. Skipping as it is device
  167.  
  168. [email protected]:416 Untyped 45 (cptr=0x2ffa) (addr=0xfffe0000) is of size 16. Skipping as it is device
  169.  
  170. [email protected]:416 Untyped 46 (cptr=0x2ffb) (addr=0xffff0000) is of size 15. Skipping as it is device
  171.  
  172. [email protected]:416 Untyped 47 (cptr=0x2ffc) (addr=0xffff8000) is of size 14. Skipping as it is device
  173.  
  174. [email protected]:416 Untyped 48 (cptr=0x2ffd) (addr=0xffffc000) is of size 13. Skipping as it is device
  175.  
  176. [email protected]:416 Untyped 49 (cptr=0x2ffe) (addr=0xffffe000) is of size 12. Skipping as it is device
  177.  
  178. [email protected]:416 Untyped 50 (cptr=0x2fff) (addr=0xfffff000) is of size 11. Skipping as it is device
  179.  
  180. [email protected]:416 Untyped 51 (cptr=0x3000) (addr=0xfffff800) is of size 10. Skipping as it is device
  181.  
  182. [email protected]:416 Untyped 52 (cptr=0x3001) (addr=0xfffffc00) is of size 9. Skipping as it is device
  183.  
  184. [email protected]:416 Untyped 53 (cptr=0x3002) (addr=0xfffffe00) is of size 8. Skipping as it is device
  185.  
  186. [email protected]:416 Untyped 54 (cptr=0x3003) (addr=0xffffff00) is of size 7. Skipping as it is device
  187.  
  188. [email protected]:416 Untyped 55 (cptr=0x3004) (addr=0xffffff80) is of size 6. Skipping as it is device
  189.  
  190. [email protected]:416 Untyped 56 (cptr=0x3005) (addr=0xffffffc0) is of size 5. Skipping as it is device
  191.  
  192. [email protected]:416 Untyped 57 (cptr=0x3006) (addr=0xffffffe0) is of size 4. Skipping as it is device
  193.  
  194. [email protected]:422 Untyped 58 (cptr=0x3007) (addr=0x60000000) is of size 16. Placing in slot 13...
  195.  
  196. [email protected]:422 Untyped 59 (cptr=0x3008) (addr=0x62fe6000) is of size 13. Placing in slot 17...
  197.  
  198. [email protected]:422 Untyped 60 (cptr=0x3009) (addr=0x62fe8000) is of size 15. Placing in slot 16...
  199.  
  200. [email protected]:422 Untyped 61 (cptr=0x300a) (addr=0x62ff0000) is of size 16. Placing in slot 14...
  201.  
  202. [email protected]:422 Untyped 62 (cptr=0x300b) (addr=0x63000000) is of size 24. Placing in slot 5...
  203.  
  204. [email protected]:422 Untyped 63 (cptr=0x300c) (addr=0x64000000) is of size 26. Placing in slot 2...
  205.  
  206. [email protected]:422 Untyped 64 (cptr=0x300d) (addr=0x68000000) is of size 27. Placing in slot 0...
  207.  
  208. [email protected]:422 Untyped 65 (cptr=0x300e) (addr=0x70000000) is of size 27. Placing in slot 1...
  209.  
  210. [email protected]:422 Untyped 66 (cptr=0x300f) (addr=0x78000000) is of size 26. Placing in slot 3...
  211.  
  212. [email protected]:422 Untyped 67 (cptr=0x3010) (addr=0x7c000000) is of size 25. Placing in slot 4...
  213.  
  214. [email protected]:422 Untyped 68 (cptr=0x3011) (addr=0x7e000000) is of size 24. Placing in slot 6...
  215.  
  216. [email protected]:422 Untyped 69 (cptr=0x3012) (addr=0x7f200000) is of size 21. Placing in slot 8...
  217.  
  218. [email protected]:422 Untyped 70 (cptr=0x3013) (addr=0x7f400000) is of size 22. Placing in slot 7...
  219.  
  220. [email protected]:422 Untyped 71 (cptr=0x3014) (addr=0x7fc2f800) is of size 11. Placing in slot 18...
  221.  
  222. [email protected]:422 Untyped 72 (cptr=0x3015) (addr=0x7fc30000) is of size 16. Placing in slot 15...
  223.  
  224. [email protected]:422 Untyped 73 (cptr=0x3016) (addr=0x7fc40000) is of size 18. Placing in slot 12...
  225.  
  226. [email protected]:422 Untyped 74 (cptr=0x3017) (addr=0x7fc80000) is of size 19. Placing in slot 11...
  227.  
  228. [email protected]:422 Untyped 75 (cptr=0x3018) (addr=0x7fd00000) is of size 20. Placing in slot 9...
  229.  
  230. [email protected]:422 Untyped 76 (cptr=0x3019) (addr=0x7fe00000) is of size 20. Placing in slot 10...
  231.  
  232. [email protected]:770 Creating objects...
  233.  
  234. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x2073000 in slot 12330, from untyped 300d...
  235.  
  236. [email protected]:656 device frame/untyped, paddr = 0x2073000, size = 12 bits
  237. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3810000 in slot 12331, from untyped 300d...
  238.  
  239. [email protected]:656 device frame/untyped, paddr = 0x3810000, size = 12 bits
  240. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3830000 in slot 12332, from untyped 300d...
  241.  
  242. [email protected]:656 device frame/untyped, paddr = 0x3830000, size = 12 bits
  243. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3860000 in slot 12333, from untyped 300d...
  244.  
  245. [email protected]:656 device frame/untyped, paddr = 0x3860000, size = 12 bits
  246. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3880000 in slot 12334, from untyped 300d...
  247.  
  248. [email protected]:656 device frame/untyped, paddr = 0x3880000, size = 12 bits
  249. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10000000 in slot 12335, from untyped 300d...
  250.  
  251. [email protected]:656 device frame/untyped, paddr = 0x10000000, size = 12 bits
  252. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10010000 in slot 12336, from untyped 300d...
  253.  
  254. [email protected]:656 device frame/untyped, paddr = 0x10010000, size = 16 bits
  255. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10020000 in slot 12337, from untyped 300d...
  256.  
  257. [email protected]:656 device frame/untyped, paddr = 0x10020000, size = 17 bits
  258. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10040000 in slot 12338, from untyped 300d...
  259.  
  260. [email protected]:656 device frame/untyped, paddr = 0x10040000, size = 14 bits
  261. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10044000 in slot 12339, from untyped 300d...
  262.  
  263. [email protected]:656 device frame/untyped, paddr = 0x10044000, size = 12 bits
  264. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10050000 in slot 12340, from untyped 300d...
  265.  
  266. [email protected]:656 device frame/untyped, paddr = 0x10050000, size = 14 bits
  267. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10054000 in slot 12341, from untyped 300d...
  268.  
  269. [email protected]:656 device frame/untyped, paddr = 0x10054000, size = 12 bits
  270. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10060000 in slot 12342, from untyped 300d...
  271.  
  272. [email protected]:656 device frame/untyped, paddr = 0x10060000, size = 12 bits
  273. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10064000 in slot 12343, from untyped 300d...
  274.  
  275. [email protected]:656 device frame/untyped, paddr = 0x10064000, size = 12 bits
  276. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10068000 in slot 12344, from untyped 300d...
  277.  
  278. [email protected]:656 device frame/untyped, paddr = 0x10068000, size = 12 bits
  279. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x1006c000 in slot 12345, from untyped 300d...
  280.  
  281. [email protected]:656 device frame/untyped, paddr = 0x1006c000, size = 12 bits
  282. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x100a0000 in slot 12346, from untyped 300d...
  283.  
  284. [email protected]:656 device frame/untyped, paddr = 0x100a0000, size = 12 bits
  285. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x101d0000 in slot 12347, from untyped 300d...
  286.  
  287. [email protected]:656 device frame/untyped, paddr = 0x101d0000, size = 12 bits
  288. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x101e0000 in slot 12348, from untyped 300d...
  289.  
  290. [email protected]:656 device frame/untyped, paddr = 0x101e0000, size = 12 bits
  291. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10440000 in slot 12349, from untyped 300d...
  292.  
  293. [email protected]:656 device frame/untyped, paddr = 0x10440000, size = 12 bits
  294. [email protected]:792 Creating object vm0_untyped_cap_0x10486000 in slot 12350, from untyped 300d...
  295.  
  296. [email protected]:656 device frame/untyped, paddr = 0x10486000, size = 12 bits
  297. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10800000 in slot 12351, from untyped 300d...
  298.  
  299. [email protected]:656 device frame/untyped, paddr = 0x10800000, size = 12 bits
  300. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10a60000 in slot 12352, from untyped 300d...
  301.  
  302. [email protected]:656 device frame/untyped, paddr = 0x10a60000, size = 12 bits
  303. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10a70000 in slot 12353, from untyped 300d...
  304.  
  305. [email protected]:656 device frame/untyped, paddr = 0x10a70000, size = 12 bits
  306. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10ca1000 in slot 12354, from untyped 300d...
  307.  
  308. [email protected]:656 device frame/untyped, paddr = 0x10ca1000, size = 12 bits
  309. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10d20000 in slot 12355, from untyped 300d...
  310.  
  311. [email protected]:656 device frame/untyped, paddr = 0x10d20000, size = 12 bits
  312. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11200000 in slot 12356, from untyped 300d...
  313.  
  314. [email protected]:656 device frame/untyped, paddr = 0x11200000, size = 12 bits
  315. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11210000 in slot 12357, from untyped 300d...
  316.  
  317. [email protected]:656 device frame/untyped, paddr = 0x11210000, size = 12 bits
  318. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11d40000 in slot 12358, from untyped 300d...
  319.  
  320. [email protected]:656 device frame/untyped, paddr = 0x11d40000, size = 12 bits
  321. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11f10000 in slot 12359, from untyped 300d...
  322.  
  323. [email protected]:656 device frame/untyped, paddr = 0x11f10000, size = 12 bits
  324. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11f20000 in slot 12360, from untyped 300d...
  325.  
  326. [email protected]:656 device frame/untyped, paddr = 0x11f20000, size = 12 bits
  327. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12000000 in slot 12361, from untyped 300d...
  328.  
  329. [email protected]:656 device frame/untyped, paddr = 0x12000000, size = 16 bits
  330. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12100000 in slot 12362, from untyped 300d...
  331.  
  332. [email protected]:656 device frame/untyped, paddr = 0x12100000, size = 12 bits
  333. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12110000 in slot 12363, from untyped 300d...
  334.  
  335. [email protected]:656 device frame/untyped, paddr = 0x12110000, size = 12 bits
  336. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12120000 in slot 12364, from untyped 300d...
  337.  
  338. [email protected]:656 device frame/untyped, paddr = 0x12120000, size = 12 bits
  339. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12130000 in slot 12365, from untyped 300d...
  340.  
  341. [email protected]:656 device frame/untyped, paddr = 0x12130000, size = 12 bits
  342. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x121a0000 in slot 12366, from untyped 300d...
  343.  
  344. [email protected]:656 device frame/untyped, paddr = 0x121a0000, size = 12 bits
  345. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x121b0000 in slot 12367, from untyped 300d...
  346.  
  347. [email protected]:656 device frame/untyped, paddr = 0x121b0000, size = 12 bits
  348. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12200000 in slot 12368, from untyped 300d...
  349.  
  350. [email protected]:656 device frame/untyped, paddr = 0x12200000, size = 13 bits
  351. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12210000 in slot 12369, from untyped 300d...
  352.  
  353. [email protected]:656 device frame/untyped, paddr = 0x12210000, size = 13 bits
  354. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12220000 in slot 12370, from untyped 300d...
  355.  
  356. [email protected]:656 device frame/untyped, paddr = 0x12220000, size = 12 bits
  357. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12400000 in slot 12371, from untyped 300d...
  358.  
  359. [email protected]:656 device frame/untyped, paddr = 0x12400000, size = 16 bits
  360. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12500000 in slot 12372, from untyped 300d...
  361.  
  362. [email protected]:656 device frame/untyped, paddr = 0x12500000, size = 12 bits
  363. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12880000 in slot 12373, from untyped 300d...
  364.  
  365. [email protected]:656 device frame/untyped, paddr = 0x12880000, size = 12 bits
  366. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12890000 in slot 12374, from untyped 300d...
  367.  
  368. [email protected]:656 device frame/untyped, paddr = 0x12890000, size = 12 bits
  369. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128a0000 in slot 12375, from untyped 300d...
  370.  
  371. [email protected]:656 device frame/untyped, paddr = 0x128a0000, size = 12 bits
  372. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128c0000 in slot 12376, from untyped 300d...
  373.  
  374. [email protected]:656 device frame/untyped, paddr = 0x128c0000, size = 12 bits
  375. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128d0000 in slot 12377, from untyped 300d...
  376.  
  377. [email protected]:656 device frame/untyped, paddr = 0x128d0000, size = 12 bits
  378. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128e0000 in slot 12378, from untyped 300d...
  379.  
  380. [email protected]:656 device frame/untyped, paddr = 0x128e0000, size = 12 bits
  381. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c00000 in slot 12379, from untyped 300d...
  382.  
  383. [email protected]:656 device frame/untyped, paddr = 0x12c00000, size = 12 bits
  384. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c10000 in slot 12380, from untyped 300d...
  385.  
  386. [email protected]:656 device frame/untyped, paddr = 0x12c10000, size = 12 bits
  387. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c20000 in slot 12381, from untyped 300d...
  388.  
  389. [email protected]:656 device frame/untyped, paddr = 0x12c20000, size = 12 bits
  390. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c30000 in slot 12382, from untyped 300d...
  391.  
  392. [email protected]:656 device frame/untyped, paddr = 0x12c30000, size = 12 bits
  393. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c60000 in slot 12383, from untyped 300d...
  394.  
  395. [email protected]:656 device frame/untyped, paddr = 0x12c60000, size = 12 bits
  396. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c70000 in slot 12384, from untyped 300d...
  397.  
  398. [email protected]:656 device frame/untyped, paddr = 0x12c70000, size = 12 bits
  399. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c80000 in slot 12385, from untyped 300d...
  400.  
  401. [email protected]:656 device frame/untyped, paddr = 0x12c80000, size = 12 bits
  402. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c90000 in slot 12386, from untyped 300d...
  403.  
  404. [email protected]:656 device frame/untyped, paddr = 0x12c90000, size = 12 bits
  405. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12ca0000 in slot 12387, from untyped 300d...
  406.  
  407. [email protected]:656 device frame/untyped, paddr = 0x12ca0000, size = 12 bits
  408. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12cb0000 in slot 12388, from untyped 300d...
  409.  
  410. [email protected]:656 device frame/untyped, paddr = 0x12cb0000, size = 12 bits
  411. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12cc0000 in slot 12389, from untyped 300d...
  412.  
  413. [email protected]:656 device frame/untyped, paddr = 0x12cc0000, size = 12 bits
  414. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12d10000 in slot 12390, from untyped 300d...
  415.  
  416. [email protected]:656 device frame/untyped, paddr = 0x12d10000, size = 12 bits
  417. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12dd0000 in slot 12391, from untyped 300d...
  418.  
  419. [email protected]:656 device frame/untyped, paddr = 0x12dd0000, size = 12 bits
  420. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13400000 in slot 12392, from untyped 300d...
  421.  
  422. [email protected]:656 device frame/untyped, paddr = 0x13400000, size = 12 bits
  423. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13410000 in slot 12393, from untyped 300d...
  424.  
  425. [email protected]:656 device frame/untyped, paddr = 0x13410000, size = 12 bits
  426. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e00000 in slot 12394, from untyped 300d...
  427.  
  428. [email protected]:656 device frame/untyped, paddr = 0x13e00000, size = 12 bits
  429. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e10000 in slot 12395, from untyped 300d...
  430.  
  431. [email protected]:656 device frame/untyped, paddr = 0x13e10000, size = 12 bits
  432. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e80000 in slot 12396, from untyped 300d...
  433.  
  434. [email protected]:656 device frame/untyped, paddr = 0x13e80000, size = 12 bits
  435. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e90000 in slot 12397, from untyped 300d...
  436.  
  437. [email protected]:656 device frame/untyped, paddr = 0x13e90000, size = 12 bits
  438. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14010000 in slot 12398, from untyped 300d...
  439.  
  440. [email protected]:656 device frame/untyped, paddr = 0x14010000, size = 12 bits
  441. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14640000 in slot 12399, from untyped 300d...
  442.  
  443. [email protected]:656 device frame/untyped, paddr = 0x14640000, size = 12 bits
  444. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14650000 in slot 12400, from untyped 300d...
  445.  
  446. [email protected]:656 device frame/untyped, paddr = 0x14650000, size = 12 bits
  447. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14680000 in slot 12401, from untyped 300d...
  448.  
  449. [email protected]:656 device frame/untyped, paddr = 0x14680000, size = 12 bits
  450. [email protected]:792 Creating object vm0_untyped_cap_0x40000000 in slot 12402, from untyped 300d...
  451.  
  452. [email protected]:656 device frame/untyped, paddr = 0x40000000, size = 28 bits
  453. [email protected]:792 Creating object vm0_untyped_cap_0x50000000 in slot 12403, from untyped 300d...
  454.  
  455. [email protected]:656 device frame/untyped, paddr = 0x50000000, size = 28 bits
  456. [email protected]:792 Creating object vm0_cnode in slot 12404, from untyped 300d...
  457.  
  458. [email protected]:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
  459. (CNode of size 23 bits)
  460. [email protected]:792 Creating object frame_vm0_group_bin_0046 in slot 12405, from untyped 300d...
  461.  
  462. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xffc2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 0 bytes available).>>
  463. [email protected]:792 Creating object frame_vm0_group_bin_0046 in slot 12405, from untyped 300e...
  464.  
  465. [email protected]:792 Creating object vm0_simple_untyped_24_pool_0 in slot 12406, from untyped 300e...
  466.  
  467. [email protected]:792 Creating object vm0_simple_untyped_24_pool_1 in slot 12407, from untyped 300e...
  468.  
  469. [email protected]:792 Creating object vm0_simple_untyped_24_pool_10 in slot 12408, from untyped 300e...
  470.  
  471. [email protected]:792 Creating object vm0_simple_untyped_24_pool_11 in slot 12409, from untyped 300e...
  472.  
  473. [email protected]:792 Creating object vm0_simple_untyped_24_pool_2 in slot 12410, from untyped 300e...
  474.  
  475. [email protected]:792 Creating object vm0_simple_untyped_24_pool_3 in slot 12411, from untyped 300e...
  476.  
  477. [email protected]:792 Creating object vm0_simple_untyped_24_pool_4 in slot 12412, from untyped 300e...
  478.  
  479. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xffc2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
  480. [email protected]:792 Creating object vm0_simple_untyped_24_pool_4 in slot 12412, from untyped 300c...
  481.  
  482. [email protected]:792 Creating object vm0_simple_untyped_24_pool_5 in slot 12413, from untyped 300c...
  483.  
  484. [email protected]:792 Creating object vm0_simple_untyped_24_pool_6 in slot 12414, from untyped 300c...
  485.  
  486. [email protected]:792 Creating object vm0_simple_untyped_24_pool_7 in slot 12415, from untyped 300c...
  487.  
  488. [email protected]:792 Creating object vm0_simple_untyped_24_pool_8 in slot 12416, from untyped 300c...
  489.  
  490. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xffc2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
  491. [email protected]:792 Creating object vm0_simple_untyped_24_pool_8 in slot 12416, from untyped 300f...
  492.  
  493. [email protected]:792 Creating object vm0_simple_untyped_24_pool_9 in slot 12417, from untyped 300f...
  494.  
  495. [email protected]:792 Creating object frame_fserv_group_bin_0031 in slot 12418, from untyped 300f...
  496.  
  497. [email protected]:792 Creating object frame_fserv_group_bin_0032 in slot 12419, from untyped 300f...
  498.  
  499. [email protected]:792 Creating object frame_fserv_group_bin_0033 in slot 12420, from untyped 300f...
  500.  
  501. [email protected]:792 Creating object frame_fserv_group_bin_0034 in slot 12421, from untyped 300f...
  502.  
  503. [email protected]:792 Creating object frame_fserv_group_bin_0035 in slot 12422, from untyped 300f...
  504.  
  505. [email protected]:792 Creating object frame_fserv_group_bin_0036 in slot 12423, from untyped 300f...
  506.  
  507. [email protected]:792 Creating object frame_fserv_group_bin_0037 in slot 12424, from untyped 300f...
  508.  
  509. [email protected]:792 Creating object frame_fserv_group_bin_0038 in slot 12425, from untyped 300f...
  510.  
  511. [email protected]:792 Creating object frame_fserv_group_bin_0039 in slot 12426, from untyped 300f...
  512.  
  513. [email protected]:792 Creating object frame_fserv_group_bin_0040 in slot 12427, from untyped 300f...
  514.  
  515. [email protected]:792 Creating object frame_fserv_group_bin_0041 in slot 12428, from untyped 300f...
  516.  
  517. [email protected]:792 Creating object frame_fserv_group_bin_0042 in slot 12429, from untyped 300f...
  518.  
  519. [email protected]:792 Creating object frame_fserv_group_bin_0043 in slot 12430, from untyped 300f...
  520.  
  521. [email protected]:792 Creating object frame_fserv_group_bin_0044 in slot 12431, from untyped 300f...
  522.  
  523. [email protected]:792 Creating object frame_fserv_group_bin_0045 in slot 12432, from untyped 300f...
  524.  
  525. [email protected]:792 Creating object frame_fserv_group_bin_0046 in slot 12433, from untyped 300f...
  526.  
  527. [email protected]:792 Creating object frame_fserv_group_bin_0047 in slot 12434, from untyped 300f...
  528.  
  529. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xffc2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  530. [email protected]:792 Creating object frame_fserv_group_bin_0047 in slot 12434, from untyped 3010...
  531.  
  532. [email protected]:792 Creating object frame_fserv_group_bin_0048 in slot 12435, from untyped 3010...
  533.  
  534. [email protected]:792 Creating object frame_fserv_group_bin_0049 in slot 12436, from untyped 3010...
  535.  
  536. [email protected]:792 Creating object frame_fserv_group_bin_0050 in slot 12437, from untyped 3010...
  537.  
  538. [email protected]:792 Creating object frame_vm0_group_bin_0031 in slot 12438, from untyped 3010...
  539.  
  540. [email protected]:792 Creating object frame_vm0_group_bin_0032 in slot 12439, from untyped 3010...
  541.  
  542. [email protected]:792 Creating object frame_vm0_group_bin_0033 in slot 12440, from untyped 3010...
  543.  
  544. [email protected]:792 Creating object frame_vm0_group_bin_0034 in slot 12441, from untyped 3010...
  545.  
  546. [email protected]:792 Creating object frame_vm0_group_bin_0035 in slot 12442, from untyped 3010...
  547.  
  548. [email protected]:792 Creating object frame_vm0_group_bin_0036 in slot 12443, from untyped 3010...
  549.  
  550. [email protected]:792 Creating object frame_vm0_group_bin_0037 in slot 12444, from untyped 3010...
  551.  
  552. [email protected]:792 Creating object frame_vm0_group_bin_0038 in slot 12445, from untyped 3010...
  553.  
  554. [email protected]:792 Creating object frame_vm0_group_bin_0039 in slot 12446, from untyped 3010...
  555.  
  556. [email protected]:792 Creating object frame_vm0_group_bin_0040 in slot 12447, from untyped 3010...
  557.  
  558. [email protected]:792 Creating object frame_vm0_group_bin_0041 in slot 12448, from untyped 3010...
  559.  
  560. [email protected]:792 Creating object frame_vm0_group_bin_0042 in slot 12449, from untyped 3010...
  561.  
  562. [email protected]:792 Creating object frame_vm0_group_bin_0043 in slot 12450, from untyped 3010...
  563.  
  564. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xffc2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  565. [email protected]:792 Creating object frame_vm0_group_bin_0043 in slot 12450, from untyped 300b...
  566.  
  567. [email protected]:792 Creating object frame_vm0_group_bin_0044 in slot 12451, from untyped 300b...
  568.  
  569. [email protected]:792 Creating object frame_vm0_group_bin_0045 in slot 12452, from untyped 300b...
  570.  
  571. [email protected]:792 Creating object frame_vm0_group_bin_0047 in slot 12453, from untyped 300b...
  572.  
  573. [email protected]:792 Creating object frame_vm0_group_bin_0048 in slot 12454, from untyped 300b...
  574.  
  575. [email protected]:792 Creating object frame_vm0_group_bin_0049 in slot 12455, from untyped 300b...
  576.  
  577. [email protected]:792 Creating object frame_vm0_group_bin_0050 in slot 12456, from untyped 300b...
  578.  
  579. [email protected]:792 Creating object frame_vm0_group_bin_0051 in slot 12457, from untyped 300b...
  580.  
  581. [email protected]:792 Creating object frame_vm0_group_bin_0052 in slot 12458, from untyped 300b...
  582.  
  583. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xffc2f400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  584. [email protected]:792 Creating object frame_vm0_group_bin_0052 in slot 12458, from untyped 3011...
  585.  
  586. [email protected]:792 Creating object frame_vm0_group_bin_0053 in slot 12459, from untyped 3011...
  587.  
  588. [email protected]:792 Creating object frame_vm0_group_bin_0054 in slot 12460, from untyped 3011...
  589.  
  590. [email protected]:792 Creating object frame_vm0_group_bin_0055 in slot 12461, from untyped 3011...
  591.  
  592. [email protected]:792 Creating object frame_fserv_group_bin_0000 in slot 12462, from untyped 3011...
  593.  
  594. [email protected]:792 Creating object frame_fserv_group_bin_0001 in slot 12463, from untyped 3011...
  595.  
  596. [email protected]:792 Creating object frame_fserv_group_bin_0002 in slot 12464, from untyped 3011...
  597.  
  598. [email protected]:792 Creating object frame_fserv_group_bin_0003 in slot 12465, from untyped 3011...
  599.  
  600. [email protected]:792 Creating object frame_fserv_group_bin_0004 in slot 12466, from untyped 3011...
  601.  
  602. [email protected]:792 Creating object frame_fserv_group_bin_0005 in slot 12467, from untyped 3011...
  603.  
  604. [email protected]:792 Creating object frame_fserv_group_bin_0006 in slot 12468, from untyped 3011...
  605.  
  606. [email protected]:792 Creating object frame_fserv_group_bin_0007 in slot 12469, from untyped 3011...
  607.  
  608. [email protected]:792 Creating object frame_fserv_group_bin_0008 in slot 12470, from untyped 3011...
  609.  
  610. [email protected]:792 Creating object frame_fserv_group_bin_0009 in slot 12471, from untyped 3011...
  611.  
  612. [email protected]:792 Creating object frame_fserv_group_bin_0010 in slot 12472, from untyped 3011...
  613.  
  614. [email protected]:792 Creating object frame_fserv_group_bin_0011 in slot 12473, from untyped 3011...
  615.  
  616. [email protected]:792 Creating object frame_fserv_group_bin_0012 in slot 12474, from untyped 3011...
  617.  
  618. [email protected]:792 Creating object frame_fserv_group_bin_0013 in slot 12475, from untyped 3011...
  619.  
  620. [email protected]:792 Creating object frame_fserv_group_bin_0014 in slot 12476, from untyped 3011...
  621.  
  622. [email protected]:792 Creating object frame_fserv_group_bin_0015 in slot 12477, from untyped 3011...
  623.  
  624. [email protected]:792 Creating object frame_fserv_group_bin_0016 in slot 12478, from untyped 3011...
  625.  
  626. [email protected]:792 Creating object frame_fserv_group_bin_0017 in slot 12479, from untyped 3011...
  627.  
  628. [email protected]:792 Creating object frame_fserv_group_bin_0018 in slot 12480, from untyped 3011...
  629.  
  630. [email protected]:792 Creating object frame_fserv_group_bin_0019 in slot 12481, from untyped 3011...
  631.  
  632. [email protected]:792 Creating object frame_fserv_group_bin_0020 in slot 12482, from untyped 3011...
  633.  
  634. [email protected]:792 Creating object frame_fserv_group_bin_0021 in slot 12483, from untyped 3011...
  635.  
  636. [email protected]:792 Creating object frame_fserv_group_bin_0022 in slot 12484, from untyped 3011...
  637.  
  638. [email protected]:792 Creating object frame_fserv_group_bin_0023 in slot 12485, from untyped 3011...
  639.  
  640. [email protected]:792 Creating object frame_fserv_group_bin_0024 in slot 12486, from untyped 3011...
  641.  
  642. [email protected]:792 Creating object frame_fserv_group_bin_0025 in slot 12487, from untyped 3011...
  643.  
  644. [email protected]:792 Creating object frame_fserv_group_bin_0026 in slot 12488, from untyped 3011...
  645.  
  646. [email protected]:792 Creating object frame_fserv_group_bin_0027 in slot 12489, from untyped 3011...
  647.  
  648. [email protected]:792 Creating object frame_fserv_group_bin_0028 in slot 12490, from untyped 3011...
  649.  
  650. [email protected]:792 Creating object frame_fserv_group_bin_0029 in slot 12491, from untyped 3011...
  651.  
  652. [email protected]:792 Creating object frame_fserv_group_bin_0030 in slot 12492, from untyped 3011...
  653.  
  654. [email protected]:792 Creating object frame_fserv_group_bin_0051 in slot 12493, from untyped 3011...
  655.  
  656. [email protected]:792 Creating object frame_fserv_group_bin_0052 in slot 12494, from untyped 3011...
  657.  
  658. [email protected]:792 Creating object frame_fserv_group_bin_0053 in slot 12495, from untyped 3011...
  659.  
  660. [email protected]:792 Creating object frame_fserv_group_bin_0054 in slot 12496, from untyped 3011...
  661.  
  662. [email protected]:792 Creating object frame_fserv_group_bin_0055 in slot 12497, from untyped 3011...
  663.  
  664. [email protected]:792 Creating object frame_fserv_group_bin_0056 in slot 12498, from untyped 3011...
  665.  
  666. [email protected]:792 Creating object frame_fserv_group_bin_0057 in slot 12499, from untyped 3011...
  667.  
  668. [email protected]:792 Creating object frame_fserv_group_bin_0058 in slot 12500, from untyped 3011...
  669.  
  670. [email protected]:792 Creating object frame_fserv_group_bin_0059 in slot 12501, from untyped 3011...
  671.  
  672. [email protected]:792 Creating object frame_fserv_group_bin_0060 in slot 12502, from untyped 3011...
  673.  
  674. [email protected]:792 Creating object frame_fserv_group_bin_0061 in slot 12503, from untyped 3011...
  675.  
  676. [email protected]:792 Creating object frame_fserv_group_bin_0062 in slot 12504, from untyped 3011...
  677.  
  678. [email protected]:792 Creating object frame_fserv_group_bin_0063 in slot 12505, from untyped 3011...
  679.  
  680. [email protected]:792 Creating object frame_fserv_group_bin_0064 in slot 12506, from untyped 3011...
  681.  
  682. [email protected]:792 Creating object frame_fserv_group_bin_0065 in slot 12507, from untyped 3011...
  683.  
  684. [email protected]:792 Creating object frame_fserv_group_bin_0066 in slot 12508, from untyped 3011...
  685.  
  686. [email protected]:792 Creating object frame_fserv_group_bin_0067 in slot 12509, from untyped 3011...
  687.  
  688. [email protected]:792 Creating object frame_fserv_group_bin_0068 in slot 12510, from untyped 3011...
  689.  
  690. [email protected]:792 Creating object frame_fserv_group_bin_0069 in slot 12511, from untyped 3011...
  691.  
  692. [email protected]:792 Creating object frame_fserv_group_bin_0070 in slot 12512, from untyped 3011...
  693.  
  694. [email protected]:792 Creating object frame_fserv_group_bin_0071 in slot 12513, from untyped 3011...
  695.  
  696. [email protected]:792 Creating object frame_fserv_group_bin_0072 in slot 12514, from untyped 3011...
  697.  
  698. [email protected]:792 Creating object frame_fserv_group_bin_0073 in slot 12515, from untyped 3011...
  699.  
  700. [email protected]:792 Creating object frame_fserv_group_bin_0074 in slot 12516, from untyped 3011...
  701.  
  702. [email protected]:792 Creating object frame_fserv_group_bin_0075 in slot 12517, from untyped 3011...
  703.  
  704. [email protected]:792 Creating object frame_fserv_group_bin_0076 in slot 12518, from untyped 3011...
  705.  
  706. [email protected]:792 Creating object frame_fserv_group_bin_0077 in slot 12519, from untyped 3011...
  707.  
  708. [email protected]:792 Creating object frame_fserv_group_bin_0078 in slot 12520, from untyped 3011...
  709.  
  710. [email protected]:792 Creating object frame_fserv_group_bin_0079 in slot 12521, from untyped 3011...
  711.  
  712. [email protected]:792 Creating object frame_vm0_group_bin_0000 in slot 12522, from untyped 3011...
  713.  
  714. [email protected]:792 Creating object frame_vm0_group_bin_0001 in slot 12523, from untyped 3011...
  715.  
  716. [email protected]:792 Creating object frame_vm0_group_bin_0002 in slot 12524, from untyped 3011...
  717.  
  718. [email protected]:792 Creating object frame_vm0_group_bin_0003 in slot 12525, from untyped 3011...
  719.  
  720. [email protected]:792 Creating object frame_vm0_group_bin_0004 in slot 12526, from untyped 3011...
  721.  
  722. [email protected]:792 Creating object frame_vm0_group_bin_0005 in slot 12527, from untyped 3011...
  723.  
  724. [email protected]:792 Creating object frame_vm0_group_bin_0006 in slot 12528, from untyped 3011...
  725.  
  726. [email protected]:792 Creating object frame_vm0_group_bin_0007 in slot 12529, from untyped 3011...
  727.  
  728. [email protected]:792 Creating object frame_vm0_group_bin_0008 in slot 12530, from untyped 3011...
  729.  
  730. [email protected]:792 Creating object frame_vm0_group_bin_0009 in slot 12531, from untyped 3011...
  731.  
  732. [email protected]:792 Creating object frame_vm0_group_bin_0010 in slot 12532, from untyped 3011...
  733.  
  734. [email protected]:792 Creating object frame_vm0_group_bin_0011 in slot 12533, from untyped 3011...
  735.  
  736. [email protected]:792 Creating object frame_vm0_group_bin_0012 in slot 12534, from untyped 3011...
  737.  
  738. [email protected]:792 Creating object frame_vm0_group_bin_0013 in slot 12535, from untyped 3011...
  739.  
  740. [email protected]:792 Creating object frame_vm0_group_bin_0014 in slot 12536, from untyped 3011...
  741.  
  742. [email protected]:792 Creating object frame_vm0_group_bin_0015 in slot 12537, from untyped 3011...
  743.  
  744. [email protected]:792 Creating object frame_vm0_group_bin_0016 in slot 12538, from untyped 3011...
  745.  
  746. [email protected]:792 Creating object frame_vm0_group_bin_0017 in slot 12539, from untyped 3011...
  747.  
  748. [email protected]:792 Creating object frame_vm0_group_bin_0018 in slot 12540, from untyped 3011...
  749.  
  750. [email protected]:792 Creating object frame_vm0_group_bin_0019 in slot 12541, from untyped 3011...
  751.  
  752. [email protected]:792 Creating object frame_vm0_group_bin_0020 in slot 12542, from untyped 3011...
  753.  
  754. [email protected]:792 Creating object frame_vm0_group_bin_0021 in slot 12543, from untyped 3011...
  755.  
  756. [email protected]:792 Creating object frame_vm0_group_bin_0022 in slot 12544, from untyped 3011...
  757.  
  758. [email protected]:792 Creating object frame_vm0_group_bin_0023 in slot 12545, from untyped 3011...
  759.  
  760. [email protected]:792 Creating object frame_vm0_group_bin_0024 in slot 12546, from untyped 3011...
  761.  
  762. [email protected]:792 Creating object frame_vm0_group_bin_0025 in slot 12547, from untyped 3011...
  763.  
  764. [email protected]:792 Creating object frame_vm0_group_bin_0026 in slot 12548, from untyped 3011...
  765.  
  766. [email protected]:792 Creating object frame_vm0_group_bin_0027 in slot 12549, from untyped 3011...
  767.  
  768. [email protected]:792 Creating object frame_vm0_group_bin_0028 in slot 12550, from untyped 3011...
  769.  
  770. [email protected]:792 Creating object frame_vm0_group_bin_0029 in slot 12551, from untyped 3011...
  771.  
  772. [email protected]:792 Creating object frame_vm0_group_bin_0030 in slot 12552, from untyped 3011...
  773.  
  774. [email protected]:792 Creating object frame_vm0_group_bin_0056 in slot 12553, from untyped 3011...
  775.  
  776. [email protected]:792 Creating object fserv_group_bin_pd in slot 12554, from untyped 3011...
  777.  
  778. [email protected]:792 Creating object vm0_group_bin_pd in slot 12555, from untyped 3011...
  779.  
  780. [email protected]:792 Creating object dtb_symbol_vm0_0_obj in slot 12556, from untyped 3011...
  781.  
  782. [email protected]:792 Creating object dtb_symbol_vm0_10_obj in slot 12557, from untyped 3011...
  783.  
  784. [email protected]:792 Creating object dtb_symbol_vm0_11_obj in slot 12558, from untyped 3011...
  785.  
  786. [email protected]:792 Creating object dtb_symbol_vm0_12_obj in slot 12559, from untyped 3011...
  787.  
  788. [email protected]:792 Creating object dtb_symbol_vm0_13_obj in slot 12560, from untyped 3011...
  789.  
  790. [email protected]:792 Creating object dtb_symbol_vm0_14_obj in slot 12561, from untyped 3011...
  791.  
  792. [email protected]:792 Creating object dtb_symbol_vm0_15_obj in slot 12562, from untyped 3011...
  793.  
  794. [email protected]:792 Creating object dtb_symbol_vm0_1_obj in slot 12563, from untyped 3011...
  795.  
  796. [email protected]:792 Creating object dtb_symbol_vm0_2_obj in slot 12564, from untyped 3011...
  797.  
  798. [email protected]:792 Creating object dtb_symbol_vm0_3_obj in slot 12565, from untyped 3011...
  799.  
  800. [email protected]:792 Creating object dtb_symbol_vm0_4_obj in slot 12566, from untyped 3011...
  801.  
  802. [email protected]:792 Creating object dtb_symbol_vm0_5_obj in slot 12567, from untyped 3011...
  803.  
  804. [email protected]:792 Creating object dtb_symbol_vm0_6_obj in slot 12568, from untyped 3011...
  805.  
  806. [email protected]:792 Creating object dtb_symbol_vm0_7_obj in slot 12569, from untyped 3011...
  807.  
  808. [email protected]:792 Creating object dtb_symbol_vm0_8_obj in slot 12570, from untyped 3011...
  809.  
  810. [email protected]:792 Creating object dtb_symbol_vm0_9_obj in slot 12571, from untyped 3011...
  811.  
  812. [email protected]:792 Creating object frame_fserv_group_bin_0080 in slot 12572, from untyped 3011...
  813.  
  814. [email protected]:792 Creating object frame_fserv_group_bin_0081 in slot 12573, from untyped 3011...
  815.  
  816. [email protected]:792 Creating object frame_fserv_group_bin_0082 in slot 12574, from untyped 3011...
  817.  
  818. [email protected]:792 Creating object frame_fserv_group_bin_0083 in slot 12575, from untyped 3011...
  819.  
  820. [email protected]:792 Creating object frame_fserv_group_bin_0084 in slot 12576, from untyped 3011...
  821.  
  822. [email protected]:792 Creating object frame_fserv_group_bin_0085 in slot 12577, from untyped 3011...
  823.  
  824. [email protected]:792 Creating object frame_fserv_group_bin_0086 in slot 12578, from untyped 3011...
  825.  
  826. [email protected]:792 Creating object frame_fserv_group_bin_0087 in slot 12579, from untyped 3011...
  827.  
  828. [email protected]:792 Creating object frame_vm0_group_bin_0057 in slot 12580, from untyped 3011...
  829.  
  830. [email protected]:792 Creating object frame_vm0_group_bin_0058 in slot 12581, from untyped 3011...
  831.  
  832. [email protected]:792 Creating object frame_vm0_group_bin_0059 in slot 12582, from untyped 3011...
  833.  
  834. [email protected]:792 Creating object frame_vm0_group_bin_0060 in slot 12583, from untyped 3011...
  835.  
  836. [email protected]:792 Creating object fs0_1_data_0_obj in slot 12584, from untyped 3011...
  837.  
  838. [email protected]:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_0_control in slot 12585, from untyped 3011...
  839.  
  840. [email protected]:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_0_fault_handler in slot 12586, from untyped 3011...
  841.  
  842. [email protected]:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_fs_ctrl_0000 in slot 12587, from untyped 3011...
  843.  
  844. [email protected]:792 Creating object pt_fserv_group_bin_0000 in slot 12588, from untyped 3011...
  845.  
  846. [email protected]:792 Creating object pt_fserv_group_bin_0052 in slot 12589, from untyped 3011...
  847.  
  848. [email protected]:792 Creating object pt_vm0_group_bin_0000 in slot 12590, from untyped 3011...
  849.  
  850. [email protected]:792 Creating object pt_vm0_group_bin_0057 in slot 12591, from untyped 3011...
  851.  
  852. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_0_fserv_obj in slot 12592, from untyped 3011...
  853.  
  854. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_1_fserv_obj in slot 12593, from untyped 3011...
  855.  
  856. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_2_fserv_obj in slot 12594, from untyped 3011...
  857.  
  858. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_3_fserv_obj in slot 12595, from untyped 3011...
  859.  
  860. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_0_fserv_obj in slot 12596, from untyped 3011...
  861.  
  862. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_1_fserv_obj in slot 12597, from untyped 3011...
  863.  
  864. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_2_fserv_obj in slot 12598, from untyped 3011...
  865.  
  866. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_3_fserv_obj in slot 12599, from untyped 3011...
  867.  
  868. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_0_fserv_obj in slot 12600, from untyped 3011...
  869.  
  870. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_1_fserv_obj in slot 12601, from untyped 3011...
  871.  
  872. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_2_fserv_obj in slot 12602, from untyped 3011...
  873.  
  874. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_3_fserv_obj in slot 12603, from untyped 3011...
  875.  
  876. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_0_vm0_obj in slot 12604, from untyped 3011...
  877.  
  878. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_1_vm0_obj in slot 12605, from untyped 3011...
  879.  
  880. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_2_vm0_obj in slot 12606, from untyped 3011...
  881.  
  882. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_3_vm0_obj in slot 12607, from untyped 3011...
  883.  
  884. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_0_vm0_obj in slot 12608, from untyped 3011...
  885.  
  886. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_1_vm0_obj in slot 12609, from untyped 3011...
  887.  
  888. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_2_vm0_obj in slot 12610, from untyped 3011...
  889.  
  890. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_3_vm0_obj in slot 12611, from untyped 3011...
  891.  
  892. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_0_vm0_obj in slot 12612, from untyped 3011...
  893.  
  894. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_1_vm0_obj in slot 12613, from untyped 3011...
  895.  
  896. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_2_vm0_obj in slot 12614, from untyped 3011...
  897.  
  898. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_3_vm0_obj in slot 12615, from untyped 3011...
  899.  
  900. [email protected]:792 Creating object vm0_asid_pool in slot 12616, from untyped 3011...
  901.  
  902. [email protected]:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_0_control in slot 12617, from untyped 3011...
  903.  
  904. [email protected]:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_0_fault_handler in slot 12618, from untyped 3011...
  905.  
  906. [email protected]:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_dtb_0000 in slot 12619, from untyped 3011...
  907.  
  908. [email protected]:792 Creating object fserv_fserv_0_control_tcb in slot 12620, from untyped 3011...
  909.  
  910. [email protected]:792 Creating object fserv_fserv_0_fault_handler_tcb in slot 12621, from untyped 3011...
  911.  
  912. [email protected]:792 Creating object fserv_fserv_fs_ctrl_0000_tcb in slot 12622, from untyped 3011...
  913.  
  914. [email protected]:792 Creating object vm0_vm0_0_control_tcb in slot 12623, from untyped 3011...
  915.  
  916. [email protected]:792 Creating object vm0_vm0_0_fault_handler_tcb in slot 12624, from untyped 3011...
  917.  
  918. [email protected]:792 Creating object vm0_vm0_dtb_0000_tcb in slot 12625, from untyped 3011...
  919.  
  920. [email protected]:792 Creating object fserv_cnode in slot 12626, from untyped 3011...
  921.  
  922. [email protected]:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
  923. (CNode of size 4 bits)
  924. [email protected]:792 Creating object fs0_ep in slot 12627, from untyped 3011...
  925.  
  926. [email protected]:792 Creating object fserv_fault_ep in slot 12628, from untyped 3011...
  927.  
  928. [email protected]:792 Creating object fserv_interface_init_ep in slot 12629, from untyped 3011...
  929.  
  930. [email protected]:792 Creating object fserv_post_init_ep in slot 12630, from untyped 3011...
  931.  
  932. [email protected]:792 Creating object fserv_pre_init_ep in slot 12631, from untyped 3011...
  933.  
  934. [email protected]:792 Creating object notify_ready_vm0_vm0_global_endpoint in slot 12632, from untyped 3011...
  935.  
  936. [email protected]:792 Creating object vm0_fault_ep in slot 12633, from untyped 3011...
  937.  
  938. [email protected]:792 Creating object vm0_interface_init_ep in slot 12634, from untyped 3011...
  939.  
  940. [email protected]:792 Creating object vm0_irq_notification_obj in slot 12635, from untyped 3011...
  941.  
  942. [email protected]:792 Creating object vm0_post_init_ep in slot 12636, from untyped 3011...
  943.  
  944. [email protected]:792 Creating object vm0_pre_init_ep in slot 12637, from untyped 3011...
  945.  
  946. [email protected]:792 Creating object vm0_vm_sem in slot 12638, from untyped 3011...
  947.  
  948. [email protected]:792 Creating object vm_dtb_dtb_irq_103 in slot 12639, from untyped 3011...
  949.  
  950. [email protected]:792 Creating object vm_dtb_dtb_irq_104 in slot 12639, from untyped 3011...
  951.  
  952. [email protected]:792 Creating object vm_dtb_dtb_irq_105 in slot 12639, from untyped 3011...
  953.  
  954. [email protected]:792 Creating object vm_dtb_dtb_irq_107 in slot 12639, from untyped 3011...
  955.  
  956. [email protected]:792 Creating object vm_dtb_dtb_irq_108 in slot 12639, from untyped 3011...
  957.  
  958. [email protected]:792 Creating object vm_dtb_dtb_irq_109 in slot 12639, from untyped 3011...
  959.  
  960. [email protected]:792 Creating object vm_dtb_dtb_irq_110 in slot 12639, from untyped 3011...
  961.  
  962. [email protected]:792 Creating object vm_dtb_dtb_irq_117 in slot 12639, from untyped 3011...
  963.  
  964. [email protected]:792 Creating object vm_dtb_dtb_irq_118 in slot 12639, from untyped 3011...
  965.  
  966. [email protected]:792 Creating object vm_dtb_dtb_irq_138 in slot 12639, from untyped 3011...
  967.  
  968. [email protected]:792 Creating object vm_dtb_dtb_irq_142 in slot 12639, from untyped 3011...
  969.  
  970. [email protected]:792 Creating object vm_dtb_dtb_irq_201 in slot 12639, from untyped 3011...
  971.  
  972. [email protected]:792 Creating object vm_dtb_dtb_irq_215 in slot 12639, from untyped 3011...
  973.  
  974. [email protected]:792 Creating object vm_dtb_dtb_irq_216 in slot 12639, from untyped 3011...
  975.  
  976. [email protected]:792 Creating object vm_dtb_dtb_irq_217 in slot 12639, from untyped 3011...
  977.  
  978. [email protected]:792 Creating object vm_dtb_dtb_irq_218 in slot 12639, from untyped 3011...
  979.  
  980. [email protected]:792 Creating object vm_dtb_dtb_irq_220 in slot 12639, from untyped 3011...
  981.  
  982. [email protected]:792 Creating object vm_dtb_dtb_irq_32 in slot 12639, from untyped 3011...
  983.  
  984. [email protected]:792 Creating object vm_dtb_dtb_irq_33 in slot 12639, from untyped 3011...
  985.  
  986. [email protected]:792 Creating object vm_dtb_dtb_irq_34 in slot 12639, from untyped 3011...
  987.  
  988. [email protected]:792 Creating object vm_dtb_dtb_irq_35 in slot 12639, from untyped 3011...
  989.  
  990. [email protected]:792 Creating object vm_dtb_dtb_irq_36 in slot 12639, from untyped 3011...
  991.  
  992. [email protected]:792 Creating object vm_dtb_dtb_irq_37 in slot 12639, from untyped 3011...
  993.  
  994. [email protected]:792 Creating object vm_dtb_dtb_irq_38 in slot 12639, from untyped 3011...
  995.  
  996. [email protected]:792 Creating object vm_dtb_dtb_irq_39 in slot 12639, from untyped 3011...
  997.  
  998. [email protected]:792 Creating object vm_dtb_dtb_irq_40 in slot 12639, from untyped 3011...
  999.  
  1000. [email protected]:792 Creating object vm_dtb_dtb_irq_41 in slot 12639, from untyped 3011...
  1001.  
  1002. [email protected]:792 Creating object vm_dtb_dtb_irq_42 in slot 12639, from untyped 3011...
  1003.  
  1004. [email protected]:792 Creating object vm_dtb_dtb_irq_43 in slot 12639, from untyped 3011...
  1005.  
  1006. [email protected]:792 Creating object vm_dtb_dtb_irq_44 in slot 12639, from untyped 3011...
  1007.  
  1008. [email protected]:792 Creating object vm_dtb_dtb_irq_45 in slot 12639, from untyped 3011...
  1009.  
  1010. [email protected]:792 Creating object vm_dtb_dtb_irq_46 in slot 12639, from untyped 3011...
  1011.  
  1012. [email protected]:792 Creating object vm_dtb_dtb_irq_47 in slot 12639, from untyped 3011...
  1013.  
  1014. [email protected]:792 Creating object vm_dtb_dtb_irq_48 in slot 12639, from untyped 3011...
  1015.  
  1016. [email protected]:792 Creating object vm_dtb_dtb_irq_49 in slot 12639, from untyped 3011...
  1017.  
  1018. [email protected]:792 Creating object vm_dtb_dtb_irq_50 in slot 12639, from untyped 3011...
  1019.  
  1020. [email protected]:792 Creating object vm_dtb_dtb_irq_51 in slot 12639, from untyped 3011...
  1021.  
  1022. [email protected]:792 Creating object vm_dtb_dtb_irq_52 in slot 12639, from untyped 3011...
  1023.  
  1024. [email protected]:792 Creating object vm_dtb_dtb_irq_53 in slot 12639, from untyped 3011...
  1025.  
  1026. [email protected]:792 Creating object vm_dtb_dtb_irq_54 in slot 12639, from untyped 3011...
  1027.  
  1028. [email protected]:792 Creating object vm_dtb_dtb_irq_55 in slot 12639, from untyped 3011...
  1029.  
  1030. [email protected]:792 Creating object vm_dtb_dtb_irq_56 in slot 12639, from untyped 3011...
  1031.  
  1032. [email protected]:792 Creating object vm_dtb_dtb_irq_57 in slot 12639, from untyped 3011...
  1033.  
  1034. [email protected]:792 Creating object vm_dtb_dtb_irq_58 in slot 12639, from untyped 3011...
  1035.  
  1036. [email protected]:792 Creating object vm_dtb_dtb_irq_59 in slot 12639, from untyped 3011...
  1037.  
  1038. [email protected]:792 Creating object vm_dtb_dtb_irq_60 in slot 12639, from untyped 3011...
  1039.  
  1040. [email protected]:792 Creating object vm_dtb_dtb_irq_61 in slot 12639, from untyped 3011...
  1041.  
  1042. [email protected]:792 Creating object vm_dtb_dtb_irq_62 in slot 12639, from untyped 3011...
  1043.  
  1044. [email protected]:792 Creating object vm_dtb_dtb_irq_63 in slot 12639, from untyped 3011...
  1045.  
  1046. [email protected]:792 Creating object vm_dtb_dtb_irq_65 in slot 12639, from untyped 3011...
  1047.  
  1048. [email protected]:792 Creating object vm_dtb_dtb_irq_66 in slot 12639, from untyped 3011...
  1049.  
  1050. [email protected]:792 Creating object vm_dtb_dtb_irq_67 in slot 12639, from untyped 3011...
  1051.  
  1052. [email protected]:792 Creating object vm_dtb_dtb_irq_68 in slot 12639, from untyped 3011...
  1053.  
  1054. [email protected]:792 Creating object vm_dtb_dtb_irq_69 in slot 12639, from untyped 3011...
  1055.  
  1056. [email protected]:792 Creating object vm_dtb_dtb_irq_70 in slot 12639, from untyped 3011...
  1057.  
  1058. [email protected]:792 Creating object vm_dtb_dtb_irq_71 in slot 12639, from untyped 3011...
  1059.  
  1060. [email protected]:792 Creating object vm_dtb_dtb_irq_72 in slot 12639, from untyped 3011...
  1061.  
  1062. [email protected]:792 Creating object vm_dtb_dtb_irq_74 in slot 12639, from untyped 3011...
  1063.  
  1064. [email protected]:792 Creating object vm_dtb_dtb_irq_75 in slot 12639, from untyped 3011...
  1065.  
  1066. [email protected]:792 Creating object vm_dtb_dtb_irq_76 in slot 12639, from untyped 3011...
  1067.  
  1068. [email protected]:792 Creating object vm_dtb_dtb_irq_77 in slot 12639, from untyped 3011...
  1069.  
  1070. [email protected]:792 Creating object vm_dtb_dtb_irq_79 in slot 12639, from untyped 3011...
  1071.  
  1072. [email protected]:792 Creating object vm_dtb_dtb_irq_82 in slot 12639, from untyped 3011...
  1073.  
  1074. [email protected]:792 Creating object vm_dtb_dtb_irq_83 in slot 12639, from untyped 3011...
  1075.  
  1076. [email protected]:792 Creating object vm_dtb_dtb_irq_84 in slot 12639, from untyped 3011...
  1077.  
  1078. [email protected]:792 Creating object vm_dtb_dtb_irq_85 in slot 12639, from untyped 3011...
  1079.  
  1080. [email protected]:792 Creating object vm_dtb_dtb_irq_86 in slot 12639, from untyped 3011...
  1081.  
  1082. [email protected]:792 Creating object vm_dtb_dtb_irq_88 in slot 12639, from untyped 3011...
  1083.  
  1084. [email protected]:792 Creating object vm_dtb_dtb_irq_89 in slot 12639, from untyped 3011...
  1085.  
  1086. [email protected]:792 Creating object vm_dtb_dtb_irq_90 in slot 12639, from untyped 3011...
  1087.  
  1088. [email protected]:792 Creating object vm_dtb_dtb_irq_91 in slot 12639, from untyped 3011...
  1089.  
  1090. [email protected]:792 Creating object vm_dtb_dtb_irq_92 in slot 12639, from untyped 3011...
  1091.  
  1092. [email protected]:792 Creating object vm_dtb_dtb_irq_93 in slot 12639, from untyped 3011...
  1093.  
  1094. [email protected]:792 Creating object vm_dtb_dtb_irq_94 in slot 12639, from untyped 3011...
  1095.  
  1096. [email protected]:792 Creating object vm_dtb_dtb_irq_97 in slot 12639, from untyped 3011...
  1097.  
  1098. [email protected]:823 Creating ASID pools...
  1099.  
  1100. [email protected]:886 Creating irq handler caps...
  1101.  
  1102. [email protected]:892 Creating irq handler cap for IRQ 32...
  1103.  
  1104. [email protected]:892 Creating irq handler cap for IRQ 33...
  1105.  
  1106. [email protected]:892 Creating irq handler cap for IRQ 34...
  1107.  
  1108. [email protected]:892 Creating irq handler cap for IRQ 35...
  1109.  
  1110. [email protected]:892 Creating irq handler cap for IRQ 36...
  1111.  
  1112. [email protected]:892 Creating irq handler cap for IRQ 37...
  1113.  
  1114. [email protected]:892 Creating irq handler cap for IRQ 38...
  1115.  
  1116. [email protected]:892 Creating irq handler cap for IRQ 39...
  1117.  
  1118. [email protected]:892 Creating irq handler cap for IRQ 40...
  1119.  
  1120. [email protected]:892 Creating irq handler cap for IRQ 41...
  1121.  
  1122. [email protected]:892 Creating irq handler cap for IRQ 42...
  1123.  
  1124. [email protected]:892 Creating irq handler cap for IRQ 43...
  1125.  
  1126. [email protected]:892 Creating irq handler cap for IRQ 44...
  1127.  
  1128. [email protected]:892 Creating irq handler cap for IRQ 45...
  1129.  
  1130. [email protected]:892 Creating irq handler cap for IRQ 46...
  1131.  
  1132. [email protected]:892 Creating irq handler cap for IRQ 47...
  1133.  
  1134. [email protected]:892 Creating irq handler cap for IRQ 48...
  1135.  
  1136. [email protected]:892 Creating irq handler cap for IRQ 49...
  1137.  
  1138. [email protected]:892 Creating irq handler cap for IRQ 50...
  1139.  
  1140. [email protected]:892 Creating irq handler cap for IRQ 51...
  1141.  
  1142. [email protected]:892 Creating irq handler cap for IRQ 52...
  1143.  
  1144. [email protected]:892 Creating irq handler cap for IRQ 53...
  1145.  
  1146. [email protected]:892 Creating irq handler cap for IRQ 54...
  1147.  
  1148. [email protected]:892 Creating irq handler cap for IRQ 55...
  1149.  
  1150. [email protected]:892 Creating irq handler cap for IRQ 56...
  1151.  
  1152. [email protected]:892 Creating irq handler cap for IRQ 57...
  1153.  
  1154. [email protected]:892 Creating irq handler cap for IRQ 58...
  1155.  
  1156. [email protected]:892 Creating irq handler cap for IRQ 59...
  1157.  
  1158. [email protected]:892 Creating irq handler cap for IRQ 60...
  1159.  
  1160. [email protected]:892 Creating irq handler cap for IRQ 61...
  1161.  
  1162. [email protected]:892 Creating irq handler cap for IRQ 62...
  1163.  
  1164. [email protected]:892 Creating irq handler cap for IRQ 63...
  1165.  
  1166. [email protected]:892 Creating irq handler cap for IRQ 65...
  1167.  
  1168. [email protected]:892 Creating irq handler cap for IRQ 66...
  1169.  
  1170. [email protected]:892 Creating irq handler cap for IRQ 67...
  1171.  
  1172. [email protected]:892 Creating irq handler cap for IRQ 68...
  1173.  
  1174. [email protected]:892 Creating irq handler cap for IRQ 69...
  1175.  
  1176. [email protected]:892 Creating irq handler cap for IRQ 70...
  1177.  
  1178. [email protected]:892 Creating irq handler cap for IRQ 71...
  1179.  
  1180. [email protected]:892 Creating irq handler cap for IRQ 72...
  1181.  
  1182. [email protected]:892 Creating irq handler cap for IRQ 74...
  1183.  
  1184. [email protected]:892 Creating irq handler cap for IRQ 75...
  1185.  
  1186. [email protected]:892 Creating irq handler cap for IRQ 76...
  1187.  
  1188. [email protected]:892 Creating irq handler cap for IRQ 77...
  1189.  
  1190. [email protected]:892 Creating irq handler cap for IRQ 79...
  1191.  
  1192. [email protected]:892 Creating irq handler cap for IRQ 82...
  1193.  
  1194. [email protected]:892 Creating irq handler cap for IRQ 83...
  1195.  
  1196. [email protected]:892 Creating irq handler cap for IRQ 84...
  1197.  
  1198. [email protected]:892 Creating irq handler cap for IRQ 85...
  1199.  
  1200. Undelivered IRQ: 85
  1201. [email protected]:892 Creating irq handler cap for IRQ 86...
  1202.  
  1203. [email protected]:892 Creating irq handler cap for IRQ 88...
  1204.  
  1205. [email protected]:892 Creating irq handler cap for IRQ 89...
  1206.  
  1207. [email protected]:892 Creating irq handler cap for IRQ 90...
  1208.  
  1209. [email protected]:892 Creating irq handler cap for IRQ 91...
  1210.  
  1211. [email protected]:892 Creating irq handler cap for IRQ 92...
  1212.  
  1213. [email protected]:892 Creating irq handler cap for IRQ 93...
  1214.  
  1215. [email protected]:892 Creating irq handler cap for IRQ 94...
  1216.  
  1217. [email protected]:892 Creating irq handler cap for IRQ 97...
  1218.  
  1219. [email protected]:892 Creating irq handler cap for IRQ 103...
  1220.  
  1221. [email protected]:892 Creating irq handler cap for IRQ 104...
  1222.  
  1223. [email protected]:892 Creating irq handler cap for IRQ 105...
  1224.  
  1225. [email protected]:892 Creating irq handler cap for IRQ 107...
  1226.  
  1227. [email protected]:892 Creating irq handler cap for IRQ 108...
  1228.  
  1229. [email protected]:892 Creating irq handler cap for IRQ 109...
  1230.  
  1231. [email protected]:892 Creating irq handler cap for IRQ 110...
  1232.  
  1233. [email protected]:892 Creating irq handler cap for IRQ 117...
  1234.  
  1235. [email protected]:892 Creating irq handler cap for IRQ 118...
  1236.  
  1237. [email protected]:892 Creating irq handler cap for IRQ 138...
  1238.  
  1239. [email protected]:892 Creating irq handler cap for IRQ 142...
  1240.  
  1241. [email protected]:892 Creating irq handler cap for IRQ 201...
  1242.  
  1243. [email protected]:892 Creating irq handler cap for IRQ 215...
  1244.  
  1245. [email protected]:892 Creating irq handler cap for IRQ 216...
  1246.  
  1247. [email protected]:892 Creating irq handler cap for IRQ 217...
  1248.  
  1249. [email protected]:892 Creating irq handler cap for IRQ 218...
  1250.  
  1251. [email protected]:892 Creating irq handler cap for IRQ 220...
  1252.  
  1253. [email protected]:941 Duplicating CNodes...
  1254.  
  1255. [email protected]:944 Duplicating vm0_cnode...
  1256.  
  1257. [email protected]:944 Duplicating fserv_fserv_0_control_tcb...
  1258.  
  1259. [email protected]:944 Duplicating fserv_fserv_0_fault_handler_tcb...
  1260.  
  1261. [email protected]:944 Duplicating fserv_fserv_fs_ctrl_0000_tcb...
  1262.  
  1263. [email protected]:944 Duplicating vm0_vm0_0_control_tcb...
  1264.  
  1265. [email protected]:944 Duplicating vm0_vm0_0_fault_handler_tcb...
  1266.  
  1267. [email protected]:944 Duplicating vm0_vm0_dtb_0000_tcb...
  1268.  
  1269. [email protected]:944 Duplicating fserv_cnode...
  1270.  
  1271. [email protected]:1320 Initialising IRQ handler caps...
  1272.  
  1273. [email protected]:1324 Initialising handler for IRQ 32...
  1274.  
  1275. [email protected]:1324 Initialising handler for IRQ 33...
  1276.  
  1277. [email protected]:1324 Initialising handler for IRQ 34...
  1278.  
  1279. [email protected]:1324 Initialising handler for IRQ 35...
  1280.  
  1281. [email protected]:1324 Initialising handler for IRQ 36...
  1282.  
  1283. [email protected]:1324 Initialising handler for IRQ 37...
  1284.  
  1285. [email protected]:1324 Initialising handler for IRQ 38...
  1286.  
  1287. [email protected]:1324 Initialising handler for IRQ 39...
  1288.  
  1289. [email protected]:1324 Initialising handler for IRQ 40...
  1290.  
  1291. [email protected]:1324 Initialising handler for IRQ 41...
  1292.  
  1293. [email protected]:1324 Initialising handler for IRQ 42...
  1294.  
  1295. [email protected]:1324 Initialising handler for IRQ 43...
  1296.  
  1297. [email protected]:1324 Initialising handler for IRQ 44...
  1298.  
  1299. [email protected]:1324 Initialising handler for IRQ 45...
  1300.  
  1301. [email protected]:1324 Initialising handler for IRQ 46...
  1302.  
  1303. [email protected]:1324 Initialising handler for IRQ 47...
  1304.  
  1305. [email protected]:1324 Initialising handler for IRQ 48...
  1306.  
  1307. [email protected]:1324 Initialising handler for IRQ 49...
  1308.  
  1309. [email protected]:1324 Initialising handler for IRQ 50...
  1310.  
  1311. [email protected]:1324 Initialising handler for IRQ 51...
  1312.  
  1313. [email protected]:1324 Initialising handler for IRQ 52...
  1314.  
  1315. [email protected]:1324 Initialising handler for IRQ 53...
  1316.  
  1317. [email protected]:1324 Initialising handler for IRQ 54...
  1318.  
  1319. [email protected]:1324 Initialising handler for IRQ 55...
  1320.  
  1321. [email protected]:1324 Initialising handler for IRQ 56...
  1322.  
  1323. [email protected]:1324 Initialising handler for IRQ 57...
  1324.  
  1325. [email protected]:1324 Initialising handler for IRQ 58...
  1326.  
  1327. [email protected]:1324 Initialising handler for IRQ 59...
  1328.  
  1329. [email protected]:1324 Initialising handler for IRQ 60...
  1330.  
  1331. [email protected]:1324 Initialising handler for IRQ 61...
  1332.  
  1333. [email protected]:1324 Initialising handler for IRQ 62...
  1334.  
  1335. [email protected]:1324 Initialising handler for IRQ 63...
  1336.  
  1337. [email protected]:1324 Initialising handler for IRQ 65...
  1338.  
  1339. [email protected]:1324 Initialising handler for IRQ 66...
  1340.  
  1341. [email protected]:1324 Initialising handler for IRQ 67...
  1342.  
  1343. [email protected]:1324 Initialising handler for IRQ 68...
  1344.  
  1345. [email protected]:1324 Initialising handler for IRQ 69...
  1346.  
  1347. [email protected]:1324 Initialising handler for IRQ 70...
  1348.  
  1349. [email protected]:1324 Initialising handler for IRQ 71...
  1350.  
  1351. [email protected]:1324 Initialising handler for IRQ 72...
  1352.  
  1353. [email protected]:1324 Initialising handler for IRQ 74...
  1354.  
  1355. [email protected]:1324 Initialising handler for IRQ 75...
  1356.  
  1357. [email protected]:1324 Initialising handler for IRQ 76...
  1358.  
  1359. [email protected]:1324 Initialising handler for IRQ 77...
  1360.  
  1361. [email protected]:1324 Initialising handler for IRQ 79...
  1362.  
  1363. [email protected]:1324 Initialising handler for IRQ 82...
  1364.  
  1365. [email protected]:1324 Initialising handler for IRQ 83...
  1366.  
  1367. [email protected]:1324 Initialising handler for IRQ 84...
  1368.  
  1369. [email protected]:1324 Initialising handler for IRQ 85...
  1370.  
  1371. [email protected]:1324 Initialising handler for IRQ 86...
  1372.  
  1373. [email protected]:1324 Initialising handler for IRQ 88...
  1374.  
  1375. [email protected]:1324 Initialising handler for IRQ 89...
  1376.  
  1377. [email protected]:1324 Initialising handler for IRQ 90...
  1378.  
  1379. [email protected]:1324 Initialising handler for IRQ 91...
  1380.  
  1381. [email protected]:1324 Initialising handler for IRQ 92...
  1382.  
  1383. [email protected]:1324 Initialising handler for IRQ 93...
  1384.  
  1385. [email protected]:1324 Initialising handler for IRQ 94...
  1386.  
  1387. [email protected]:1324 Initialising handler for IRQ 97...
  1388.  
  1389. [email protected]:1324 Initialising handler for IRQ 103...
  1390.  
  1391. [email protected]:1324 Initialising handler for IRQ 104...
  1392.  
  1393. [email protected]:1324 Initialising handler for IRQ 105...
  1394.  
  1395. [email protected]:1324 Initialising handler for IRQ 107...
  1396.  
  1397. [email protected]:1324 Initialising handler for IRQ 108...
  1398.  
  1399. [email protected]:1324 Initialising handler for IRQ 109...
  1400.  
  1401. [email protected]:1324 Initialising handler for IRQ 110...
  1402.  
  1403. [email protected]:1324 Initialising handler for IRQ 117...
  1404.  
  1405. [email protected]:1324 Initialising handler for IRQ 118...
  1406.  
  1407. [email protected]:1324 Initialising handler for IRQ 138...
  1408.  
  1409. [email protected]:1324 Initialising handler for IRQ 142...
  1410.  
  1411. [email protected]:1324 Initialising handler for IRQ 201...
  1412.  
  1413. [email protected]:1324 Initialising handler for IRQ 215...
  1414.  
  1415. [email protected]:1324 Initialising handler for IRQ 216...
  1416.  
  1417. [email protected]:1324 Initialising handler for IRQ 217...
  1418.  
  1419. [email protected]:1324 Initialising handler for IRQ 218...
  1420.  
  1421. [email protected]:1324 Initialising handler for IRQ 220...
  1422.  
  1423. [email protected]:1340 Initialising Page Directory ASIDs...
  1424.  
  1425. [email protected]:1346 Initialising pd/pml4 ASID fserv_group_bin_pd...
  1426.  
  1427. [email protected]:1346 Initialising pd/pml4 ASID vm0_group_bin_pd...
  1428.  
  1429. [email protected]:1596 Initialising VSpaces...
  1430.  
  1431. [email protected]:1618 ================================
  1432.  
  1433. [email protected]:1619 Initialising page directories...
  1434.  
  1435. [email protected]:1623 Initialising page directory fserv_group_bin_pd...
  1436.  
  1437. [email protected]:1534 Mapping slot 0 in fserv_group_bin_pd
  1438.  
  1439. [email protected]:1373 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x0, vm_attribs=0x0
  1440.  
  1441. [email protected]:1534 Mapping slot 1 in fserv_group_bin_pd
  1442.  
  1443. [email protected]:1373 Mapping frame_fserv_group_bin_0031 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x200000, vm_attribs=0x3
  1444.  
  1445. [email protected]:1534 Mapping slot 2 in fserv_group_bin_pd
  1446.  
  1447. [email protected]:1373 Mapping frame_fserv_group_bin_0032 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x400000, vm_attribs=0x3
  1448.  
  1449. [email protected]:1534 Mapping slot 3 in fserv_group_bin_pd
  1450.  
  1451. [email protected]:1373 Mapping frame_fserv_group_bin_0033 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x600000, vm_attribs=0x3
  1452.  
  1453. [email protected]:1534 Mapping slot 4 in fserv_group_bin_pd
  1454.  
  1455. [email protected]:1373 Mapping frame_fserv_group_bin_0034 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x800000, vm_attribs=0x3
  1456.  
  1457. [email protected]:1534 Mapping slot 5 in fserv_group_bin_pd
  1458.  
  1459. [email protected]:1373 Mapping frame_fserv_group_bin_0035 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa00000, vm_attribs=0x3
  1460.  
  1461. [email protected]:1534 Mapping slot 6 in fserv_group_bin_pd
  1462.  
  1463. [email protected]:1373 Mapping frame_fserv_group_bin_0036 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc00000, vm_attribs=0x3
  1464.  
  1465. [email protected]:1534 Mapping slot 7 in fserv_group_bin_pd
  1466.  
  1467. [email protected]:1373 Mapping frame_fserv_group_bin_0037 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe00000, vm_attribs=0x3
  1468.  
  1469. [email protected]:1534 Mapping slot 8 in fserv_group_bin_pd
  1470.  
  1471. [email protected]:1373 Mapping frame_fserv_group_bin_0038 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1000000, vm_attribs=0x3
  1472.  
  1473. [email protected]:1534 Mapping slot 9 in fserv_group_bin_pd
  1474.  
  1475. [email protected]:1373 Mapping frame_fserv_group_bin_0039 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1200000, vm_attribs=0x3
  1476.  
  1477. [email protected]:1534 Mapping slot 10 in fserv_group_bin_pd
  1478.  
  1479. [email protected]:1373 Mapping frame_fserv_group_bin_0040 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1400000, vm_attribs=0x3
  1480.  
  1481. [email protected]:1534 Mapping slot 11 in fserv_group_bin_pd
  1482.  
  1483. [email protected]:1373 Mapping frame_fserv_group_bin_0041 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1600000, vm_attribs=0x3
  1484.  
  1485. [email protected]:1534 Mapping slot 12 in fserv_group_bin_pd
  1486.  
  1487. [email protected]:1373 Mapping frame_fserv_group_bin_0042 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1800000, vm_attribs=0x3
  1488.  
  1489. [email protected]:1534 Mapping slot 13 in fserv_group_bin_pd
  1490.  
  1491. [email protected]:1373 Mapping frame_fserv_group_bin_0043 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a00000, vm_attribs=0x3
  1492.  
  1493. [email protected]:1534 Mapping slot 14 in fserv_group_bin_pd
  1494.  
  1495. [email protected]:1373 Mapping frame_fserv_group_bin_0044 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c00000, vm_attribs=0x3
  1496.  
  1497. [email protected]:1534 Mapping slot 15 in fserv_group_bin_pd
  1498.  
  1499. [email protected]:1373 Mapping frame_fserv_group_bin_0045 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e00000, vm_attribs=0x3
  1500.  
  1501. [email protected]:1534 Mapping slot 16 in fserv_group_bin_pd
  1502.  
  1503. [email protected]:1373 Mapping frame_fserv_group_bin_0046 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2000000, vm_attribs=0x3
  1504.  
  1505. [email protected]:1534 Mapping slot 17 in fserv_group_bin_pd
  1506.  
  1507. [email protected]:1373 Mapping frame_fserv_group_bin_0047 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2200000, vm_attribs=0x3
  1508.  
  1509. [email protected]:1534 Mapping slot 18 in fserv_group_bin_pd
  1510.  
  1511. [email protected]:1373 Mapping frame_fserv_group_bin_0048 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000, vm_attribs=0x3
  1512.  
  1513. [email protected]:1534 Mapping slot 19 in fserv_group_bin_pd
  1514.  
  1515. [email protected]:1373 Mapping frame_fserv_group_bin_0049 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2600000, vm_attribs=0x3
  1516.  
  1517. [email protected]:1534 Mapping slot 20 in fserv_group_bin_pd
  1518.  
  1519. [email protected]:1373 Mapping frame_fserv_group_bin_0050 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2800000, vm_attribs=0x3
  1520.  
  1521. [email protected]:1534 Mapping slot 21 in fserv_group_bin_pd
  1522.  
  1523. [email protected]:1373 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x2a00000, vm_attribs=0x0
  1524.  
  1525. [email protected]:1623 Initialising page directory vm0_group_bin_pd...
  1526.  
  1527. [email protected]:1534 Mapping slot 0 in vm0_group_bin_pd
  1528.  
  1529. [email protected]:1373 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x0, vm_attribs=0x0
  1530.  
  1531. [email protected]:1534 Mapping slot 1 in vm0_group_bin_pd
  1532.  
  1533. [email protected]:1373 Mapping frame_vm0_group_bin_0031 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x200000, vm_attribs=0x3
  1534.  
  1535. [email protected]:1534 Mapping slot 2 in vm0_group_bin_pd
  1536.  
  1537. [email protected]:1373 Mapping frame_vm0_group_bin_0032 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x400000, vm_attribs=0x3
  1538.  
  1539. [email protected]:1534 Mapping slot 3 in vm0_group_bin_pd
  1540.  
  1541. [email protected]:1373 Mapping frame_vm0_group_bin_0033 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x600000, vm_attribs=0x3
  1542.  
  1543. [email protected]:1534 Mapping slot 4 in vm0_group_bin_pd
  1544.  
  1545. [email protected]:1373 Mapping frame_vm0_group_bin_0034 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x800000, vm_attribs=0x3
  1546.  
  1547. [email protected]:1534 Mapping slot 5 in vm0_group_bin_pd
  1548.  
  1549. [email protected]:1373 Mapping frame_vm0_group_bin_0035 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa00000, vm_attribs=0x3
  1550.  
  1551. [email protected]:1534 Mapping slot 6 in vm0_group_bin_pd
  1552.  
  1553. [email protected]:1373 Mapping frame_vm0_group_bin_0036 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc00000, vm_attribs=0x3
  1554.  
  1555. [email protected]:1534 Mapping slot 7 in vm0_group_bin_pd
  1556.  
  1557. [email protected]:1373 Mapping frame_vm0_group_bin_0037 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe00000, vm_attribs=0x3
  1558.  
  1559. [email protected]:1534 Mapping slot 8 in vm0_group_bin_pd
  1560.  
  1561. [email protected]:1373 Mapping frame_vm0_group_bin_0038 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1000000, vm_attribs=0x3
  1562.  
  1563. [email protected]:1534 Mapping slot 9 in vm0_group_bin_pd
  1564.  
  1565. [email protected]:1373 Mapping frame_vm0_group_bin_0039 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1200000, vm_attribs=0x3
  1566.  
  1567. [email protected]:1534 Mapping slot 10 in vm0_group_bin_pd
  1568.  
  1569. [email protected]:1373 Mapping frame_vm0_group_bin_0040 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1400000, vm_attribs=0x3
  1570.  
  1571. [email protected]:1534 Mapping slot 11 in vm0_group_bin_pd
  1572.  
  1573. [email protected]:1373 Mapping frame_vm0_group_bin_0041 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1600000, vm_attribs=0x3
  1574.  
  1575. [email protected]:1534 Mapping slot 12 in vm0_group_bin_pd
  1576.  
  1577. [email protected]:1373 Mapping frame_vm0_group_bin_0042 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1800000, vm_attribs=0x3
  1578.  
  1579. [email protected]:1534 Mapping slot 13 in vm0_group_bin_pd
  1580.  
  1581. [email protected]:1373 Mapping frame_vm0_group_bin_0043 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a00000, vm_attribs=0x3
  1582.  
  1583. [email protected]:1534 Mapping slot 14 in vm0_group_bin_pd
  1584.  
  1585. [email protected]:1373 Mapping frame_vm0_group_bin_0044 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c00000, vm_attribs=0x3
  1586.  
  1587. [email protected]:1534 Mapping slot 15 in vm0_group_bin_pd
  1588.  
  1589. [email protected]:1373 Mapping frame_vm0_group_bin_0045 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e00000, vm_attribs=0x3
  1590.  
  1591. [email protected]:1534 Mapping slot 16 in vm0_group_bin_pd
  1592.  
  1593. [email protected]:1373 Mapping frame_vm0_group_bin_0046 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2000000, vm_attribs=0x3
  1594.  
  1595. [email protected]:1534 Mapping slot 32 in vm0_group_bin_pd
  1596.  
  1597. [email protected]:1373 Mapping frame_vm0_group_bin_0047 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4000000, vm_attribs=0x3
  1598.  
  1599. [email protected]:1534 Mapping slot 33 in vm0_group_bin_pd
  1600.  
  1601. [email protected]:1373 Mapping frame_vm0_group_bin_0048 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4200000, vm_attribs=0x3
  1602.  
  1603. [email protected]:1534 Mapping slot 34 in vm0_group_bin_pd
  1604.  
  1605. [email protected]:1373 Mapping frame_vm0_group_bin_0049 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4400000, vm_attribs=0x3
  1606.  
  1607. [email protected]:1534 Mapping slot 35 in vm0_group_bin_pd
  1608.  
  1609. [email protected]:1373 Mapping frame_vm0_group_bin_0050 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4600000, vm_attribs=0x3
  1610.  
  1611. [email protected]:1534 Mapping slot 36 in vm0_group_bin_pd
  1612.  
  1613. [email protected]:1373 Mapping frame_vm0_group_bin_0051 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4800000, vm_attribs=0x3
  1614.  
  1615. [email protected]:1534 Mapping slot 37 in vm0_group_bin_pd
  1616.  
  1617. [email protected]:1373 Mapping frame_vm0_group_bin_0052 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4a00000, vm_attribs=0x3
  1618.  
  1619. [email protected]:1534 Mapping slot 38 in vm0_group_bin_pd
  1620.  
  1621. [email protected]:1373 Mapping frame_vm0_group_bin_0053 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4c00000, vm_attribs=0x3
  1622.  
  1623. [email protected]:1534 Mapping slot 39 in vm0_group_bin_pd
  1624.  
  1625. [email protected]:1373 Mapping frame_vm0_group_bin_0054 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x4e00000, vm_attribs=0x3
  1626.  
  1627. [email protected]:1534 Mapping slot 40 in vm0_group_bin_pd
  1628.  
  1629. [email protected]:1373 Mapping frame_vm0_group_bin_0055 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5000000, vm_attribs=0x3
  1630.  
  1631. [email protected]:1534 Mapping slot 41 in vm0_group_bin_pd
  1632.  
  1633. [email protected]:1373 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x5200000, vm_attribs=0x0
  1634.  
  1635. [email protected]:1628 ===========================
  1636.  
  1637. [email protected]:1629 Initialising page tables...
  1638.  
  1639. [email protected]:1632 Initialising page tables in fserv_group_bin_pd...
  1640.  
  1641. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1642.  
  1643. [email protected]:1373 Mapping frame_fserv_group_bin_0000 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x10000, vm_attribs=0x3
  1644.  
  1645. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1646.  
  1647. [email protected]:1373 Mapping frame_fserv_group_bin_0001 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x20000, vm_attribs=0x3
  1648.  
  1649. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1650.  
  1651. [email protected]:1373 Mapping frame_fserv_group_bin_0002 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x30000, vm_attribs=0x3
  1652.  
  1653. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1654.  
  1655. [email protected]:1373 Mapping frame_fserv_group_bin_0003 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x40000, vm_attribs=0x3
  1656.  
  1657. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1658.  
  1659. [email protected]:1373 Mapping frame_fserv_group_bin_0004 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x50000, vm_attribs=0x3
  1660.  
  1661. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1662.  
  1663. [email protected]:1373 Mapping frame_fserv_group_bin_0005 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x60000, vm_attribs=0x3
  1664.  
  1665. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1666.  
  1667. [email protected]:1373 Mapping frame_fserv_group_bin_0006 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x70000, vm_attribs=0x3
  1668.  
  1669. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1670.  
  1671. [email protected]:1373 Mapping frame_fserv_group_bin_0007 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x80000, vm_attribs=0x3
  1672.  
  1673. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1674.  
  1675. [email protected]:1373 Mapping frame_fserv_group_bin_0008 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x90000, vm_attribs=0x3
  1676.  
  1677. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1678.  
  1679. [email protected]:1373 Mapping frame_fserv_group_bin_0009 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa0000, vm_attribs=0x3
  1680.  
  1681. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1682.  
  1683. [email protected]:1373 Mapping frame_fserv_group_bin_0010 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xb0000, vm_attribs=0x3
  1684.  
  1685. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1686.  
  1687. [email protected]:1373 Mapping frame_fserv_group_bin_0011 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc0000, vm_attribs=0x3
  1688.  
  1689. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1690.  
  1691. [email protected]:1373 Mapping frame_fserv_group_bin_0012 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xd0000, vm_attribs=0x3
  1692.  
  1693. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1694.  
  1695. [email protected]:1373 Mapping frame_fserv_group_bin_0013 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe0000, vm_attribs=0x3
  1696.  
  1697. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[240] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1698.  
  1699. [email protected]:1373 Mapping frame_fserv_group_bin_0014 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xf0000, vm_attribs=0x3
  1700.  
  1701. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[256] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1702.  
  1703. [email protected]:1373 Mapping frame_fserv_group_bin_0015 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x100000, vm_attribs=0x3
  1704.  
  1705. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[272] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1706.  
  1707. [email protected]:1373 Mapping frame_fserv_group_bin_0016 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x110000, vm_attribs=0x3
  1708.  
  1709. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[288] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1710.  
  1711. [email protected]:1373 Mapping frame_fserv_group_bin_0017 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x120000, vm_attribs=0x3
  1712.  
  1713. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[304] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1714.  
  1715. [email protected]:1373 Mapping frame_fserv_group_bin_0018 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x130000, vm_attribs=0x3
  1716.  
  1717. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[320] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1718.  
  1719. [email protected]:1373 Mapping frame_fserv_group_bin_0019 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x140000, vm_attribs=0x3
  1720.  
  1721. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[336] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1722.  
  1723. [email protected]:1373 Mapping frame_fserv_group_bin_0020 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x150000, vm_attribs=0x3
  1724.  
  1725. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[352] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1726.  
  1727. [email protected]:1373 Mapping frame_fserv_group_bin_0021 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x160000, vm_attribs=0x3
  1728.  
  1729. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[368] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1730.  
  1731. [email protected]:1373 Mapping frame_fserv_group_bin_0022 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x170000, vm_attribs=0x3
  1732.  
  1733. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[384] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1734.  
  1735. [email protected]:1373 Mapping frame_fserv_group_bin_0023 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x180000, vm_attribs=0x3
  1736.  
  1737. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[400] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1738.  
  1739. [email protected]:1373 Mapping frame_fserv_group_bin_0024 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x190000, vm_attribs=0x3
  1740.  
  1741. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[416] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1742.  
  1743. [email protected]:1373 Mapping frame_fserv_group_bin_0025 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a0000, vm_attribs=0x3
  1744.  
  1745. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[432] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1746.  
  1747. [email protected]:1373 Mapping frame_fserv_group_bin_0026 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1b0000, vm_attribs=0x3
  1748.  
  1749. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[448] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1750.  
  1751. [email protected]:1373 Mapping frame_fserv_group_bin_0027 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c0000, vm_attribs=0x3
  1752.  
  1753. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[464] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1754.  
  1755. [email protected]:1373 Mapping frame_fserv_group_bin_0028 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1d0000, vm_attribs=0x3
  1756.  
  1757. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[480] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1758.  
  1759. [email protected]:1373 Mapping frame_fserv_group_bin_0029 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e0000, vm_attribs=0x3
  1760.  
  1761. [email protected]:1565 Mapping pt_fserv_group_bin_0000 into fserv_group_bin_pd[496] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1762.  
  1763. [email protected]:1373 Mapping frame_fserv_group_bin_0030 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1f0000, vm_attribs=0x3
  1764.  
  1765. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[0] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1766.  
  1767. [email protected]:1373 Mapping frame_fserv_group_bin_0051 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000, vm_attribs=0x3
  1768.  
  1769. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1770.  
  1771. [email protected]:1373 Mapping frame_fserv_group_bin_0052 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a10000, vm_attribs=0x3
  1772.  
  1773. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1774.  
  1775. [email protected]:1373 Mapping frame_fserv_group_bin_0053 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a20000, vm_attribs=0x3
  1776.  
  1777. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1778.  
  1779. [email protected]:1373 Mapping frame_fserv_group_bin_0054 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a30000, vm_attribs=0x3
  1780.  
  1781. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1782.  
  1783. [email protected]:1373 Mapping frame_fserv_group_bin_0055 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a40000, vm_attribs=0x3
  1784.  
  1785. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1786.  
  1787. [email protected]:1373 Mapping frame_fserv_group_bin_0056 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a50000, vm_attribs=0x3
  1788.  
  1789. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1790.  
  1791. [email protected]:1373 Mapping frame_fserv_group_bin_0057 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a60000, vm_attribs=0x3
  1792.  
  1793. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1794.  
  1795. [email protected]:1373 Mapping frame_fserv_group_bin_0058 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a70000, vm_attribs=0x3
  1796.  
  1797. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1798.  
  1799. [email protected]:1373 Mapping frame_fserv_group_bin_0059 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a80000, vm_attribs=0x3
  1800.  
  1801. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1802.  
  1803. [email protected]:1373 Mapping frame_fserv_group_bin_0060 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2a90000, vm_attribs=0x3
  1804.  
  1805. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1806.  
  1807. [email protected]:1373 Mapping frame_fserv_group_bin_0061 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2aa0000, vm_attribs=0x3
  1808.  
  1809. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1810.  
  1811. [email protected]:1373 Mapping frame_fserv_group_bin_0062 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2ab0000, vm_attribs=0x3
  1812.  
  1813. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1814.  
  1815. [email protected]:1373 Mapping frame_fserv_group_bin_0063 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2ac0000, vm_attribs=0x3
  1816.  
  1817. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1818.  
  1819. [email protected]:1373 Mapping frame_fserv_group_bin_0064 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2ad0000, vm_attribs=0x3
  1820.  
  1821. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1822.  
  1823. [email protected]:1373 Mapping frame_fserv_group_bin_0065 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2ae0000, vm_attribs=0x3
  1824.  
  1825. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[240] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1826.  
  1827. [email protected]:1373 Mapping frame_fserv_group_bin_0066 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2af0000, vm_attribs=0x3
  1828.  
  1829. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[256] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1830.  
  1831. [email protected]:1373 Mapping frame_fserv_group_bin_0067 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b00000, vm_attribs=0x3
  1832.  
  1833. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[272] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1834.  
  1835. [email protected]:1373 Mapping frame_fserv_group_bin_0068 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b10000, vm_attribs=0x3
  1836.  
  1837. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[288] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1838.  
  1839. [email protected]:1373 Mapping frame_fserv_group_bin_0069 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b20000, vm_attribs=0x3
  1840.  
  1841. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[304] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1842.  
  1843. [email protected]:1373 Mapping frame_fserv_group_bin_0070 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b30000, vm_attribs=0x3
  1844.  
  1845. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[320] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1846.  
  1847. [email protected]:1373 Mapping frame_fserv_group_bin_0071 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b40000, vm_attribs=0x3
  1848.  
  1849. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[336] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1850.  
  1851. [email protected]:1373 Mapping frame_fserv_group_bin_0072 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b50000, vm_attribs=0x3
  1852.  
  1853. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[352] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1854.  
  1855. [email protected]:1373 Mapping frame_fserv_group_bin_0073 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b60000, vm_attribs=0x3
  1856.  
  1857. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[368] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1858.  
  1859. [email protected]:1373 Mapping frame_fserv_group_bin_0074 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b70000, vm_attribs=0x3
  1860.  
  1861. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[384] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1862.  
  1863. [email protected]:1373 Mapping frame_fserv_group_bin_0075 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b80000, vm_attribs=0x3
  1864.  
  1865. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[400] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1866.  
  1867. [email protected]:1373 Mapping frame_fserv_group_bin_0076 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2b90000, vm_attribs=0x3
  1868.  
  1869. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[416] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1870.  
  1871. [email protected]:1373 Mapping frame_fserv_group_bin_0077 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2ba0000, vm_attribs=0x3
  1872.  
  1873. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[432] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1874.  
  1875. [email protected]:1373 Mapping frame_fserv_group_bin_0078 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bb0000, vm_attribs=0x3
  1876.  
  1877. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[448] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1878.  
  1879. [email protected]:1373 Mapping frame_fserv_group_bin_0079 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bc0000, vm_attribs=0x3
  1880.  
  1881. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[464] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1882.  
  1883. [email protected]:1373 Mapping frame_fserv_group_bin_0080 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd0000, vm_attribs=0x3
  1884.  
  1885. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[465] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1886.  
  1887. [email protected]:1373 Mapping frame_fserv_group_bin_0081 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd1000, vm_attribs=0x3
  1888.  
  1889. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[466] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1890.  
  1891. [email protected]:1373 Mapping frame_fserv_group_bin_0082 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd2000, vm_attribs=0x3
  1892.  
  1893. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[467] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1894.  
  1895. [email protected]:1373 Mapping frame_fserv_group_bin_0083 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd3000, vm_attribs=0x3
  1896.  
  1897. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[468] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1898.  
  1899. [email protected]:1373 Mapping frame_fserv_group_bin_0084 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd4000, vm_attribs=0x3
  1900.  
  1901. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[469] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1902.  
  1903. [email protected]:1373 Mapping frame_fserv_group_bin_0085 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd5000, vm_attribs=0x3
  1904.  
  1905. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[470] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1906.  
  1907. [email protected]:1373 Mapping frame_fserv_group_bin_0086 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd6000, vm_attribs=0x3
  1908.  
  1909. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[471] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1910.  
  1911. [email protected]:1373 Mapping frame_fserv_group_bin_0087 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bd7000, vm_attribs=0x3
  1912.  
  1913. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[473] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1914.  
  1915. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_control_0_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bd9000, vm_attribs=0x3
  1916.  
  1917. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[474] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1918.  
  1919. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_control_1_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bda000, vm_attribs=0x3
  1920.  
  1921. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[475] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1922.  
  1923. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_control_2_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bdb000, vm_attribs=0x3
  1924.  
  1925. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[476] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1926.  
  1927. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_control_3_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bdc000, vm_attribs=0x3
  1928.  
  1929. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[479] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1930.  
  1931. [email protected]:1373 Mapping fserv_frame__camkes_ipc_buffer_fserv_0_control into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bdf000, vm_attribs=0x3
  1932.  
  1933. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[482] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1934.  
  1935. [email protected]:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_0_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2be2000, vm_attribs=0x3
  1936.  
  1937. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[483] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1938.  
  1939. [email protected]:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_1_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2be3000, vm_attribs=0x3
  1940.  
  1941. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[484] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1942.  
  1943. [email protected]:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_2_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2be4000, vm_attribs=0x3
  1944.  
  1945. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[485] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1946.  
  1947. [email protected]:1373 Mapping stack__camkes_stack_fserv_fs_ctrl_0000_3_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2be5000, vm_attribs=0x3
  1948.  
  1949. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[488] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1950.  
  1951. [email protected]:1373 Mapping fserv_frame__camkes_ipc_buffer_fserv_fs_ctrl_0000 into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2be8000, vm_attribs=0x3
  1952.  
  1953. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[491] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1954.  
  1955. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_0_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2beb000, vm_attribs=0x3
  1956.  
  1957. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[492] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1958.  
  1959. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_1_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bec000, vm_attribs=0x3
  1960.  
  1961. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[493] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1962.  
  1963. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_2_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bed000, vm_attribs=0x3
  1964.  
  1965. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[494] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1966.  
  1967. [email protected]:1373 Mapping stack__camkes_stack_fserv_0_fault_handler_3_fserv_obj into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bee000, vm_attribs=0x3
  1968.  
  1969. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[497] with rights={G: 0, R: 1, W: 1}, vaddr=0x2a00000
  1970.  
  1971. [email protected]:1373 Mapping fserv_frame__camkes_ipc_buffer_fserv_0_fault_handler into fserv_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x2bf1000, vm_attribs=0x3
  1972.  
  1973. [email protected]:1565 Mapping pt_fserv_group_bin_0052 into fserv_group_bin_pd[499] with rights={G: 1, R: 1, W: 1}, vaddr=0x2a00000
  1974.  
  1975. [email protected]:1373 Mapping fs0_1_data_0_obj into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2bf3000, vm_attribs=0x3
  1976.  
  1977. [email protected]:1632 Initialising page tables in vm0_group_bin_pd...
  1978.  
  1979. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1980.  
  1981. [email protected]:1373 Mapping frame_vm0_group_bin_0000 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x10000, vm_attribs=0x3
  1982.  
  1983. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1984.  
  1985. [email protected]:1373 Mapping frame_vm0_group_bin_0001 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x20000, vm_attribs=0x3
  1986.  
  1987. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1988.  
  1989. [email protected]:1373 Mapping frame_vm0_group_bin_0002 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x30000, vm_attribs=0x3
  1990.  
  1991. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1992.  
  1993. [email protected]:1373 Mapping frame_vm0_group_bin_0003 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x40000, vm_attribs=0x3
  1994.  
  1995. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  1996.  
  1997. [email protected]:1373 Mapping frame_vm0_group_bin_0004 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x50000, vm_attribs=0x3
  1998.  
  1999. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2000.  
  2001. [email protected]:1373 Mapping frame_vm0_group_bin_0005 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x60000, vm_attribs=0x3
  2002.  
  2003. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2004.  
  2005. [email protected]:1373 Mapping frame_vm0_group_bin_0006 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x70000, vm_attribs=0x3
  2006.  
  2007. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2008.  
  2009. [email protected]:1373 Mapping frame_vm0_group_bin_0007 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x80000, vm_attribs=0x3
  2010.  
  2011. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2012.  
  2013. [email protected]:1373 Mapping frame_vm0_group_bin_0008 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x90000, vm_attribs=0x3
  2014.  
  2015. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2016.  
  2017. [email protected]:1373 Mapping frame_vm0_group_bin_0009 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xa0000, vm_attribs=0x3
  2018.  
  2019. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2020.  
  2021. [email protected]:1373 Mapping frame_vm0_group_bin_0010 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xb0000, vm_attribs=0x3
  2022.  
  2023. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2024.  
  2025. [email protected]:1373 Mapping frame_vm0_group_bin_0011 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xc0000, vm_attribs=0x3
  2026.  
  2027. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2028.  
  2029. [email protected]:1373 Mapping frame_vm0_group_bin_0012 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xd0000, vm_attribs=0x3
  2030.  
  2031. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2032.  
  2033. [email protected]:1373 Mapping frame_vm0_group_bin_0013 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xe0000, vm_attribs=0x3
  2034.  
  2035. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[240] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2036.  
  2037. [email protected]:1373 Mapping frame_vm0_group_bin_0014 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0xf0000, vm_attribs=0x3
  2038.  
  2039. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[256] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2040.  
  2041. [email protected]:1373 Mapping frame_vm0_group_bin_0015 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x100000, vm_attribs=0x3
  2042.  
  2043. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[272] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2044.  
  2045. [email protected]:1373 Mapping frame_vm0_group_bin_0016 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x110000, vm_attribs=0x3
  2046.  
  2047. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[288] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2048.  
  2049. [email protected]:1373 Mapping frame_vm0_group_bin_0017 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x120000, vm_attribs=0x3
  2050.  
  2051. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[304] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2052.  
  2053. [email protected]:1373 Mapping frame_vm0_group_bin_0018 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x130000, vm_attribs=0x3
  2054.  
  2055. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[320] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2056.  
  2057. [email protected]:1373 Mapping frame_vm0_group_bin_0019 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x140000, vm_attribs=0x3
  2058.  
  2059. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[336] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2060.  
  2061. [email protected]:1373 Mapping frame_vm0_group_bin_0020 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x150000, vm_attribs=0x3
  2062.  
  2063. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[352] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2064.  
  2065. [email protected]:1373 Mapping frame_vm0_group_bin_0021 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x160000, vm_attribs=0x3
  2066.  
  2067. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[368] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2068.  
  2069. [email protected]:1373 Mapping frame_vm0_group_bin_0022 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x170000, vm_attribs=0x3
  2070.  
  2071. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[384] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2072.  
  2073. [email protected]:1373 Mapping frame_vm0_group_bin_0023 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x180000, vm_attribs=0x3
  2074.  
  2075. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[400] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2076.  
  2077. [email protected]:1373 Mapping frame_vm0_group_bin_0024 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x190000, vm_attribs=0x3
  2078.  
  2079. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[416] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2080.  
  2081. [email protected]:1373 Mapping frame_vm0_group_bin_0025 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1a0000, vm_attribs=0x3
  2082.  
  2083. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[432] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2084.  
  2085. [email protected]:1373 Mapping frame_vm0_group_bin_0026 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1b0000, vm_attribs=0x3
  2086.  
  2087. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[448] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2088.  
  2089. [email protected]:1373 Mapping frame_vm0_group_bin_0027 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1c0000, vm_attribs=0x3
  2090.  
  2091. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[464] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2092.  
  2093. [email protected]:1373 Mapping frame_vm0_group_bin_0028 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1d0000, vm_attribs=0x3
  2094.  
  2095. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[480] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2096.  
  2097. [email protected]:1373 Mapping frame_vm0_group_bin_0029 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1e0000, vm_attribs=0x3
  2098.  
  2099. [email protected]:1565 Mapping pt_vm0_group_bin_0000 into vm0_group_bin_pd[496] with rights={G: 1, R: 1, W: 1}, vaddr=0x0
  2100.  
  2101. [email protected]:1373 Mapping frame_vm0_group_bin_0030 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x1f0000, vm_attribs=0x3
  2102.  
  2103. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[0] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
  2104.  
  2105. [email protected]:1373 Mapping frame_vm0_group_bin_0056 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000, vm_attribs=0x3
  2106.  
  2107. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
  2108.  
  2109. [email protected]:1373 Mapping frame_vm0_group_bin_0057 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5210000, vm_attribs=0x3
  2110.  
  2111. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[17] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
  2112.  
  2113. [email protected]:1373 Mapping frame_vm0_group_bin_0058 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5211000, vm_attribs=0x3
  2114.  
  2115. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[18] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
  2116.  
  2117. [email protected]:1373 Mapping frame_vm0_group_bin_0059 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5212000, vm_attribs=0x3
  2118.  
  2119. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[19] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
  2120.  
  2121. [email protected]:1373 Mapping frame_vm0_group_bin_0060 into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x5213000, vm_attribs=0x3
  2122.  
  2123. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[20] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2124.  
  2125. [email protected]:1373 Mapping dtb_symbol_vm0_0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5214000, vm_attribs=0x3
  2126.  
  2127. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[21] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2128.  
  2129. [email protected]:1373 Mapping dtb_symbol_vm0_1_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5215000, vm_attribs=0x3
  2130.  
  2131. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[22] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2132.  
  2133. [email protected]:1373 Mapping dtb_symbol_vm0_2_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5216000, vm_attribs=0x3
  2134.  
  2135. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[23] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2136.  
  2137. [email protected]:1373 Mapping dtb_symbol_vm0_3_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5217000, vm_attribs=0x3
  2138.  
  2139. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[24] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2140.  
  2141. [email protected]:1373 Mapping dtb_symbol_vm0_4_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5218000, vm_attribs=0x3
  2142.  
  2143. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[25] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2144.  
  2145. [email protected]:1373 Mapping dtb_symbol_vm0_5_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5219000, vm_attribs=0x3
  2146.  
  2147. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[26] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2148.  
  2149. [email protected]:1373 Mapping dtb_symbol_vm0_6_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521a000, vm_attribs=0x3
  2150.  
  2151. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[27] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2152.  
  2153. [email protected]:1373 Mapping dtb_symbol_vm0_7_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521b000, vm_attribs=0x3
  2154.  
  2155. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[28] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2156.  
  2157. [email protected]:1373 Mapping dtb_symbol_vm0_8_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521c000, vm_attribs=0x3
  2158.  
  2159. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[29] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2160.  
  2161. [email protected]:1373 Mapping dtb_symbol_vm0_9_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521d000, vm_attribs=0x3
  2162.  
  2163. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[30] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2164.  
  2165. [email protected]:1373 Mapping dtb_symbol_vm0_10_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521e000, vm_attribs=0x3
  2166.  
  2167. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[31] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2168.  
  2169. [email protected]:1373 Mapping dtb_symbol_vm0_11_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x521f000, vm_attribs=0x3
  2170.  
  2171. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[32] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2172.  
  2173. [email protected]:1373 Mapping dtb_symbol_vm0_12_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5220000, vm_attribs=0x3
  2174.  
  2175. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[33] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2176.  
  2177. [email protected]:1373 Mapping dtb_symbol_vm0_13_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5221000, vm_attribs=0x3
  2178.  
  2179. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[34] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2180.  
  2181. [email protected]:1373 Mapping dtb_symbol_vm0_14_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5222000, vm_attribs=0x3
  2182.  
  2183. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[35] with rights={G: 0, R: 1, W: 0}, vaddr=0x5200000
  2184.  
  2185. [email protected]:1373 Mapping dtb_symbol_vm0_15_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 0}, vaddr=0x5223000, vm_attribs=0x3
  2186.  
  2187. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[37] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2188.  
  2189. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_control_0_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5225000, vm_attribs=0x3
  2190.  
  2191. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[38] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2192.  
  2193. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_control_1_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5226000, vm_attribs=0x3
  2194.  
  2195. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[39] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2196.  
  2197. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_control_2_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5227000, vm_attribs=0x3
  2198.  
  2199. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[40] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2200.  
  2201. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_control_3_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5228000, vm_attribs=0x3
  2202.  
  2203. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[43] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2204.  
  2205. [email protected]:1373 Mapping vm0_frame__camkes_ipc_buffer_vm0_0_control into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x522b000, vm_attribs=0x3
  2206.  
  2207. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[46] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2208.  
  2209. [email protected]:1373 Mapping stack__camkes_stack_vm0_dtb_0000_0_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x522e000, vm_attribs=0x3
  2210.  
  2211. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[47] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2212.  
  2213. [email protected]:1373 Mapping stack__camkes_stack_vm0_dtb_0000_1_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x522f000, vm_attribs=0x3
  2214.  
  2215. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[48] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2216.  
  2217. [email protected]:1373 Mapping stack__camkes_stack_vm0_dtb_0000_2_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5230000, vm_attribs=0x3
  2218.  
  2219. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[49] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2220.  
  2221. [email protected]:1373 Mapping stack__camkes_stack_vm0_dtb_0000_3_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5231000, vm_attribs=0x3
  2222.  
  2223. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[52] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2224.  
  2225. [email protected]:1373 Mapping vm0_frame__camkes_ipc_buffer_vm0_dtb_0000 into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5234000, vm_attribs=0x3
  2226.  
  2227. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[55] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2228.  
  2229. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_0_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5237000, vm_attribs=0x3
  2230.  
  2231. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[56] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2232.  
  2233. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_1_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5238000, vm_attribs=0x3
  2234.  
  2235. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[57] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2236.  
  2237. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_2_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x5239000, vm_attribs=0x3
  2238.  
  2239. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[58] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2240.  
  2241. [email protected]:1373 Mapping stack__camkes_stack_vm0_0_fault_handler_3_vm0_obj into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x523a000, vm_attribs=0x3
  2242.  
  2243. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[61] with rights={G: 0, R: 1, W: 1}, vaddr=0x5200000
  2244.  
  2245. [email protected]:1373 Mapping vm0_frame__camkes_ipc_buffer_vm0_0_fault_handler into vm0_group_bin_pd with rights={G: 0, R: 1, W: 1}, vaddr=0x523d000, vm_attribs=0x3
  2246.  
  2247. [email protected]:1565 Mapping pt_vm0_group_bin_0057 into vm0_group_bin_pd[63] with rights={G: 1, R: 1, W: 1}, vaddr=0x5200000
  2248.  
  2249. [email protected]:1373 Mapping fs0_1_data_0_obj into vm0_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x523f000, vm_attribs=0x3
  2250.  
  2251. [email protected]:1947 Initialising SCs
  2252. [email protected]:1273 Initialising TCBs...
  2253.  
  2254. [email protected]:1276 Initialising fserv_fserv_0_control_tcb...
  2255.  
  2256. [email protected]:1279 Configuring fserv_fserv_0_control_tcb...
  2257.  
  2258. [email protected]:1247 Setting up _start(
  2259. [email protected]:1249 0x1
  2260. [email protected]:1254 )...
  2261.  
  2262. [email protected]:1255 pc = 0x1901c
  2263.  
  2264. [email protected]:1256 sp = 0x2bdd000
  2265.  
  2266. [email protected]:1266 Assigning thread to domain 0...
  2267.  
  2268. [email protected]:1276 Initialising fserv_fserv_0_fault_handler_tcb...
  2269.  
  2270. [email protected]:1279 Configuring fserv_fserv_0_fault_handler_tcb...
  2271.  
  2272. [email protected]:1247 Setting up _start(
  2273. [email protected]:1249 0x5
  2274. [email protected]:1254 )...
  2275.  
  2276. [email protected]:1255 pc = 0x1901c
  2277.  
  2278. [email protected]:1256 sp = 0x2bef000
  2279.  
  2280. [email protected]:1266 Assigning thread to domain 0...
  2281.  
  2282. [email protected]:1276 Initialising fserv_fserv_fs_ctrl_0000_tcb...
  2283.  
  2284. [email protected]:1279 Configuring fserv_fserv_fs_ctrl_0000_tcb...
  2285.  
  2286. [email protected]:1247 Setting up _start(
  2287. [email protected]:1249 0x3
  2288. [email protected]:1254 )...
  2289.  
  2290. [email protected]:1255 pc = 0x1901c
  2291.  
  2292. [email protected]:1256 sp = 0x2be6000
  2293.  
  2294. [email protected]:1266 Assigning thread to domain 0...
  2295.  
  2296. [email protected]:1276 Initialising vm0_vm0_0_control_tcb...
  2297.  
  2298. [email protected]:1279 Configuring vm0_vm0_0_control_tcb...
  2299.  
  2300. [email protected]:1247 Setting up _start(
  2301. [email protected]:1249 0x2
  2302. [email protected]:1254 )...
  2303.  
  2304. [email protected]:1255 pc = 0x252f4
  2305.  
  2306. [email protected]:1256 sp = 0x5229000
  2307.  
  2308. [email protected]:1266 Assigning thread to domain 0...
  2309.  
  2310. [email protected]:1276 Initialising vm0_vm0_0_fault_handler_tcb...
  2311.  
  2312. [email protected]:1279 Configuring vm0_vm0_0_fault_handler_tcb...
  2313.  
  2314. [email protected]:1247 Setting up _start(
  2315. [email protected]:1249 0x6
  2316. [email protected]:1254 )...
  2317.  
  2318. [email protected]:1255 pc = 0x252f4
  2319.  
  2320. [email protected]:1256 sp = 0x523b000
  2321.  
  2322. [email protected]:1266 Assigning thread to domain 0...
  2323.  
  2324. [email protected]:1276 Initialising vm0_vm0_dtb_0000_tcb...
  2325.  
  2326. [email protected]:1279 Configuring vm0_vm0_dtb_0000_tcb...
  2327.  
  2328. [email protected]:1247 Setting up _start(
  2329. [email protected]:1249 0x4
  2330. [email protected]:1254 )...
  2331.  
  2332. [email protected]:1255 pc = 0x252f4
  2333.  
  2334. [email protected]:1256 sp = 0x5232000
  2335.  
  2336. [email protected]:1266 Assigning thread to domain 0...
  2337.  
  2338. [email protected]:1791 Copying Caps...
  2339.  
  2340. [email protected]:1794 Copying into vm0_cnode...
  2341.  
  2342. [email protected]:1783 Populating slot 1 with cap to vm0_vm_sem...
  2343.  
  2344. [email protected]:1761 minting (with badge/guard 0)...
  2345.  
  2346. [email protected]:1783 Populating slot 2 with cap to vm0_vm0_0_control_tcb...
  2347.  
  2348. [email protected]:1761 minting (with badge/guard 0)...
  2349.  
  2350. [email protected]:1783 Populating slot 3 with cap to vm0_fault_ep...
  2351.  
  2352. [email protected]:1761 minting (with badge/guard 0x2)...
  2353.  
  2354. [email protected]:1783 Populating slot 4 with cap to vm0_vm0_dtb_0000_tcb...
  2355.  
  2356. [email protected]:1761 minting (with badge/guard 0)...
  2357.  
  2358. [email protected]:1783 Populating slot 5 with cap to vm0_fault_ep...
  2359.  
  2360. [email protected]:1761 minting (with badge/guard 0x4)...
  2361.  
  2362. [email protected]:1783 Populating slot 6 with cap to vm0_vm0_0_fault_handler_tcb...
  2363.  
  2364. [email protected]:1761 minting (with badge/guard 0)...
  2365.  
  2366. [email protected]:1783 Populating slot 7 with cap to vm0_fault_ep...
  2367.  
  2368. [email protected]:1761 minting (with badge/guard 0)...
  2369.  
  2370. [email protected]:1783 Populating slot 8 with cap to vm0_pre_init_ep...
  2371.  
  2372. [email protected]:1761 minting (with badge/guard 0)...
  2373.  
  2374. [email protected]:1783 Populating slot 9 with cap to vm0_interface_init_ep...
  2375.  
  2376. [email protected]:1761 minting (with badge/guard 0)...
  2377.  
  2378. [email protected]:1783 Populating slot 10 with cap to vm0_post_init_ep...
  2379.  
  2380. [email protected]:1761 minting (with badge/guard 0)...
  2381.  
  2382. [email protected]:1783 Populating slot 11 with cap to fs0_ep...
  2383.  
  2384. [email protected]:1761 minting (with badge/guard 0x1)...
  2385.  
  2386. [email protected]:1783 Populating slot 12 with cap to notify_ready_vm0_vm0_global_endpoint...
  2387.  
  2388. [email protected]:1761 minting (with badge/guard 0x8000002)...
  2389.  
  2390. [email protected]:1783 Populating slot 13 with cap to notify_ready_vm0_vm0_global_endpoint...
  2391.  
  2392. [email protected]:1761 minting (with badge/guard 0)...
  2393.  
  2394. [email protected]:1783 Populating slot 14 with cap to vm_dtb_dtb_untyped_cap_0x2073000...
  2395.  
  2396. [email protected]:1761 minting (with badge/guard 0)...
  2397.  
  2398. [email protected]:1783 Populating slot 15 with cap to vm_dtb_dtb_untyped_cap_0x3810000...
  2399.  
  2400. [email protected]:1761 minting (with badge/guard 0)...
  2401.  
  2402. [email protected]:1783 Populating slot 16 with cap to vm_dtb_dtb_untyped_cap_0x3830000...
  2403.  
  2404. [email protected]:1761 minting (with badge/guard 0)...
  2405.  
  2406. [email protected]:1783 Populating slot 17 with cap to vm_dtb_dtb_untyped_cap_0x3860000...
  2407.  
  2408. [email protected]:1761 minting (with badge/guard 0)...
  2409.  
  2410. [email protected]:1779 Populating slot 18 with cap to IRQ 79, name vm_dtb_dtb_irq_79...
  2411.  
  2412. [email protected]:1761 minting (with badge/guard 0)...
  2413.  
  2414. [email protected]:1783 Populating slot 19 with cap to vm_dtb_dtb_untyped_cap_0x3880000...
  2415.  
  2416. [email protected]:1761 minting (with badge/guard 0)...
  2417.  
  2418. [email protected]:1779 Populating slot 20 with cap to IRQ 142, name vm_dtb_dtb_irq_142...
  2419.  
  2420. [email protected]:1761 minting (with badge/guard 0)...
  2421.  
  2422. [email protected]:1783 Populating slot 21 with cap to vm_dtb_dtb_untyped_cap_0x10000000...
  2423.  
  2424. [email protected]:1761 minting (with badge/guard 0)...
  2425.  
  2426. [email protected]:1783 Populating slot 22 with cap to vm_dtb_dtb_untyped_cap_0x10010000...
  2427.  
  2428. [email protected]:1761 minting (with badge/guard 0)...
  2429.  
  2430. [email protected]:1783 Populating slot 23 with cap to vm_dtb_dtb_untyped_cap_0x10020000...
  2431.  
  2432. [email protected]:1761 minting (with badge/guard 0)...
  2433.  
  2434. [email protected]:1783 Populating slot 24 with cap to vm_dtb_dtb_untyped_cap_0x10040000...
  2435.  
  2436. [email protected]:1761 minting (with badge/guard 0)...
  2437.  
  2438. [email protected]:1783 Populating slot 25 with cap to vm_dtb_dtb_untyped_cap_0x10044000...
  2439.  
  2440. [email protected]:1761 minting (with badge/guard 0)...
  2441.  
  2442. [email protected]:1783 Populating slot 26 with cap to vm_dtb_dtb_untyped_cap_0x10050000...
  2443.  
  2444. [email protected]:1761 minting (with badge/guard 0)...
  2445.  
  2446. [email protected]:1783 Populating slot 27 with cap to vm_dtb_dtb_untyped_cap_0x10054000...
  2447.  
  2448. [email protected]:1761 minting (with badge/guard 0)...
  2449.  
  2450. [email protected]:1783 Populating slot 28 with cap to vm_dtb_dtb_untyped_cap_0x10060000...
  2451.  
  2452. [email protected]:1761 minting (with badge/guard 0)...
  2453.  
  2454. [email protected]:1779 Populating slot 29 with cap to IRQ 97, name vm_dtb_dtb_irq_97...
  2455.  
  2456. [email protected]:1761 minting (with badge/guard 0)...
  2457.  
  2458. [email protected]:1783 Populating slot 30 with cap to vm_dtb_dtb_untyped_cap_0x10064000...
  2459.  
  2460. [email protected]:1761 minting (with badge/guard 0)...
  2461.  
  2462. [email protected]:1779 Populating slot 31 with cap to IRQ 215, name vm_dtb_dtb_irq_215...
  2463.  
  2464. [email protected]:1761 minting (with badge/guard 0)...
  2465.  
  2466. [email protected]:1783 Populating slot 32 with cap to vm_dtb_dtb_untyped_cap_0x10068000...
  2467.  
  2468. [email protected]:1761 minting (with badge/guard 0)...
  2469.  
  2470. [email protected]:1783 Populating slot 33 with cap to vm_dtb_dtb_untyped_cap_0x1006c000...
  2471.  
  2472. [email protected]:1761 minting (with badge/guard 0)...
  2473.  
  2474. [email protected]:1779 Populating slot 34 with cap to IRQ 216, name vm_dtb_dtb_irq_216...
  2475.  
  2476. [email protected]:1761 minting (with badge/guard 0)...
  2477.  
  2478. [email protected]:1783 Populating slot 35 with cap to vm_dtb_dtb_untyped_cap_0x100a0000...
  2479.  
  2480. [email protected]:1761 minting (with badge/guard 0)...
  2481.  
  2482. [email protected]:1779 Populating slot 36 with cap to IRQ 217, name vm_dtb_dtb_irq_217...
  2483.  
  2484. [email protected]:1761 minting (with badge/guard 0)...
  2485.  
  2486. [email protected]:1783 Populating slot 37 with cap to vm_dtb_dtb_untyped_cap_0x101d0000...
  2487.  
  2488. [email protected]:1761 minting (with badge/guard 0)...
  2489.  
  2490. [email protected]:1779 Populating slot 38 with cap to IRQ 74, name vm_dtb_dtb_irq_74...
  2491.  
  2492. [email protected]:1761 minting (with badge/guard 0)...
  2493.  
  2494. [email protected]:1783 Populating slot 39 with cap to vm_dtb_dtb_untyped_cap_0x101e0000...
  2495.  
  2496. [email protected]:1761 minting (with badge/guard 0)...
  2497.  
  2498. [email protected]:1779 Populating slot 40 with cap to IRQ 75, name vm_dtb_dtb_irq_75...
  2499.  
  2500. [email protected]:1761 minting (with badge/guard 0)...
  2501.  
  2502. [email protected]:1779 Populating slot 41 with cap to IRQ 76, name vm_dtb_dtb_irq_76...
  2503.  
  2504. [email protected]:1761 minting (with badge/guard 0)...
  2505.  
  2506. [email protected]:1783 Populating slot 42 with cap to vm_dtb_dtb_untyped_cap_0x10440000...
  2507.  
  2508. [email protected]:1761 minting (with badge/guard 0)...
  2509.  
  2510. [email protected]:1779 Populating slot 43 with cap to IRQ 32, name vm_dtb_dtb_irq_32...
  2511.  
  2512. [email protected]:1761 minting (with badge/guard 0)...
  2513.  
  2514. [email protected]:1779 Populating slot 44 with cap to IRQ 33, name vm_dtb_dtb_irq_33...
  2515.  
  2516. [email protected]:1761 minting (with badge/guard 0)...
  2517.  
  2518. [email protected]:1779 Populating slot 45 with cap to IRQ 34, name vm_dtb_dtb_irq_34...
  2519.  
  2520. [email protected]:1761 minting (with badge/guard 0)...
  2521.  
  2522. [email protected]:1779 Populating slot 46 with cap to IRQ 35, name vm_dtb_dtb_irq_35...
  2523.  
  2524. [email protected]:1761 minting (with badge/guard 0)...
  2525.  
  2526. [email protected]:1779 Populating slot 47 with cap to IRQ 36, name vm_dtb_dtb_irq_36...
  2527.  
  2528. [email protected]:1761 minting (with badge/guard 0)...
  2529.  
  2530. [email protected]:1779 Populating slot 48 with cap to IRQ 37, name vm_dtb_dtb_irq_37...
  2531.  
  2532. [email protected]:1761 minting (with badge/guard 0)...
  2533.  
  2534. [email protected]:1779 Populating slot 49 with cap to IRQ 38, name vm_dtb_dtb_irq_38...
  2535.  
  2536. [email protected]:1761 minting (with badge/guard 0)...
  2537.  
  2538. [email protected]:1779 Populating slot 50 with cap to IRQ 39, name vm_dtb_dtb_irq_39...
  2539.  
  2540. [email protected]:1761 minting (with badge/guard 0)...
  2541.  
  2542. [email protected]:1779 Populating slot 51 with cap to IRQ 40, name vm_dtb_dtb_irq_40...
  2543.  
  2544. [email protected]:1761 minting (with badge/guard 0)...
  2545.  
  2546. [email protected]:1779 Populating slot 52 with cap to IRQ 41, name vm_dtb_dtb_irq_41...
  2547.  
  2548. [email protected]:1761 minting (with badge/guard 0)...
  2549.  
  2550. [email protected]:1779 Populating slot 53 with cap to IRQ 42, name vm_dtb_dtb_irq_42...
  2551.  
  2552. [email protected]:1761 minting (with badge/guard 0)...
  2553.  
  2554. [email protected]:1779 Populating slot 54 with cap to IRQ 43, name vm_dtb_dtb_irq_43...
  2555.  
  2556. [email protected]:1761 minting (with badge/guard 0)...
  2557.  
  2558. [email protected]:1779 Populating slot 55 with cap to IRQ 44, name vm_dtb_dtb_irq_44...
  2559.  
  2560. [email protected]:1761 minting (with badge/guard 0)...
  2561.  
  2562. [email protected]:1779 Populating slot 56 with cap to IRQ 45, name vm_dtb_dtb_irq_45...
  2563.  
  2564. [email protected]:1761 minting (with badge/guard 0)...
  2565.  
  2566. [email protected]:1779 Populating slot 57 with cap to IRQ 46, name vm_dtb_dtb_irq_46...
  2567.  
  2568. [email protected]:1761 minting (with badge/guard 0)...
  2569.  
  2570. [email protected]:1779 Populating slot 58 with cap to IRQ 47, name vm_dtb_dtb_irq_47...
  2571.  
  2572. [email protected]:1761 minting (with badge/guard 0)...
  2573.  
  2574. [email protected]:1779 Populating slot 59 with cap to IRQ 48, name vm_dtb_dtb_irq_48...
  2575.  
  2576. [email protected]:1761 minting (with badge/guard 0)...
  2577.  
  2578. [email protected]:1779 Populating slot 60 with cap to IRQ 49, name vm_dtb_dtb_irq_49...
  2579.  
  2580. [email protected]:1761 minting (with badge/guard 0)...
  2581.  
  2582. [email protected]:1779 Populating slot 61 with cap to IRQ 50, name vm_dtb_dtb_irq_50...
  2583.  
  2584. [email protected]:1761 minting (with badge/guard 0)...
  2585.  
  2586. [email protected]:1779 Populating slot 62 with cap to IRQ 51, name vm_dtb_dtb_irq_51...
  2587.  
  2588. [email protected]:1761 minting (with badge/guard 0)...
  2589.  
  2590. [email protected]:1779 Populating slot 63 with cap to IRQ 52, name vm_dtb_dtb_irq_52...
  2591.  
  2592. [email protected]:1761 minting (with badge/guard 0)...
  2593.  
  2594. [email protected]:1779 Populating slot 64 with cap to IRQ 53, name vm_dtb_dtb_irq_53...
  2595.  
  2596. [email protected]:1761 minting (with badge/guard 0)...
  2597.  
  2598. [email protected]:1779 Populating slot 65 with cap to IRQ 54, name vm_dtb_dtb_irq_54...
  2599.  
  2600. [email protected]:1761 minting (with badge/guard 0)...
  2601.  
  2602. [email protected]:1779 Populating slot 66 with cap to IRQ 55, name vm_dtb_dtb_irq_55...
  2603.  
  2604. [email protected]:1761 minting (with badge/guard 0)...
  2605.  
  2606. [email protected]:1779 Populating slot 67 with cap to IRQ 56, name vm_dtb_dtb_irq_56...
  2607.  
  2608. [email protected]:1761 minting (with badge/guard 0)...
  2609.  
  2610. [email protected]:1779 Populating slot 68 with cap to IRQ 57, name vm_dtb_dtb_irq_57...
  2611.  
  2612. [email protected]:1761 minting (with badge/guard 0)...
  2613.  
  2614. [email protected]:1779 Populating slot 69 with cap to IRQ 58, name vm_dtb_dtb_irq_58...
  2615.  
  2616. [email protected]:1761 minting (with badge/guard 0)...
  2617.  
  2618. [email protected]:1779 Populating slot 70 with cap to IRQ 59, name vm_dtb_dtb_irq_59...
  2619.  
  2620. [email protected]:1761 minting (with badge/guard 0)...
  2621.  
  2622. [email protected]:1779 Populating slot 71 with cap to IRQ 60, name vm_dtb_dtb_irq_60...
  2623.  
  2624. [email protected]:1761 minting (with badge/guard 0)...
  2625.  
  2626. [email protected]:1779 Populating slot 72 with cap to IRQ 61, name vm_dtb_dtb_irq_61...
  2627.  
  2628. [email protected]:1761 minting (with badge/guard 0)...
  2629.  
  2630. [email protected]:1779 Populating slot 73 with cap to IRQ 62, name vm_dtb_dtb_irq_62...
  2631.  
  2632. [email protected]:1761 minting (with badge/guard 0)...
  2633.  
  2634. [email protected]:1779 Populating slot 74 with cap to IRQ 63, name vm_dtb_dtb_irq_63...
  2635.  
  2636. [email protected]:1761 minting (with badge/guard 0)...
  2637.  
  2638. [email protected]:1783 Populating slot 75 with cap to vm_dtb_dtb_untyped_cap_0x10800000...
  2639.  
  2640. [email protected]:1761 minting (with badge/guard 0)...
  2641.  
  2642. [email protected]:1779 Populating slot 76 with cap to IRQ 65, name vm_dtb_dtb_irq_65...
  2643.  
  2644. [email protected]:1761 minting (with badge/guard 0)...
  2645.  
  2646. [email protected]:1783 Populating slot 77 with cap to vm_dtb_dtb_untyped_cap_0x10a60000...
  2647.  
  2648. [email protected]:1761 minting (with badge/guard 0)...
  2649.  
  2650. [email protected]:1783 Populating slot 78 with cap to vm_dtb_dtb_untyped_cap_0x10a70000...
  2651.  
  2652. [email protected]:1761 minting (with badge/guard 0)...
  2653.  
  2654. [email protected]:1783 Populating slot 79 with cap to vm_dtb_dtb_untyped_cap_0x10d20000...
  2655.  
  2656. [email protected]:1761 minting (with badge/guard 0)...
  2657.  
  2658. [email protected]:1783 Populating slot 80 with cap to vm_dtb_dtb_untyped_cap_0x10ca1000...
  2659.  
  2660. [email protected]:1761 minting (with badge/guard 0)...
  2661.  
  2662. [email protected]:1783 Populating slot 81 with cap to vm_dtb_dtb_untyped_cap_0x11200000...
  2663.  
  2664. [email protected]:1761 minting (with badge/guard 0)...
  2665.  
  2666. [email protected]:1783 Populating slot 82 with cap to vm_dtb_dtb_untyped_cap_0x11210000...
  2667.  
  2668. [email protected]:1761 minting (with badge/guard 0)...
  2669.  
  2670. [email protected]:1783 Populating slot 83 with cap to vm_dtb_dtb_untyped_cap_0x14640000...
  2671.  
  2672. [email protected]:1761 minting (with badge/guard 0)...
  2673.  
  2674. [email protected]:1783 Populating slot 84 with cap to vm_dtb_dtb_untyped_cap_0x128d0000...
  2675.  
  2676. [email protected]:1761 minting (with badge/guard 0)...
  2677.  
  2678. [email protected]:1783 Populating slot 85 with cap to vm_dtb_dtb_untyped_cap_0x11d40000...
  2679.  
  2680. [email protected]:1761 minting (with badge/guard 0)...
  2681.  
  2682. [email protected]:1783 Populating slot 86 with cap to vm_dtb_dtb_untyped_cap_0x11f10000...
  2683.  
  2684. [email protected]:1761 minting (with badge/guard 0)...
  2685.  
  2686. [email protected]:1783 Populating slot 87 with cap to vm_dtb_dtb_untyped_cap_0x11f20000...
  2687.  
  2688. [email protected]:1761 minting (with badge/guard 0)...
  2689.  
  2690. [email protected]:1779 Populating slot 88 with cap to IRQ 201, name vm_dtb_dtb_irq_201...
  2691.  
  2692. [email protected]:1761 minting (with badge/guard 0)...
  2693.  
  2694. [email protected]:1783 Populating slot 89 with cap to vm_dtb_dtb_untyped_cap_0x12000000...
  2695.  
  2696. [email protected]:1761 minting (with badge/guard 0)...
  2697.  
  2698. [email protected]:1779 Populating slot 90 with cap to IRQ 104, name vm_dtb_dtb_irq_104...
  2699.  
  2700. [email protected]:1761 minting (with badge/guard 0)...
  2701.  
  2702. [email protected]:1783 Populating slot 91 with cap to vm_dtb_dtb_untyped_cap_0x12100000...
  2703.  
  2704. [email protected]:1761 minting (with badge/guard 0)...
  2705.  
  2706. [email protected]:1783 Populating slot 92 with cap to vm_dtb_dtb_untyped_cap_0x12110000...
  2707.  
  2708. [email protected]:1761 minting (with badge/guard 0)...
  2709.  
  2710. [email protected]:1779 Populating slot 93 with cap to IRQ 103, name vm_dtb_dtb_irq_103...
  2711.  
  2712. [email protected]:1761 minting (with badge/guard 0)...
  2713.  
  2714. [email protected]:1783 Populating slot 94 with cap to vm_dtb_dtb_untyped_cap_0x12120000...
  2715.  
  2716. [email protected]:1761 minting (with badge/guard 0)...
  2717.  
  2718. [email protected]:1783 Populating slot 95 with cap to vm_dtb_dtb_untyped_cap_0x12130000...
  2719.  
  2720. [email protected]:1761 minting (with badge/guard 0)...
  2721.  
  2722. [email protected]:1783 Populating slot 96 with cap to vm_dtb_dtb_untyped_cap_0x121a0000...
  2723.  
  2724. [email protected]:1761 minting (with badge/guard 0)...
  2725.  
  2726. [email protected]:1779 Populating slot 97 with cap to IRQ 66, name vm_dtb_dtb_irq_66...
  2727.  
  2728. [email protected]:1761 minting (with badge/guard 0)...
  2729.  
  2730. [email protected]:1783 Populating slot 98 with cap to vm_dtb_dtb_untyped_cap_0x121b0000...
  2731.  
  2732. [email protected]:1761 minting (with badge/guard 0)...
  2733.  
  2734. [email protected]:1779 Populating slot 99 with cap to IRQ 67, name vm_dtb_dtb_irq_67...
  2735.  
  2736. [email protected]:1761 minting (with badge/guard 0)...
  2737.  
  2738. [email protected]:1783 Populating slot 100 with cap to vm_dtb_dtb_untyped_cap_0x12200000...
  2739.  
  2740. [email protected]:1761 minting (with badge/guard 0)...
  2741.  
  2742. [email protected]:1779 Populating slot 101 with cap to IRQ 107, name vm_dtb_dtb_irq_107...
  2743.  
  2744. [email protected]:1761 minting (with badge/guard 0)...
  2745.  
  2746. [email protected]:1783 Populating slot 102 with cap to vm_dtb_dtb_untyped_cap_0x12210000...
  2747.  
  2748. [email protected]:1761 minting (with badge/guard 0)...
  2749.  
  2750. [email protected]:1779 Populating slot 103 with cap to IRQ 108, name vm_dtb_dtb_irq_108...
  2751.  
  2752. [email protected]:1761 minting (with badge/guard 0)...
  2753.  
  2754. [email protected]:1783 Populating slot 104 with cap to vm_dtb_dtb_untyped_cap_0x12220000...
  2755.  
  2756. [email protected]:1761 minting (with badge/guard 0)...
  2757.  
  2758. [email protected]:1779 Populating slot 105 with cap to IRQ 109, name vm_dtb_dtb_irq_109...
  2759.  
  2760. [email protected]:1761 minting (with badge/guard 0)...
  2761.  
  2762. [email protected]:1783 Populating slot 106 with cap to vm_dtb_dtb_untyped_cap_0x12400000...
  2763.  
  2764. [email protected]:1761 minting (with badge/guard 0)...
  2765.  
  2766. [email protected]:1779 Populating slot 107 with cap to IRQ 105, name vm_dtb_dtb_irq_105...
  2767.  
  2768. [email protected]:1761 minting (with badge/guard 0)...
  2769.  
  2770. [email protected]:1783 Populating slot 108 with cap to vm_dtb_dtb_untyped_cap_0x12500000...
  2771.  
  2772. [email protected]:1761 minting (with badge/guard 0)...
  2773.  
  2774. [email protected]:1783 Populating slot 109 with cap to vm_dtb_dtb_untyped_cap_0x12880000...
  2775.  
  2776. [email protected]:1761 minting (with badge/guard 0)...
  2777.  
  2778. [email protected]:1783 Populating slot 110 with cap to vm_dtb_dtb_untyped_cap_0x12890000...
  2779.  
  2780. [email protected]:1761 minting (with badge/guard 0)...
  2781.  
  2782. [email protected]:1779 Populating slot 111 with cap to IRQ 218, name vm_dtb_dtb_irq_218...
  2783.  
  2784. [email protected]:1761 minting (with badge/guard 0)...
  2785.  
  2786. [email protected]:1783 Populating slot 112 with cap to vm_dtb_dtb_untyped_cap_0x128a0000...
  2787.  
  2788. [email protected]:1761 minting (with badge/guard 0)...
  2789.  
  2790. [email protected]:1779 Populating slot 113 with cap to IRQ 220, name vm_dtb_dtb_irq_220...
  2791.  
  2792. [email protected]:1761 minting (with badge/guard 0)...
  2793.  
  2794. [email protected]:1783 Populating slot 114 with cap to vm_dtb_dtb_untyped_cap_0x128c0000...
  2795.  
  2796. [email protected]:1761 minting (with badge/guard 0)...
  2797.  
  2798. [email protected]:1783 Populating slot 115 with cap to vm_dtb_dtb_untyped_cap_0x128e0000...
  2799.  
  2800. [email protected]:1761 minting (with badge/guard 0)...
  2801.  
  2802. [email protected]:1783 Populating slot 116 with cap to vm_dtb_dtb_untyped_cap_0x12c00000...
  2803.  
  2804. [email protected]:1761 minting (with badge/guard 0)...
  2805.  
  2806. [email protected]:1779 Populating slot 117 with cap to IRQ 83, name vm_dtb_dtb_irq_83...
  2807.  
  2808. [email protected]:1761 minting (with badge/guard 0)...
  2809.  
  2810. [email protected]:1783 Populating slot 118 with cap to vm_dtb_dtb_untyped_cap_0x12c10000...
  2811.  
  2812. [email protected]:1761 minting (with badge/guard 0)...
  2813.  
  2814. [email protected]:1779 Populating slot 119 with cap to IRQ 84, name vm_dtb_dtb_irq_84...
  2815.  
  2816. [email protected]:1761 minting (with badge/guard 0)...
  2817.  
  2818. [email protected]:1783 Populating slot 120 with cap to vm_dtb_dtb_untyped_cap_0x12c20000...
  2819.  
  2820. [email protected]:1761 minting (with badge/guard 0)...
  2821.  
  2822. [email protected]:1779 Populating slot 121 with cap to IRQ 85, name vm_dtb_dtb_irq_85...
  2823.  
  2824. [email protected]:1761 minting (with badge/guard 0)...
  2825.  
  2826. [email protected]:1783 Populating slot 122 with cap to vm_dtb_dtb_untyped_cap_0x12c30000...
  2827.  
  2828. [email protected]:1761 minting (with badge/guard 0)...
  2829.  
  2830. [email protected]:1779 Populating slot 123 with cap to IRQ 86, name vm_dtb_dtb_irq_86...
  2831.  
  2832. [email protected]:1761 minting (with badge/guard 0)...
  2833.  
  2834. [email protected]:1783 Populating slot 124 with cap to vm_dtb_dtb_untyped_cap_0x12c60000...
  2835.  
  2836. [email protected]:1761 minting (with badge/guard 0)...
  2837.  
  2838. [email protected]:1779 Populating slot 125 with cap to IRQ 88, name vm_dtb_dtb_irq_88...
  2839.  
  2840. [email protected]:1761 minting (with badge/guard 0)...
  2841.  
  2842. [email protected]:1783 Populating slot 126 with cap to vm_dtb_dtb_untyped_cap_0x12c70000...
  2843.  
  2844. [email protected]:1761 minting (with badge/guard 0)...
  2845.  
  2846. [email protected]:1779 Populating slot 127 with cap to IRQ 89, name vm_dtb_dtb_irq_89...
  2847.  
  2848. [email protected]:1761 minting (with badge/guard 0)...
  2849.  
  2850. [email protected]:1783 Populating slot 128 with cap to vm_dtb_dtb_untyped_cap_0x12c80000...
  2851.  
  2852. [email protected]:1761 minting (with badge/guard 0)...
  2853.  
  2854. [email protected]:1779 Populating slot 129 with cap to IRQ 90, name vm_dtb_dtb_irq_90...
  2855.  
  2856. [email protected]:1761 minting (with badge/guard 0)...
  2857.  
  2858. [email protected]:1783 Populating slot 130 with cap to vm_dtb_dtb_untyped_cap_0x12c90000...
  2859.  
  2860. [email protected]:1761 minting (with badge/guard 0)...
  2861.  
  2862. [email protected]:1779 Populating slot 131 with cap to IRQ 91, name vm_dtb_dtb_irq_91...
  2863.  
  2864. [email protected]:1761 minting (with badge/guard 0)...
  2865.  
  2866. [email protected]:1783 Populating slot 132 with cap to vm_dtb_dtb_untyped_cap_0x12ca0000...
  2867.  
  2868. [email protected]:1761 minting (with badge/guard 0)...
  2869.  
  2870. [email protected]:1779 Populating slot 133 with cap to IRQ 92, name vm_dtb_dtb_irq_92...
  2871.  
  2872. [email protected]:1761 minting (with badge/guard 0)...
  2873.  
  2874. [email protected]:1783 Populating slot 134 with cap to vm_dtb_dtb_untyped_cap_0x12cb0000...
  2875.  
  2876. [email protected]:1761 minting (with badge/guard 0)...
  2877.  
  2878. [email protected]:1779 Populating slot 135 with cap to IRQ 93, name vm_dtb_dtb_irq_93...
  2879.  
  2880. [email protected]:1761 minting (with badge/guard 0)...
  2881.  
  2882. [email protected]:1783 Populating slot 136 with cap to vm_dtb_dtb_untyped_cap_0x12cc0000...
  2883.  
  2884. [email protected]:1761 minting (with badge/guard 0)...
  2885.  
  2886. [email protected]:1779 Populating slot 137 with cap to IRQ 94, name vm_dtb_dtb_irq_94...
  2887.  
  2888. [email protected]:1761 minting (with badge/guard 0)...
  2889.  
  2890. [email protected]:1783 Populating slot 138 with cap to vm_dtb_dtb_untyped_cap_0x12d10000...
  2891.  
  2892. [email protected]:1761 minting (with badge/guard 0)...
  2893.  
  2894. [email protected]:1779 Populating slot 139 with cap to IRQ 138, name vm_dtb_dtb_irq_138...
  2895.  
  2896. [email protected]:1761 minting (with badge/guard 0)...
  2897.  
  2898. [email protected]:1783 Populating slot 140 with cap to vm_dtb_dtb_untyped_cap_0x12dd0000...
  2899.  
  2900. [email protected]:1761 minting (with badge/guard 0)...
  2901.  
  2902. [email protected]:1779 Populating slot 141 with cap to IRQ 68, name vm_dtb_dtb_irq_68...
  2903.  
  2904. [email protected]:1761 minting (with badge/guard 0)...
  2905.  
  2906. [email protected]:1779 Populating slot 142 with cap to IRQ 69, name vm_dtb_dtb_irq_69...
  2907.  
  2908. [email protected]:1761 minting (with badge/guard 0)...
  2909.  
  2910. [email protected]:1779 Populating slot 143 with cap to IRQ 70, name vm_dtb_dtb_irq_70...
  2911.  
  2912. [email protected]:1761 minting (with badge/guard 0)...
  2913.  
  2914. [email protected]:1779 Populating slot 144 with cap to IRQ 71, name vm_dtb_dtb_irq_71...
  2915.  
  2916. [email protected]:1761 minting (with badge/guard 0)...
  2917.  
  2918. [email protected]:1779 Populating slot 145 with cap to IRQ 72, name vm_dtb_dtb_irq_72...
  2919.  
  2920. [email protected]:1761 minting (with badge/guard 0)...
  2921.  
  2922. [email protected]:1783 Populating slot 146 with cap to vm_dtb_dtb_untyped_cap_0x13400000...
  2923.  
  2924. [email protected]:1761 minting (with badge/guard 0)...
  2925.  
  2926. [email protected]:1779 Populating slot 147 with cap to IRQ 77, name vm_dtb_dtb_irq_77...
  2927.  
  2928. [email protected]:1761 minting (with badge/guard 0)...
  2929.  
  2930. [email protected]:1783 Populating slot 148 with cap to vm_dtb_dtb_untyped_cap_0x13410000...
  2931.  
  2932. [email protected]:1761 minting (with badge/guard 0)...
  2933.  
  2934. [email protected]:1779 Populating slot 149 with cap to IRQ 110, name vm_dtb_dtb_irq_110...
  2935.  
  2936. [email protected]:1761 minting (with badge/guard 0)...
  2937.  
  2938. [email protected]:1783 Populating slot 150 with cap to vm_dtb_dtb_untyped_cap_0x13e00000...
  2939.  
  2940. [email protected]:1761 minting (with badge/guard 0)...
  2941.  
  2942. [email protected]:1779 Populating slot 151 with cap to IRQ 117, name vm_dtb_dtb_irq_117...
  2943.  
  2944. [email protected]:1761 minting (with badge/guard 0)...
  2945.  
  2946. [email protected]:1783 Populating slot 152 with cap to vm_dtb_dtb_untyped_cap_0x13e10000...
  2947.  
  2948. [email protected]:1761 minting (with badge/guard 0)...
  2949.  
  2950. [email protected]:1779 Populating slot 153 with cap to IRQ 118, name vm_dtb_dtb_irq_118...
  2951.  
  2952. [email protected]:1761 minting (with badge/guard 0)...
  2953.  
  2954. [email protected]:1783 Populating slot 154 with cap to vm_dtb_dtb_untyped_cap_0x13e80000...
  2955.  
  2956. [email protected]:1761 minting (with badge/guard 0)...
  2957.  
  2958. [email protected]:1783 Populating slot 155 with cap to vm_dtb_dtb_untyped_cap_0x13e90000...
  2959.  
  2960. [email protected]:1761 minting (with badge/guard 0)...
  2961.  
  2962. [email protected]:1783 Populating slot 156 with cap to vm_dtb_dtb_untyped_cap_0x14010000...
  2963.  
  2964. [email protected]:1761 minting (with badge/guard 0)...
  2965.  
  2966. [email protected]:1779 Populating slot 157 with cap to IRQ 82, name vm_dtb_dtb_irq_82...
  2967.  
  2968. [email protected]:1761 minting (with badge/guard 0)...
  2969.  
  2970. [email protected]:1783 Populating slot 158 with cap to vm_dtb_dtb_untyped_cap_0x14650000...
  2971.  
  2972. [email protected]:1761 minting (with badge/guard 0)...
  2973.  
  2974. [email protected]:1783 Populating slot 159 with cap to vm_dtb_dtb_untyped_cap_0x14680000...
  2975.  
  2976. [email protected]:1761 minting (with badge/guard 0)...
  2977.  
  2978. [email protected]:1783 Populating slot 160 with cap to vm0_cnode...
  2979.  
  2980. [email protected]:1761 minting (with badge/guard 0x48)...
  2981.  
  2982. [email protected]:1783 Populating slot 161 with cap to vm0_cnode...
  2983.  
  2984. [email protected]:1761 minting (with badge/guard 0x48)...
  2985.  
  2986. [email protected]:1783 Populating slot 162 with cap to vm0_group_bin_pd...
  2987.  
  2988. [email protected]:1761 minting (with badge/guard 0)...
  2989.  
  2990. [email protected]:1783 Populating slot 163 with cap to vm0_simple_untyped_24_pool_0...
  2991.  
  2992. [email protected]:1761 minting (with badge/guard 0)...
  2993.  
  2994. [email protected]:1783 Populating slot 164 with cap to vm0_simple_untyped_24_pool_1...
  2995.  
  2996. [email protected]:1761 minting (with badge/guard 0)...
  2997.  
  2998. [email protected]:1783 Populating slot 165 with cap to vm0_simple_untyped_24_pool_2...
  2999.  
  3000. [email protected]:1761 minting (with badge/guard 0)...
  3001.  
  3002. [email protected]:1783 Populating slot 166 with cap to vm0_simple_untyped_24_pool_3...
  3003.  
  3004. [email protected]:1761 minting (with badge/guard 0)...
  3005.  
  3006. [email protected]:1783 Populating slot 167 with cap to vm0_simple_untyped_24_pool_4...
  3007.  
  3008. [email protected]:1761 minting (with badge/guard 0)...
  3009.  
  3010. [email protected]:1783 Populating slot 168 with cap to vm0_simple_untyped_24_pool_5...
  3011.  
  3012. [email protected]:1761 minting (with badge/guard 0)...
  3013.  
  3014. [email protected]:1783 Populating slot 169 with cap to vm0_simple_untyped_24_pool_6...
  3015.  
  3016. [email protected]:1761 minting (with badge/guard 0)...
  3017.  
  3018. [email protected]:1783 Populating slot 170 with cap to vm0_simple_untyped_24_pool_7...
  3019.  
  3020. [email protected]:1761 minting (with badge/guard 0)...
  3021.  
  3022. [email protected]:1783 Populating slot 171 with cap to vm0_simple_untyped_24_pool_8...
  3023.  
  3024. [email protected]:1761 minting (with badge/guard 0)...
  3025.  
  3026. [email protected]:1783 Populating slot 172 with cap to vm0_simple_untyped_24_pool_9...
  3027.  
  3028. [email protected]:1761 minting (with badge/guard 0)...
  3029.  
  3030. [email protected]:1783 Populating slot 173 with cap to vm0_simple_untyped_24_pool_10...
  3031.  
  3032. [email protected]:1761 minting (with badge/guard 0)...
  3033.  
  3034. [email protected]:1783 Populating slot 174 with cap to vm0_simple_untyped_24_pool_11...
  3035.  
  3036. [email protected]:1761 minting (with badge/guard 0)...
  3037.  
  3038. [email protected]:1783 Populating slot 175 with cap to vm0_untyped_cap_0x10486000...
  3039.  
  3040. [email protected]:1761 minting (with badge/guard 0)...
  3041.  
  3042. [email protected]:1783 Populating slot 176 with cap to vm0_untyped_cap_0x40000000...
  3043.  
  3044. [email protected]:1761 minting (with badge/guard 0)...
  3045.  
  3046. [email protected]:1783 Populating slot 177 with cap to vm0_untyped_cap_0x50000000...
  3047.  
  3048. [email protected]:1761 minting (with badge/guard 0)...
  3049.  
  3050. [email protected]:1783 Populating slot 178 with cap to vm0_asid_pool...
  3051.  
  3052. [email protected]:1761 minting (with badge/guard 0)...
  3053.  
  3054. [email protected]:1783 Populating slot 179 with cap to vm0_irq_notification_obj...
  3055.  
  3056. [email protected]:1761 minting (with badge/guard 0)...
  3057.  
  3058. [email protected]:1794 Copying into fserv_cnode...
  3059.  
  3060. [email protected]:1783 Populating slot 1 with cap to fserv_fserv_0_control_tcb...
  3061.  
  3062. [email protected]:1761 minting (with badge/guard 0)...
  3063.  
  3064. [email protected]:1783 Populating slot 2 with cap to fserv_fault_ep...
  3065.  
  3066. [email protected]:1761 minting (with badge/guard 0x1)...
  3067.  
  3068. [email protected]:1783 Populating slot 3 with cap to fserv_fserv_fs_ctrl_0000_tcb...
  3069.  
  3070. [email protected]:1761 minting (with badge/guard 0)...
  3071.  
  3072. [email protected]:1783 Populating slot 4 with cap to fserv_fault_ep...
  3073.  
  3074. [email protected]:1761 minting (with badge/guard 0x3)...
  3075.  
  3076. [email protected]:1783 Populating slot 5 with cap to fserv_fserv_0_fault_handler_tcb...
  3077.  
  3078. [email protected]:1761 minting (with badge/guard 0)...
  3079.  
  3080. [email protected]:1783 Populating slot 6 with cap to fserv_fault_ep...
  3081.  
  3082. [email protected]:1761 minting (with badge/guard 0)...
  3083.  
  3084. [email protected]:1783 Populating slot 7 with cap to fserv_pre_init_ep...
  3085.  
  3086. [email protected]:1761 minting (with badge/guard 0)...
  3087.  
  3088. [email protected]:1783 Populating slot 8 with cap to fserv_interface_init_ep...
  3089.  
  3090. [email protected]:1761 minting (with badge/guard 0)...
  3091.  
  3092. [email protected]:1783 Populating slot 9 with cap to fserv_post_init_ep...
  3093.  
  3094. [email protected]:1761 minting (with badge/guard 0)...
  3095.  
  3096. [email protected]:1783 Populating slot 10 with cap to fs0_ep...
  3097.  
  3098. [email protected]:1761 minting (with badge/guard 0)...
  3099.  
  3100. [email protected]:1799 Moving Caps...
  3101.  
  3102. [email protected]:1802 Moving into vm0_cnode...
  3103.  
  3104. [email protected]:1783 Populating slot 1 with cap to vm0_vm_sem...
  3105.  
  3106. [email protected]:1767 skipping
  3107.  
  3108. [email protected]:1783 Populating slot 2 with cap to vm0_vm0_0_control_tcb...
  3109.  
  3110. [email protected]:1767 skipping
  3111.  
  3112. [email protected]:1783 Populating slot 3 with cap to vm0_fault_ep...
  3113.  
  3114. [email protected]:1767 skipping
  3115.  
  3116. [email protected]:1783 Populating slot 4 with cap to vm0_vm0_dtb_0000_tcb...
  3117.  
  3118. [email protected]:1767 skipping
  3119.  
  3120. [email protected]:1783 Populating slot 5 with cap to vm0_fault_ep...
  3121.  
  3122. [email protected]:1767 skipping
  3123.  
  3124. [email protected]:1783 Populating slot 6 with cap to vm0_vm0_0_fault_handler_tcb...
  3125.  
  3126. [email protected]:1767 skipping
  3127.  
  3128. [email protected]:1783 Populating slot 7 with cap to vm0_fault_ep...
  3129.  
  3130. [email protected]:1767 skipping
  3131.  
  3132. [email protected]:1783 Populating slot 8 with cap to vm0_pre_init_ep...
  3133.  
  3134. [email protected]:1767 skipping
  3135.  
  3136. [email protected]:1783 Populating slot 9 with cap to vm0_interface_init_ep...
  3137.  
  3138. [email protected]:1767 skipping
  3139.  
  3140. [email protected]:1783 Populating slot 10 with cap to vm0_post_init_ep...
  3141.  
  3142. [email protected]:1767 skipping
  3143.  
  3144. [email protected]:1783 Populating slot 11 with cap to fs0_ep...
  3145.  
  3146. [email protected]:1767 skipping
  3147.  
  3148. [email protected]:1783 Populating slot 12 with cap to notify_ready_vm0_vm0_global_endpoint...
  3149.  
  3150. [email protected]:1767 skipping
  3151.  
  3152. [email protected]:1783 Populating slot 13 with cap to notify_ready_vm0_vm0_global_endpoint...
  3153.  
  3154. [email protected]:1767 skipping
  3155.  
  3156. [email protected]:1783 Populating slot 14 with cap to vm_dtb_dtb_untyped_cap_0x2073000...
  3157.  
  3158. [email protected]:1767 skipping
  3159.  
  3160. [email protected]:1783 Populating slot 15 with cap to vm_dtb_dtb_untyped_cap_0x3810000...
  3161.  
  3162. [email protected]:1767 skipping
  3163.  
  3164. [email protected]:1783 Populating slot 16 with cap to vm_dtb_dtb_untyped_cap_0x3830000...
  3165.  
  3166. [email protected]:1767 skipping
  3167.  
  3168. [email protected]:1783 Populating slot 17 with cap to vm_dtb_dtb_untyped_cap_0x3860000...
  3169.  
  3170. [email protected]:1767 skipping
  3171.  
  3172. [email protected]:1779 Populating slot 18 with cap to IRQ 79, name vm_dtb_dtb_irq_79...
  3173.  
  3174. [email protected]:1767 skipping
  3175.  
  3176. [email protected]:1783 Populating slot 19 with cap to vm_dtb_dtb_untyped_cap_0x3880000...
  3177.  
  3178. [email protected]:1767 skipping
  3179.  
  3180. [email protected]:1779 Populating slot 20 with cap to IRQ 142, name vm_dtb_dtb_irq_142...
  3181.  
  3182. [email protected]:1767 skipping
  3183.  
  3184. [email protected]:1783 Populating slot 21 with cap to vm_dtb_dtb_untyped_cap_0x10000000...
  3185.  
  3186. [email protected]:1767 skipping
  3187.  
  3188. [email protected]:1783 Populating slot 22 with cap to vm_dtb_dtb_untyped_cap_0x10010000...
  3189.  
  3190. [email protected]:1767 skipping
  3191.  
  3192. [email protected]:1783 Populating slot 23 with cap to vm_dtb_dtb_untyped_cap_0x10020000...
  3193.  
  3194. [email protected]:1767 skipping
  3195.  
  3196. [email protected]:1783 Populating slot 24 with cap to vm_dtb_dtb_untyped_cap_0x10040000...
  3197.  
  3198. [email protected]:1767 skipping
  3199.  
  3200. [email protected]:1783 Populating slot 25 with cap to vm_dtb_dtb_untyped_cap_0x10044000...
  3201.  
  3202. [email protected]:1767 skipping
  3203.  
  3204. [email protected]:1783 Populating slot 26 with cap to vm_dtb_dtb_untyped_cap_0x10050000...
  3205.  
  3206. [email protected]:1767 skipping
  3207.  
  3208. [email protected]:1783 Populating slot 27 with cap to vm_dtb_dtb_untyped_cap_0x10054000...
  3209.  
  3210. [email protected]:1767 skipping
  3211.  
  3212. [email protected]:1783 Populating slot 28 with cap to vm_dtb_dtb_untyped_cap_0x10060000...
  3213.  
  3214. [email protected]:1767 skipping
  3215.  
  3216. [email protected]:1779 Populating slot 29 with cap to IRQ 97, name vm_dtb_dtb_irq_97...
  3217.  
  3218. [email protected]:1767 skipping
  3219.  
  3220. [email protected]:1783 Populating slot 30 with cap to vm_dtb_dtb_untyped_cap_0x10064000...
  3221.  
  3222. [email protected]:1767 skipping
  3223.  
  3224. [email protected]:1779 Populating slot 31 with cap to IRQ 215, name vm_dtb_dtb_irq_215...
  3225.  
  3226. [email protected]:1767 skipping
  3227.  
  3228. [email protected]:1783 Populating slot 32 with cap to vm_dtb_dtb_untyped_cap_0x10068000...
  3229.  
  3230. [email protected]:1767 skipping
  3231.  
  3232. [email protected]:1783 Populating slot 33 with cap to vm_dtb_dtb_untyped_cap_0x1006c000...
  3233.  
  3234. [email protected]:1767 skipping
  3235.  
  3236. [email protected]:1779 Populating slot 34 with cap to IRQ 216, name vm_dtb_dtb_irq_216...
  3237.  
  3238. [email protected]:1767 skipping
  3239.  
  3240. [email protected]:1783 Populating slot 35 with cap to vm_dtb_dtb_untyped_cap_0x100a0000...
  3241.  
  3242. [email protected]:1767 skipping
  3243.  
  3244. [email protected]:1779 Populating slot 36 with cap to IRQ 217, name vm_dtb_dtb_irq_217...
  3245.  
  3246. [email protected]:1767 skipping
  3247.  
  3248. [email protected]:1783 Populating slot 37 with cap to vm_dtb_dtb_untyped_cap_0x101d0000...
  3249.  
  3250. [email protected]:1767 skipping
  3251.  
  3252. [email protected]:1779 Populating slot 38 with cap to IRQ 74, name vm_dtb_dtb_irq_74...
  3253.  
  3254. [email protected]:1767 skipping
  3255.  
  3256. [email protected]:1783 Populating slot 39 with cap to vm_dtb_dtb_untyped_cap_0x101e0000...
  3257.  
  3258. [email protected]:1767 skipping
  3259.  
  3260. [email protected]:1779 Populating slot 40 with cap to IRQ 75, name vm_dtb_dtb_irq_75...
  3261.  
  3262. [email protected]:1767 skipping
  3263.  
  3264. [email protected]:1779 Populating slot 41 with cap to IRQ 76, name vm_dtb_dtb_irq_76...
  3265.  
  3266. [email protected]:1767 skipping
  3267.  
  3268. [email protected]:1783 Populating slot 42 with cap to vm_dtb_dtb_untyped_cap_0x10440000...
  3269.  
  3270. [email protected]:1767 skipping
  3271.  
  3272. [email protected]:1779 Populating slot 43 with cap to IRQ 32, name vm_dtb_dtb_irq_32...
  3273.  
  3274. [email protected]:1767 skipping
  3275.  
  3276. [email protected]:1779 Populating slot 44 with cap to IRQ 33, name vm_dtb_dtb_irq_33...
  3277.  
  3278. [email protected]:1767 skipping
  3279.  
  3280. [email protected]:1779 Populating slot 45 with cap to IRQ 34, name vm_dtb_dtb_irq_34...
  3281.  
  3282. [email protected]:1767 skipping
  3283.  
  3284. [email protected]:1779 Populating slot 46 with cap to IRQ 35, name vm_dtb_dtb_irq_35...
  3285.  
  3286. [email protected]:1767 skipping
  3287.  
  3288. [email protected]:1779 Populating slot 47 with cap to IRQ 36, name vm_dtb_dtb_irq_36...
  3289.  
  3290. [email protected]:1767 skipping
  3291.  
  3292. [email protected]:1779 Populating slot 48 with cap to IRQ 37, name vm_dtb_dtb_irq_37...
  3293.  
  3294. [email protected]:1767 skipping
  3295.  
  3296. [email protected]:1779 Populating slot 49 with cap to IRQ 38, name vm_dtb_dtb_irq_38...
  3297.  
  3298. [email protected]:1767 skipping
  3299.  
  3300. [email protected]:1779 Populating slot 50 with cap to IRQ 39, name vm_dtb_dtb_irq_39...
  3301.  
  3302. [email protected]:1767 skipping
  3303.  
  3304. [email protected]:1779 Populating slot 51 with cap to IRQ 40, name vm_dtb_dtb_irq_40...
  3305.  
  3306. [email protected]:1767 skipping
  3307.  
  3308. [email protected]:1779 Populating slot 52 with cap to IRQ 41, name vm_dtb_dtb_irq_41...
  3309.  
  3310. [email protected]:1767 skipping
  3311.  
  3312. [email protected]:1779 Populating slot 53 with cap to IRQ 42, name vm_dtb_dtb_irq_42...
  3313.  
  3314. [email protected]:1767 skipping
  3315.  
  3316. [email protected]:1779 Populating slot 54 with cap to IRQ 43, name vm_dtb_dtb_irq_43...
  3317.  
  3318. [email protected]:1767 skipping
  3319.  
  3320. [email protected]:1779 Populating slot 55 with cap to IRQ 44, name vm_dtb_dtb_irq_44...
  3321.  
  3322. [email protected]:1767 skipping
  3323.  
  3324. [email protected]:1779 Populating slot 56 with cap to IRQ 45, name vm_dtb_dtb_irq_45...
  3325.  
  3326. [email protected]:1767 skipping
  3327.  
  3328. [email protected]:1779 Populating slot 57 with cap to IRQ 46, name vm_dtb_dtb_irq_46...
  3329.  
  3330. [email protected]:1767 skipping
  3331.  
  3332. [email protected]:1779 Populating slot 58 with cap to IRQ 47, name vm_dtb_dtb_irq_47...
  3333.  
  3334. [email protected]:1767 skipping
  3335.  
  3336. [email protected]:1779 Populating slot 59 with cap to IRQ 48, name vm_dtb_dtb_irq_48...
  3337.  
  3338. [email protected]:1767 skipping
  3339.  
  3340. [email protected]:1779 Populating slot 60 with cap to IRQ 49, name vm_dtb_dtb_irq_49...
  3341.  
  3342. [email protected]:1767 skipping
  3343.  
  3344. [email protected]:1779 Populating slot 61 with cap to IRQ 50, name vm_dtb_dtb_irq_50...
  3345.  
  3346. [email protected]:1767 skipping
  3347.  
  3348. [email protected]:1779 Populating slot 62 with cap to IRQ 51, name vm_dtb_dtb_irq_51...
  3349.  
  3350. [email protected]:1767 skipping
  3351.  
  3352. [email protected]:1779 Populating slot 63 with cap to IRQ 52, name vm_dtb_dtb_irq_52...
  3353.  
  3354. [email protected]:1767 skipping
  3355.  
  3356. [email protected]:1779 Populating slot 64 with cap to IRQ 53, name vm_dtb_dtb_irq_53...
  3357.  
  3358. [email protected]:1767 skipping
  3359.  
  3360. [email protected]:1779 Populating slot 65 with cap to IRQ 54, name vm_dtb_dtb_irq_54...
  3361.  
  3362. [email protected]:1767 skipping
  3363.  
  3364. [email protected]:1779 Populating slot 66 with cap to IRQ 55, name vm_dtb_dtb_irq_55...
  3365.  
  3366. [email protected]:1767 skipping
  3367.  
  3368. [email protected]:1779 Populating slot 67 with cap to IRQ 56, name vm_dtb_dtb_irq_56...
  3369.  
  3370. [email protected]:1767 skipping
  3371.  
  3372. [email protected]:1779 Populating slot 68 with cap to IRQ 57, name vm_dtb_dtb_irq_57...
  3373.  
  3374. [email protected]:1767 skipping
  3375.  
  3376. [email protected]:1779 Populating slot 69 with cap to IRQ 58, name vm_dtb_dtb_irq_58...
  3377.  
  3378. [email protected]:1767 skipping
  3379.  
  3380. [email protected]:1779 Populating slot 70 with cap to IRQ 59, name vm_dtb_dtb_irq_59...
  3381.  
  3382. [email protected]:1767 skipping
  3383.  
  3384. [email protected]:1779 Populating slot 71 with cap to IRQ 60, name vm_dtb_dtb_irq_60...
  3385.  
  3386. [email protected]:1767 skipping
  3387.  
  3388. [email protected]:1779 Populating slot 72 with cap to IRQ 61, name vm_dtb_dtb_irq_61...
  3389.  
  3390. [email protected]:1767 skipping
  3391.  
  3392. [email protected]:1779 Populating slot 73 with cap to IRQ 62, name vm_dtb_dtb_irq_62...
  3393.  
  3394. [email protected]:1767 skipping
  3395.  
  3396. [email protected]:1779 Populating slot 74 with cap to IRQ 63, name vm_dtb_dtb_irq_63...
  3397.  
  3398. [email protected]:1767 skipping
  3399.  
  3400. [email protected]:1783 Populating slot 75 with cap to vm_dtb_dtb_untyped_cap_0x10800000...
  3401.  
  3402. [email protected]:1767 skipping
  3403.  
  3404. [email protected]:1779 Populating slot 76 with cap to IRQ 65, name vm_dtb_dtb_irq_65...
  3405.  
  3406. [email protected]:1767 skipping
  3407.  
  3408. [email protected]:1783 Populating slot 77 with cap to vm_dtb_dtb_untyped_cap_0x10a60000...
  3409.  
  3410. [email protected]:1767 skipping
  3411.  
  3412. [email protected]:1783 Populating slot 78 with cap to vm_dtb_dtb_untyped_cap_0x10a70000...
  3413.  
  3414. [email protected]:1767 skipping
  3415.  
  3416. [email protected]:1783 Populating slot 79 with cap to vm_dtb_dtb_untyped_cap_0x10d20000...
  3417.  
  3418. [email protected]:1767 skipping
  3419.  
  3420. [email protected]:1783 Populating slot 80 with cap to vm_dtb_dtb_untyped_cap_0x10ca1000...
  3421.  
  3422. [email protected]:1767 skipping
  3423.  
  3424. [email protected]:1783 Populating slot 81 with cap to vm_dtb_dtb_untyped_cap_0x11200000...
  3425.  
  3426. [email protected]:1767 skipping
  3427.  
  3428. [email protected]:1783 Populating slot 82 with cap to vm_dtb_dtb_untyped_cap_0x11210000...
  3429.  
  3430. [email protected]:1767 skipping
  3431.  
  3432. [email protected]:1783 Populating slot 83 with cap to vm_dtb_dtb_untyped_cap_0x14640000...
  3433.  
  3434. [email protected]:1767 skipping
  3435.  
  3436. [email protected]:1783 Populating slot 84 with cap to vm_dtb_dtb_untyped_cap_0x128d0000...
  3437.  
  3438. [email protected]:1767 skipping
  3439.  
  3440. [email protected]:1783 Populating slot 85 with cap to vm_dtb_dtb_untyped_cap_0x11d40000...
  3441.  
  3442. [email protected]:1767 skipping
  3443.  
  3444. [email protected]:1783 Populating slot 86 with cap to vm_dtb_dtb_untyped_cap_0x11f10000...
  3445.  
  3446. [email protected]:1767 skipping
  3447.  
  3448. [email protected]:1783 Populating slot 87 with cap to vm_dtb_dtb_untyped_cap_0x11f20000...
  3449.  
  3450. [email protected]:1767 skipping
  3451.  
  3452. [email protected]:1779 Populating slot 88 with cap to IRQ 201, name vm_dtb_dtb_irq_201...
  3453.  
  3454. [email protected]:1767 skipping
  3455.  
  3456. [email protected]:1783 Populating slot 89 with cap to vm_dtb_dtb_untyped_cap_0x12000000...
  3457.  
  3458. [email protected]:1767 skipping
  3459.  
  3460. [email protected]:1779 Populating slot 90 with cap to IRQ 104, name vm_dtb_dtb_irq_104...
  3461.  
  3462. [email protected]:1767 skipping
  3463.  
  3464. [email protected]:1783 Populating slot 91 with cap to vm_dtb_dtb_untyped_cap_0x12100000...
  3465.  
  3466. [email protected]:1767 skipping
  3467.  
  3468. [email protected]:1783 Populating slot 92 with cap to vm_dtb_dtb_untyped_cap_0x12110000...
  3469.  
  3470. [email protected]:1767 skipping
  3471.  
  3472. [email protected]:1779 Populating slot 93 with cap to IRQ 103, name vm_dtb_dtb_irq_103...
  3473.  
  3474. [email protected]:1767 skipping
  3475.  
  3476. [email protected]:1783 Populating slot 94 with cap to vm_dtb_dtb_untyped_cap_0x12120000...
  3477.  
  3478. [email protected]:1767 skipping
  3479.  
  3480. [email protected]:1783 Populating slot 95 with cap to vm_dtb_dtb_untyped_cap_0x12130000...
  3481.  
  3482. [email protected]:1767 skipping
  3483.  
  3484. [email protected]:1783 Populating slot 96 with cap to vm_dtb_dtb_untyped_cap_0x121a0000...
  3485.  
  3486. [email protected]:1767 skipping
  3487.  
  3488. [email protected]:1779 Populating slot 97 with cap to IRQ 66, name vm_dtb_dtb_irq_66...
  3489.  
  3490. [email protected]:1767 skipping
  3491.  
  3492. [email protected]:1783 Populating slot 98 with cap to vm_dtb_dtb_untyped_cap_0x121b0000...
  3493.  
  3494. [email protected]:1767 skipping
  3495.  
  3496. [email protected]:1779 Populating slot 99 with cap to IRQ 67, name vm_dtb_dtb_irq_67...
  3497.  
  3498. [email protected]:1767 skipping
  3499.  
  3500. [email protected]:1783 Populating slot 100 with cap to vm_dtb_dtb_untyped_cap_0x12200000...
  3501.  
  3502. [email protected]:1767 skipping
  3503.  
  3504. [email protected]:1779 Populating slot 101 with cap to IRQ 107, name vm_dtb_dtb_irq_107...
  3505.  
  3506. [email protected]:1767 skipping
  3507.  
  3508. [email protected]:1783 Populating slot 102 with cap to vm_dtb_dtb_untyped_cap_0x12210000...
  3509.  
  3510. [email protected]:1767 skipping
  3511.  
  3512. [email protected]:1779 Populating slot 103 with cap to IRQ 108, name vm_dtb_dtb_irq_108...
  3513.  
  3514. [email protected]:1767 skipping
  3515.  
  3516. [email protected]:1783 Populating slot 104 with cap to vm_dtb_dtb_untyped_cap_0x12220000...
  3517.  
  3518. [email protected]:1767 skipping
  3519.  
  3520. [email protected]:1779 Populating slot 105 with cap to IRQ 109, name vm_dtb_dtb_irq_109...
  3521.  
  3522. [email protected]:1767 skipping
  3523.  
  3524. [email protected]:1783 Populating slot 106 with cap to vm_dtb_dtb_untyped_cap_0x12400000...
  3525.  
  3526. [email protected]:1767 skipping
  3527.  
  3528. [email protected]:1779 Populating slot 107 with cap to IRQ 105, name vm_dtb_dtb_irq_105...
  3529.  
  3530. [email protected]:1767 skipping
  3531.  
  3532. [email protected]:1783 Populating slot 108 with cap to vm_dtb_dtb_untyped_cap_0x12500000...
  3533.  
  3534. [email protected]:1767 skipping
  3535.  
  3536. [email protected]:1783 Populating slot 109 with cap to vm_dtb_dtb_untyped_cap_0x12880000...
  3537.  
  3538. [email protected]:1767 skipping
  3539.  
  3540. [email protected]:1783 Populating slot 110 with cap to vm_dtb_dtb_untyped_cap_0x12890000...
  3541.  
  3542. [email protected]:1767 skipping
  3543.  
  3544. [email protected]:1779 Populating slot 111 with cap to IRQ 218, name vm_dtb_dtb_irq_218...
  3545.  
  3546. [email protected]:1767 skipping
  3547.  
  3548. [email protected]:1783 Populating slot 112 with cap to vm_dtb_dtb_untyped_cap_0x128a0000...
  3549.  
  3550. [email protected]:1767 skipping
  3551.  
  3552. [email protected]:1779 Populating slot 113 with cap to IRQ 220, name vm_dtb_dtb_irq_220...
  3553.  
  3554. [email protected]:1767 skipping
  3555.  
  3556. [email protected]:1783 Populating slot 114 with cap to vm_dtb_dtb_untyped_cap_0x128c0000...
  3557.  
  3558. [email protected]:1767 skipping
  3559.  
  3560. [email protected]:1783 Populating slot 115 with cap to vm_dtb_dtb_untyped_cap_0x128e0000...
  3561.  
  3562. [email protected]:1767 skipping
  3563.  
  3564. [email protected]:1783 Populating slot 116 with cap to vm_dtb_dtb_untyped_cap_0x12c00000...
  3565.  
  3566. [email protected]:1767 skipping
  3567.  
  3568. [email protected]:1779 Populating slot 117 with cap to IRQ 83, name vm_dtb_dtb_irq_83...
  3569.  
  3570. [email protected]:1767 skipping
  3571.  
  3572. [email protected]:1783 Populating slot 118 with cap to vm_dtb_dtb_untyped_cap_0x12c10000...
  3573.  
  3574. [email protected]:1767 skipping
  3575.  
  3576. [email protected]:1779 Populating slot 119 with cap to IRQ 84, name vm_dtb_dtb_irq_84...
  3577.  
  3578. [email protected]:1767 skipping
  3579.  
  3580. [email protected]:1783 Populating slot 120 with cap to vm_dtb_dtb_untyped_cap_0x12c20000...
  3581.  
  3582. [email protected]:1767 skipping
  3583.  
  3584. [email protected]:1779 Populating slot 121 with cap to IRQ 85, name vm_dtb_dtb_irq_85...
  3585.  
  3586. [email protected]:1767 skipping
  3587.  
  3588. [email protected]:1783 Populating slot 122 with cap to vm_dtb_dtb_untyped_cap_0x12c30000...
  3589.  
  3590. [email protected]:1767 skipping
  3591.  
  3592. [email protected]:1779 Populating slot 123 with cap to IRQ 86, name vm_dtb_dtb_irq_86...
  3593.  
  3594. [email protected]:1767 skipping
  3595.  
  3596. [email protected]:1783 Populating slot 124 with cap to vm_dtb_dtb_untyped_cap_0x12c60000...
  3597.  
  3598. [email protected]:1767 skipping
  3599.  
  3600. [email protected]:1779 Populating slot 125 with cap to IRQ 88, name vm_dtb_dtb_irq_88...
  3601.  
  3602. [email protected]:1767 skipping
  3603.  
  3604. [email protected]:1783 Populating slot 126 with cap to vm_dtb_dtb_untyped_cap_0x12c70000...
  3605.  
  3606. [email protected]:1767 skipping
  3607.  
  3608. [email protected]:1779 Populating slot 127 with cap to IRQ 89, name vm_dtb_dtb_irq_89...
  3609.  
  3610. [email protected]:1767 skipping
  3611.  
  3612. [email protected]:1783 Populating slot 128 with cap to vm_dtb_dtb_untyped_cap_0x12c80000...
  3613.  
  3614. [email protected]:1767 skipping
  3615.  
  3616. [email protected]:1779 Populating slot 129 with cap to IRQ 90, name vm_dtb_dtb_irq_90...
  3617.  
  3618. [email protected]:1767 skipping
  3619.  
  3620. [email protected]:1783 Populating slot 130 with cap to vm_dtb_dtb_untyped_cap_0x12c90000...
  3621.  
  3622. [email protected]:1767 skipping
  3623.  
  3624. [email protected]:1779 Populating slot 131 with cap to IRQ 91, name vm_dtb_dtb_irq_91...
  3625.  
  3626. [email protected]:1767 skipping
  3627.  
  3628. [email protected]:1783 Populating slot 132 with cap to vm_dtb_dtb_untyped_cap_0x12ca0000...
  3629.  
  3630. [email protected]:1767 skipping
  3631.  
  3632. [email protected]:1779 Populating slot 133 with cap to IRQ 92, name vm_dtb_dtb_irq_92...
  3633.  
  3634. [email protected]:1767 skipping
  3635.  
  3636. [email protected]:1783 Populating slot 134 with cap to vm_dtb_dtb_untyped_cap_0x12cb0000...
  3637.  
  3638. [email protected]:1767 skipping
  3639.  
  3640. [email protected]:1779 Populating slot 135 with cap to IRQ 93, name vm_dtb_dtb_irq_93...
  3641.  
  3642. [email protected]:1767 skipping
  3643.  
  3644. [email protected]:1783 Populating slot 136 with cap to vm_dtb_dtb_untyped_cap_0x12cc0000...
  3645.  
  3646. [email protected]:1767 skipping
  3647.  
  3648. [email protected]:1779 Populating slot 137 with cap to IRQ 94, name vm_dtb_dtb_irq_94...
  3649.  
  3650. [email protected]:1767 skipping
  3651.  
  3652. [email protected]:1783 Populating slot 138 with cap to vm_dtb_dtb_untyped_cap_0x12d10000...
  3653.  
  3654. [email protected]:1767 skipping
  3655.  
  3656. [email protected]:1779 Populating slot 139 with cap to IRQ 138, name vm_dtb_dtb_irq_138...
  3657.  
  3658. [email protected]:1767 skipping
  3659.  
  3660. [email protected]:1783 Populating slot 140 with cap to vm_dtb_dtb_untyped_cap_0x12dd0000...
  3661.  
  3662. [email protected]:1767 skipping
  3663.  
  3664. [email protected]:1779 Populating slot 141 with cap to IRQ 68, name vm_dtb_dtb_irq_68...
  3665.  
  3666. [email protected]:1767 skipping
  3667.  
  3668. [email protected]:1779 Populating slot 142 with cap to IRQ 69, name vm_dtb_dtb_irq_69...
  3669.  
  3670. [email protected]:1767 skipping
  3671.  
  3672. [email protected]:1779 Populating slot 143 with cap to IRQ 70, name vm_dtb_dtb_irq_70...
  3673.  
  3674. [email protected]:1767 skipping
  3675.  
  3676. [email protected]:1779 Populating slot 144 with cap to IRQ 71, name vm_dtb_dtb_irq_71...
  3677.  
  3678. [email protected]:1767 skipping
  3679.  
  3680. [email protected]:1779 Populating slot 145 with cap to IRQ 72, name vm_dtb_dtb_irq_72...
  3681.  
  3682. [email protected]:1767 skipping
  3683.  
  3684. [email protected]:1783 Populating slot 146 with cap to vm_dtb_dtb_untyped_cap_0x13400000...
  3685.  
  3686. [email protected]:1767 skipping
  3687.  
  3688. [email protected]:1779 Populating slot 147 with cap to IRQ 77, name vm_dtb_dtb_irq_77...
  3689.  
  3690. [email protected]:1767 skipping
  3691.  
  3692. [email protected]:1783 Populating slot 148 with cap to vm_dtb_dtb_untyped_cap_0x13410000...
  3693.  
  3694. [email protected]:1767 skipping
  3695.  
  3696. [email protected]:1779 Populating slot 149 with cap to IRQ 110, name vm_dtb_dtb_irq_110...
  3697.  
  3698. [email protected]:1767 skipping
  3699.  
  3700. [email protected]:1783 Populating slot 150 with cap to vm_dtb_dtb_untyped_cap_0x13e00000...
  3701.  
  3702. [email protected]:1767 skipping
  3703.  
  3704. [email protected]:1779 Populating slot 151 with cap to IRQ 117, name vm_dtb_dtb_irq_117...
  3705.  
  3706. [email protected]:1767 skipping
  3707.  
  3708. [email protected]:1783 Populating slot 152 with cap to vm_dtb_dtb_untyped_cap_0x13e10000...
  3709.  
  3710. [email protected]:1767 skipping
  3711.  
  3712. [email protected]:1779 Populating slot 153 with cap to IRQ 118, name vm_dtb_dtb_irq_118...
  3713.  
  3714. [email protected]:1767 skipping
  3715.  
  3716. [email protected]:1783 Populating slot 154 with cap to vm_dtb_dtb_untyped_cap_0x13e80000...
  3717.  
  3718. [email protected]:1767 skipping
  3719.  
  3720. [email protected]:1783 Populating slot 155 with cap to vm_dtb_dtb_untyped_cap_0x13e90000...
  3721.  
  3722. [email protected]:1767 skipping
  3723.  
  3724. [email protected]:1783 Populating slot 156 with cap to vm_dtb_dtb_untyped_cap_0x14010000...
  3725.  
  3726. [email protected]:1767 skipping
  3727.  
  3728. [email protected]:1779 Populating slot 157 with cap to IRQ 82, name vm_dtb_dtb_irq_82...
  3729.  
  3730. [email protected]:1767 skipping
  3731.  
  3732. [email protected]:1783 Populating slot 158 with cap to vm_dtb_dtb_untyped_cap_0x14650000...
  3733.  
  3734. [email protected]:1767 skipping
  3735.  
  3736. [email protected]:1783 Populating slot 159 with cap to vm_dtb_dtb_untyped_cap_0x14680000...
  3737.  
  3738. [email protected]:1767 skipping
  3739.  
  3740. [email protected]:1783 Populating slot 160 with cap to vm0_cnode...
  3741.  
  3742. [email protected]:1767 skipping
  3743.  
  3744. [email protected]:1783 Populating slot 161 with cap to vm0_cnode...
  3745.  
  3746. [email protected]:1767 skipping
  3747.  
  3748. [email protected]:1783 Populating slot 162 with cap to vm0_group_bin_pd...
  3749.  
  3750. [email protected]:1767 skipping
  3751.  
  3752. [email protected]:1783 Populating slot 163 with cap to vm0_simple_untyped_24_pool_0...
  3753.  
  3754. [email protected]:1767 skipping
  3755.  
  3756. [email protected]:1783 Populating slot 164 with cap to vm0_simple_untyped_24_pool_1...
  3757.  
  3758. [email protected]:1767 skipping
  3759.  
  3760. [email protected]:1783 Populating slot 165 with cap to vm0_simple_untyped_24_pool_2...
  3761.  
  3762. [email protected]:1767 skipping
  3763.  
  3764. [email protected]:1783 Populating slot 166 with cap to vm0_simple_untyped_24_pool_3...
  3765.  
  3766. [email protected]:1767 skipping
  3767.  
  3768. [email protected]:1783 Populating slot 167 with cap to vm0_simple_untyped_24_pool_4...
  3769.  
  3770. [email protected]:1767 skipping
  3771.  
  3772. [email protected]:1783 Populating slot 168 with cap to vm0_simple_untyped_24_pool_5...
  3773.  
  3774. [email protected]:1767 skipping
  3775.  
  3776. [email protected]:1783 Populating slot 169 with cap to vm0_simple_untyped_24_pool_6...
  3777.  
  3778. [email protected]:1767 skipping
  3779.  
  3780. [email protected]:1783 Populating slot 170 with cap to vm0_simple_untyped_24_pool_7...
  3781.  
  3782. [email protected]:1767 skipping
  3783.  
  3784. [email protected]:1783 Populating slot 171 with cap to vm0_simple_untyped_24_pool_8...
  3785.  
  3786. [email protected]:1767 skipping
  3787.  
  3788. [email protected]:1783 Populating slot 172 with cap to vm0_simple_untyped_24_pool_9...
  3789.  
  3790. [email protected]:1767 skipping
  3791.  
  3792. [email protected]:1783 Populating slot 173 with cap to vm0_simple_untyped_24_pool_10...
  3793.  
  3794. [email protected]:1767 skipping
  3795.  
  3796. [email protected]:1783 Populating slot 174 with cap to vm0_simple_untyped_24_pool_11...
  3797.  
  3798. [email protected]:1767 skipping
  3799.  
  3800. [email protected]:1783 Populating slot 175 with cap to vm0_untyped_cap_0x10486000...
  3801.  
  3802. [email protected]:1767 skipping
  3803.  
  3804. [email protected]:1783 Populating slot 176 with cap to vm0_untyped_cap_0x40000000...
  3805.  
  3806. [email protected]:1767 skipping
  3807.  
  3808. [email protected]:1783 Populating slot 177 with cap to vm0_untyped_cap_0x50000000...
  3809.  
  3810. [email protected]:1767 skipping
  3811.  
  3812. [email protected]:1783 Populating slot 178 with cap to vm0_asid_pool...
  3813.  
  3814. [email protected]:1767 skipping
  3815.  
  3816. [email protected]:1783 Populating slot 179 with cap to vm0_irq_notification_obj...
  3817.  
  3818. [email protected]:1767 skipping
  3819.  
  3820. [email protected]:1802 Moving into fserv_cnode...
  3821.  
  3822. [email protected]:1783 Populating slot 1 with cap to fserv_fserv_0_control_tcb...
  3823.  
  3824. [email protected]:1767 skipping
  3825.  
  3826. [email protected]:1783 Populating slot 2 with cap to fserv_fault_ep...
  3827.  
  3828. [email protected]:1767 skipping
  3829.  
  3830. [email protected]:1783 Populating slot 3 with cap to fserv_fserv_fs_ctrl_0000_tcb...
  3831.  
  3832. [email protected]:1767 skipping
  3833.  
  3834. [email protected]:1783 Populating slot 4 with cap to fserv_fault_ep...
  3835.  
  3836. [email protected]:1767 skipping
  3837.  
  3838. [email protected]:1783 Populating slot 5 with cap to fserv_fserv_0_fault_handler_tcb...
  3839.  
  3840. [email protected]:1767 skipping
  3841.  
  3842. [email protected]:1783 Populating slot 6 with cap to fserv_fault_ep...
  3843.  
  3844. [email protected]:1767 skipping
  3845.  
  3846. [email protected]:1783 Populating slot 7 with cap to fserv_pre_init_ep...
  3847.  
  3848. [email protected]:1767 skipping
  3849.  
  3850. [email protected]:1783 Populating slot 8 with cap to fserv_interface_init_ep...
  3851.  
  3852. [email protected]:1767 skipping
  3853.  
  3854. [email protected]:1783 Populating slot 9 with cap to fserv_post_init_ep...
  3855.  
  3856. [email protected]:1767 skipping
  3857.  
  3858. [email protected]:1783 Populating slot 10 with cap to fs0_ep...
  3859.  
  3860. [email protected]:1767 skipping
  3861.  
  3862. [email protected]:1810 Starting threads...
  3863.  
  3864. [email protected]:1813 Starting fserv_fserv_0_control_tcb...
  3865.  
  3866. [email protected]:1813 Starting fserv_fserv_0_fault_handler_tcb...
  3867.  
  3868. [email protected]:1813 Starting fserv_fserv_fs_ctrl_0000_tcb...
  3869.  
  3870. [email protected]:1813 Starting vm0_vm0_0_control_tcb...
  3871.  
  3872. [email protected]:1813 Starting vm0_vm0_0_fault_handler_tcb...
  3873.  
  3874. [email protected]:1813 Starting vm0_vm0_dtb_0000_tcb...
  3875.  
  3876. [email protected]:2033 We used 12920 CSlots (0.00% of our CNode)
  3877.  
  3878. [email protected]:2034 Done; suspending...
  3879.  
  3880. [email protected]:272 Failed to find any untyped capable of creating an object at address 0x14000000
  3881. [email protected]:314 Failed to map address 0x14000000
  3882. [email protected]:272 Failed to find any untyped capable of creating an object at address 0x10d10000
  3883. [email protected]:314 Failed to map address 0x10d10000
  3884. Loading Linux: 'linux' dtb: 'linux-dtb'
  3885. [email protected]:605 module name: map_frame_hack
  3886. [ 0.000000] Booting Linux on physical CPU 0x0
  3887. [ 0.000000] Linux version 4.14.87+ (alisonf@shinyu-un) (gcc version 6.3.0 20170516 (Debian 6.3.0-18)) #126 SMP PREEMPT Fri Feb 7 15:19:29 AEDT 2020
  3888. [ 0.000000] CPU: ARMv7 Processor [412fc0f3] revision 3 (ARMv7), cr=10c5387d
  3889. [ 0.000000] CPU: div instructions available: patching division code
  3890. [ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, PIPT instruction cache
  3891. [ 0.000000] OF: fdt: Machine model: Hardkernel Odroid XU4
  3892. [ 0.000000] bootconsole [earlycon0] enabled
  3893. [ 0.000000] Memory policy: Data cache writealloc
  3894. [ 0.000000] cma: Reserved 128 MiB at 0x55400000
  3895. [ 0.000000] Samsung CPU ID: 0xe5422001
  3896. [ 0.000000] On node 0 totalpages: 131072
  3897. [ 0.000000] free_area_init_node: node 0, pgdat c0e95b00, node_mem_map dfb37000
  3898. [ 0.000000] Normal zone: 1152 pages used for memmap
  3899. [ 0.000000] Normal zone: 0 pages reserved
  3900. [ 0.000000] Normal zone: 131072 pages, LIFO batch:31
  3901. [ 0.000000] Running under secure firmware.
  3902. [ 0.000000] random: get_random_bytes called from start_kernel+0x8c/0x40c with crng_init=0
  3903. [ 0.000000] percpu: Embedded 17 pages/cpu @dfb17000 s37644 r8192 d23796 u69632
  3904. [ 0.000000] pcpu-alloc: s37644 r8192 d23796 u69632 alloc=17*4096
  3905. [ 0.000000] pcpu-alloc: [0] 0
  3906. [ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 129920
  3907. [ 0.000000] Kernel command line: console=ttySAC2,115200n8 root=/dev/ram0 nosmp rw debug loglevel=8 earlyprintk=serial pci=nomsi maxcpus=1 s5p_mfc.mem=16M
  3908. [ 0.000000] PID hash table entries: 2048 (order: 1, 8192 bytes)
  3909. [ 0.000000] Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
  3910. [ 0.000000] Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
  3911. [ 0.000000] Memory: 344064K/524288K available (9216K kernel code, 693K rwdata, 2532K rodata, 1024K init, 330K bss, 49152K reserved, 131072K cma-reserved, 0K highmem)
  3912. [ 0.000000] Virtual kernel memory layout:
  3913. [ 0.000000] vector : 0xffff0000 - 0xffff1000 ( 4 kB)
  3914. [ 0.000000] fixmap : 0xffc00000 - 0xfff00000 (3072 kB)
  3915. [ 0.000000] vmalloc : 0xe0800000 - 0xff800000 ( 496 MB)
  3916. [ 0.000000] lowmem : 0xc0000000 - 0xe0000000 ( 512 MB)
  3917. [ 0.000000] pkmap : 0xbfe00000 - 0xc0000000 ( 2 MB)
  3918. [ 0.000000] modules : 0xbf000000 - 0xbfe00000 ( 14 MB)
  3919. [ 0.000000] .text : 0xc0008000 - 0xc0a00000 (10208 kB)
  3920. [ 0.000000] .init : 0xc0d00000 - 0xc0e00000 (1024 kB)
  3921. [ 0.000000] .data : 0xc0e00000 - 0xc0ead7b8 ( 694 kB)
  3922. [ 0.000000] .bss : 0xc0eb5abc - 0xc0f08450 ( 331 kB)
  3923. [ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
  3924. [ 0.000000] Preemptible hierarchical RCU implementation.
  3925. [ 0.000000] RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
  3926. [ 0.000000] Tasks RCU enabled.
  3927. [ 0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1
  3928. [ 0.000000] NR_IRQS: 16, nr_irqs: 16, preallocated irqs: 16
  3929. [ 0.000000] arch_timer: cp15 timer(s) running at 24.00MHz (virt).
  3930. [ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff max_cycles: 0x588fe9dc0, max_idle_ns: 440795202592 ns
  3931. [ 0.000006] sched_clock: 56 bits at 24MHz, resolution 41ns, wraps every 4398046511097ns
  3932. [ 0.008061] Switching to timer-based delay loop, resolution 41ns
  3933. [ 0.014298] Console: colour dummy device 80x30
  3934. [ 0.018702] Calibrating delay loop (skipped), value calculated using timer frequency.. 48.00 BogoMIPS (lpj=96000)
  3935. [ 0.028997] pid_max: default: 32768 minimum: 301
  3936. [ 0.033796] Mount-cache hash table entries: 1024 (order: 0, 4096 bytes)
  3937. [ 0.040362] Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes)
  3938. [ 0.048118] CPU: Testing write buffer coherency: ok
  3939. [ 0.052972] CPU0: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
  3940. [ 0.062726] /cpus/cpu@0 missing clock-frequency property
  3941. [ 0.067996] CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
  3942. [ 0.089929] Setting up static identity map for 0x40100000 - 0x40100060
  3943. [ 0.104495] Hierarchical SRCU implementation.
  3944. [ 0.124986] smp: Bringing up secondary CPUs ...
  3945. [ 0.129477] smp: Brought up 1 node, 1 CPU
  3946. [ 0.133535] SMP: Total of 1 processors activated (48.00 BogoMIPS).
  3947. [ 0.139773] CPU: All CPU(s) started in SVC mode.
  3948. [ 0.145838] devtmpfs: initialized
  3949. [ 0.157421] VFP support v0.3: implementor 41 architecture 4 part 30 variant f rev 0
  3950. [ 0.165284] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
  3951. [ 0.174983] futex hash table entries: 256 (order: 2, 16384 bytes)
  3952. [ 0.183422] pinctrl core: initialized pinctrl subsystem
  3953. [ 0.190106] NET: Registered protocol family 16
  3954. [ 0.200022] DMA: preallocated 1024 KiB pool for atomic coherent allocations
  3955. [ 0.208584] cpuidle: using governor menu
  3956. [ 0.212779] hw-breakpoint: found 5 (+1 reserved) breakpoint and 4 watchpoint registers.
  3957. [ 0.220726] hw-breakpoint: maximum watchpoint size is 8 bytes.
  3958. [ 0.232654] exynos-audss-clk 3810000.audss-clock-controller: epll 180633609
  3959. [ 0.243773] samsung-pinctrl 13400000.pinctrl: failed to get alias id
  3960. [ 0.250079] samsung-pinctrl 13400000.pinctrl: driver data not available
  3961. [ 0.256760] samsung-pinctrl: probe of 13400000.pinctrl failed with error -2
  3962. [ 0.264094] samsung-pinctrl 13410000.pinctrl: failed to get alias id
  3963. [ 0.270400] samsung-pinctrl 13410000.pinctrl: driver data not available
  3964. [ 0.277078] samsung-pinctrl: probe of 13410000.pinctrl failed with error -2
  3965. [ 0.284394] samsung-pinctrl 14010000.pinctrl: failed to get alias id
  3966. [ 0.290699] samsung-pinctrl 14010000.pinctrl: driver data not available
  3967. [ 0.297380] samsung-pinctrl: probe of 14010000.pinctrl failed with error -2
  3968. [ 0.304757] samsung-pinctrl 3860000.pinctrl: failed to get alias id
  3969. [ 0.311014] samsung-pinctrl 3860000.pinctrl: driver data not available
  3970. [ 0.317628] samsung-pinctrl: probe of 3860000.pinctrl failed with error -2
  3971. [ 0.327891] EXYNOS5420 PMU initialized
  3972. [ 0.333082] genirq: irq_chip COMBINER did not update eff. affinity mask of irq 85
  3973. [ 0.386295] vgaarb: loaded
  3974. [ 0.389347] usbcore: registered new interface driver usbfs
  3975. [ 0.394869] usbcore: registered new interface driver hub
  3976. [ 0.400233] usbcore: registered new device driver usb
  3977. [ 0.405581] s3c-i2c 12c80000.i2c: prop pinctrl-0 index 0 invalid phandle
  3978. [ 0.412240] s3c-i2c: probe of 12c80000.i2c failed with error -22
  3979. [ 0.418547] media: Linux media interface: v0.10
  3980. [ 0.423070] Linux video capture interface: v2.00
  3981. [ 0.427826] pps_core: LinuxPPS API ver. 1 registered
  3982. [ 0.432740] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <[email protected]>
  3983. [ 0.442401] s3c2410-wdt 101d0000.watchdog: watchdog inactive, reset disabled, irq disabled
  3984. [ 0.454852] Advanced Linux Sound Architecture Driver Initialized.
  3985. [ 0.465517] clocksource: Switched to clocksource arch_sys_counter
  3986. [ 0.534508] VFS: Disk quotas dquot_6.6.0
  3987. [ 0.538460] VFS: Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
  3988. [ 0.555339] NET: Registered protocol family 2
  3989. [ 0.560271] TCP established hash table entries: 4096 (order: 2, 16384 bytes)
  3990. [ 0.567320] TCP bind hash table entries: 4096 (order: 3, 32768 bytes)
  3991. [ 0.573842] TCP: Hash tables configured (established 4096 bind 4096)
  3992. [ 0.580235] UDP hash table entries: 256 (order: 1, 8192 bytes)
  3993. [ 0.586091] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes)
  3994. [ 0.592556] NET: Registered protocol family 1
  3995. [ 0.609680] RPC: Registered named UNIX socket transport module.
  3996. [ 0.615584] RPC: Registered udp transport module.
  3997. [ 0.620309] RPC: Registered tcp transport module.
  3998. [ 0.625073] RPC: Registered tcp NFSv4.1 backchannel transport module.
  3999. [ 0.631585] PCI: CLS 0 bytes, default 64
  4000. [ 0.635784] Trying to unpack rootfs image as initramfs...
  4001. [ 2.440617] rootfs image is not initramfs (junk in compressed archive); looks like an initrd
  4002. [ 2.530501] Freeing initrd memory: 29352K
  4003. [ 2.536866] audit: initializing netlink subsys (disabled)
  4004. [ 2.542701] Initialise system trusted keyrings
  4005. [ 2.547126] audit: type=2000 audit(2.400:1): state=initialized audit_enabled=0 res=1
  4006. [ 2.555077] workingset: timestamp_bits=14 max_order=17 bucket_order=3
  4007. [ 2.574947] squashfs: version 4.0 (2009/01/31) Phillip Lougher
  4008. [ 2.586018] NFS: Registering the id_resolver key type
  4009. [ 2.591063] Key type id_resolver registered
  4010. [ 2.595264] Key type id_legacy registered
  4011. [ 2.599348] nfs4filelayout_init: NFSv4 File Layout Driver Registering...
  4012. [ 2.606137] romfs: ROMFS MTD (C) 2007 Red Hat, Inc.
  4013. [ 2.615822] Key type asymmetric registered
  4014. [ 2.619958] Asymmetric key parser 'x509' registered
  4015. [ 2.625079] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 245)
  4016. [ 2.637599] io scheduler noop registered
  4017. [ 2.641432] io scheduler deadline registered
  4018. [ 2.646000] io scheduler cfq registered (default)
  4019. [ 2.650658] io scheduler mq-deadline registered
  4020. [ 2.655244] io scheduler kyber registered
  4021. [ 2.659556] io scheduler bfq registered
  4022. [ 2.666188] dma-pl330: probe of 3880000.adma failed with error -2
  4023. [ 2.672306] dma-pl330: probe of 121a0000.pdma failed with error -2
  4024. [ 2.678544] dma-pl330: probe of 121b0000.pdma failed with error -2
  4025. [ 2.684774] dma-pl330: probe of 10800000.mdma failed with error -2
  4026. [ 2.752707] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
  4027. [ 2.777585] exynos-drm-ipp exynos-drm-ipp: drm ipp registered successfully.
  4028. [ 2.796563] brd: module loaded
  4029. [ 2.800175] libphy: Fixed MDIO Bus: probed
  4030. [ 2.804548] usbcore: registered new interface driver r8152
  4031. [ 2.810081] usbcore: registered new interface driver cdc_ether
  4032. [ 2.815919] usbcore: registered new interface driver cdc_subset
  4033. [ 2.823149] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
  4034. [ 2.829660] ehci-pci: EHCI PCI platform driver
  4035. [ 2.834183] ehci-exynos: EHCI EXYNOS driver
  4036. [ 2.838576] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
  4037. [ 2.844721] ohci-pci: OHCI PCI platform driver
  4038. [ 2.849262] ohci-exynos: OHCI EXYNOS driver
  4039. [ 2.854599] mousedev: PS/2 mouse device common for all mice
  4040. [ 2.860721] i2c /dev entries driver
  4041. [ 2.867859] device-mapper: uevent: version 1.0.3
  4042. [ 2.872782] device-mapper: ioctl: 4.37.0-ioctl (2017-09-20) initialised: [email protected]
  4043. [ 2.881970] sdhci: Secure Digital Host Controller Interface driver
  4044. [ 2.888133] sdhci: Copyright(c) Pierre Ossman
  4045. [ 2.892724] Synopsys Designware Multimedia Card Interface Driver
  4046. [ 2.899521] ledtrig-cpu: registered to indicate activity on CPUs
  4047. [ 2.905809] hidraw: raw HID events driver (C) Jiri Kosina
  4048. [ 2.914683] Netfilter messages via NETLINK v0.30.
  4049. [ 2.919556] nf_conntrack version 0.5.0 (8192 buckets, 32768 max)
  4050. [ 2.925897] nf_tables: (c) 2007-2009 Patrick McHardy <[email protected]>
  4051. [ 2.932694] ip_tables: (C) 2000-2006 Netfilter Core Team
  4052. [ 2.938241] arp_tables: arp_tables: (C) 2002 David S. Miller
  4053. [ 2.944431] NET: Registered protocol family 10
  4054. [ 2.953850] Segment Routing with IPv6
  4055. [ 2.957608] ip6_tables: (C) 2000-2006 Netfilter Core Team
  4056. [ 2.963336] NET: Registered protocol family 17
  4057. [ 2.967756] NET: Registered protocol family 15
  4058. [ 2.972269] bridge: filtering via arp/ip/ip6tables is no longer available by default. Update your scripts to load br_netfilter if you need this.
  4059. [ 2.985329] Key type dns_resolver registered
  4060. [ 2.989941] Failed to find PMU node
  4061. [ 2.993358] Registering SWP/SWPB emulation handler
  4062. [ 2.998948] registered taskstats version 1
  4063. [ 3.003005] Loading compiled-in X.509 certificates
  4064. [ 3.021284] Key type encrypted registered
  4065. [ 3.056948] hctosys: unable to open rtc device (rtc0)
  4066. [ 3.118568] Unable to handle kernel paging request at virtual address e0000000
  4067. [ 3.125699] pgd = dee18000
  4068. [ 3.128471] [e0000000] *pgd=00000000
  4069. [ 3.132118] Internal error: Oops: 5 [#1] PREEMPT SMP ARM
  4070. [ 3.137484] Modules linked in:
  4071. [ 3.140607] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 4.14.87+ #126
  4072. [ 3.146927] Hardware name: ODROID-XU4
  4073. [ 3.150654] task: df4b0000 task.stack: df4aa000
  4074. [ 3.155258] PC is at crc32_be+0x58/0x184
  4075. [ 3.159234] LR is at 0xc0a39030
  4076. [ 3.162439] pc : [<c0478388>] lr : [<c0a39030>] psr: 800e0013
  4077. [ 3.168765] sp : df4abeb8 ip : dc4fb8f1 fp : 00001c10
  4078. [ 3.174051] r10: 00001010 r9 : 00001810 r8 : 00001410
  4079. [ 3.179337] r7 : 8a4dc6ca r6 : 1acf1a92 r5 : dffffffc r4 : c9971498
  4080. [ 3.185922] r3 : 1596909c r2 : f28269e3 r1 : cfdefddc r0 : aa8dcdd8
  4081. [ 3.192511] Flags: Nzcv IRQs on FIQs on Mode SVC_32 ISA ARM Segment none
  4082. [ 3.199701] Control: 10c5387d Table: 5ee1806a DAC: 00000051
  4083. [ 3.205507] Process swapper/0 (pid: 1, stack limit = 0xdf4aa210)
  4084. [ 3.211572] Stack: (0xdf4abeb8 to 0xdf4ac000)
  4085. [ 3.215994] bea0: 1dcd6500 defffffc
  4086. [ 3.224228] bec0: 00000007 f0defde0 00000000 f0defde7 c0effe44 c0d3fe94 00000000 c0d5b83c
  4087. [ 3.232459] bee0: c0d859e0 00000008 00000000 c0d3fec0 c0e04d88 ffffe000 c0d3fe94 c0101c18
  4088. [ 3.240691] bf00: 00000000 dffffe69 c0c77f30 dffffe00 00000101 c0142df4 00000000 00000000
  4089. [ 3.248923] bf20: c0c7706c 00000000 c0e9e150 00000007 00000007 c0b6e7d0 c0b665d8 c0b66690
  4090. [ 3.257156] bf40: dffffe69 dffffe75 00000000 fc408504 c0eb5ac0 c0eb5ac0 c0eb5ac0 00000101
  4091. [ 3.265387] bf60: c0d5b838 c0d5b83c c0d859e0 c0d00e48 00000007 00000007 00000000 c0d005c4
  4092. [ 3.273620] bf80: c09857d4 00000000 c09857d4 00000000 00000000 00000000 00000000 00000000
  4093. [ 3.281852] bfa0: 00000000 c09857dc 00000000 c0108768 00000000 00000000 00000000 00000000
  4094. [ 3.290084] bfc0: 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000
  4095. [ 3.298316] bfe0: 00000000 00000000 00000000 00000000 00000013 00000000 00000000 00000000
  4096. [ 3.306566] [<c0478388>] (crc32_be) from [<c0d3fec0>] (of_fdt_raw_init+0x2c/0x74)
  4097. [ 3.314093] [<c0d3fec0>] (of_fdt_raw_init) from [<c0101c18>] (do_one_initcall+0x54/0x18c)
  4098. [ 3.322330] [<c0101c18>] (do_one_initcall) from [<c0d00e48>] (kernel_init_freeable+0x140/0x1cc)
  4099. [ 3.331076] [<c0d00e48>] (kernel_init_freeable) from [<c09857dc>] (kernel_init+0x8/0x114)
  4100. [ 3.339309] [<c09857dc>] (kernel_init) from [<c0108768>] (ret_from_fork+0x14/0x2c)
  4101. [ 3.346932] Code: e301bc10 e301a010 e3019810 e3018410 (e5953004)
  4102. [ 3.353085] ---[ end trace 0a798b0ce118c9da ]---
  4103. [ 3.358252] Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
  4104. [ 3.358252]
  4105. [ 3.367386] ---[ end Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b
  4106. [ 3.367386]
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!