API tools faq
paste
bwt93

No-Python

bwt93
May 26th, 2020
95
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 197.28 KB | None | 0 0
raw download clone embed print report
  1.  
  2.  
  3. U-Boot 2017.05-00004-g88af53fbce (Apr 22 2020 - 11:52:48 +0100) for ODROID-XU4
  4.  
  5. CPU: Exynos5422 @ 800 MHz
  6. Model: Odroid XU4 based on EXYNOS5422
  7. Board: Odroid XU4 based on EXYNOS5422
  8. Type: xu4
  9. DRAM: 2 GiB
  10. MMC: EXYNOS DWMMC: 0, EXYNOS DWMMC: 1
  11. MMC Device 0 (eMMC): 14.6 GiB
  12. Info eMMC rst_n_func status = enabled
  13. Card did not respond to voltage select!
  14. mmc_init: -95, time 11
  15. *** Warning - bad CRC, using default environment
  16.  
  17. In: serial
  18. Out: serial
  19. Err: serial
  20. Net: No ethernet found.
  21. Press quickly 'Enter' twice to stop autoboot: 1  0
  22. reading boot.ini
  23. 9735 bytes read in 3 ms (3.1 MiB/s)
  24. cfgload addr = 0x50000000, Loading boot.ini from FAT
  25. cfgload: applying boot.ini...
  26. cfgload: setenv initrd_high "0xffffffff"
  27. cfgload: setenv fdt_high "0xffffffff"
  28. cfgload: setenv macaddr "00:1e:06:61:7a:39"
  29. cfgload: setenv vout "hdmi"
  30. cfgload: setenv cecenable "false" # false or true
  31. cfgload: setenv disable_vu7 "false" # false
  32. cfgload: setenv ddr_freq 825
  33. cfgload: setenv external_watchdog "false"
  34. cfgload: setenv external_watchdog_debounce "3"
  35. cfgload: setenv HPD "true"
  36. cfgload: setenv bootrootfs "console=tty1 console=ttySAC2,115200n8 root=UUID=e139ce78-9841-40fe-8823-96a304a09859 rootwait ro fsck.repair=yes net.ifnames=0"
  37. cfgload: fatload mmc 0:1 ${kernel_addr_r} vm.elf
  38. reading vm.elf
  39. 43044652 bytes read in 1514 ms (27.1 MiB/s)
  40. cfgload: dmc ${ddr_freq}
  41. cfgload: bootelf ${kernel_addr_r}
  42. CACHE: Misaligned operation at range [62ced000, 62ced034]
  43. CACHE: Misaligned operation at range [62cee000, 62cf809c]
  44. CACHE: Misaligned operation at range [62cf809c, 62cf8bef]
  45. CACHE: Misaligned operation at range [655d5440, 655d54e4]
  46. CACHE: Misaligned operation at range [655d54e4, 655d5510]
  47. ## Starting application at 0x62ced000 ...
  48.  
  49. Switching CPU...
  50.  
  51. ELF-loader started on CPU: ARM Ltd. Cortex-A15 r2p3
  52. paddr=[62ced000..655d550f]
  53. No DTB passed in from boot loader.
  54. Looking for DTB in CPIO archive...found at 62e08b2c.
  55. Loaded DTB from 62e08b2c.
  56. paddr=[6003e000..6004cfff]
  57. ELF-loading image 'kernel'
  58. paddr=[60000000..6003dfff]
  59. vaddr=[e0000000..e003dfff]
  60. virt_entry=e0000000
  61. ELF-loading image 'capdl-loader'
  62. paddr=[6004d000..628f5fff]
  63. vaddr=[10000..28b8fff]
  64. virt_entry=19a1c
  65. Enabling hypervisor MMU and paging
  66. Jumping to kernel-image entry point...
  67.  
  68. Bootstrapping kernel
  69. Booting all finished, dropped to user space
  70. [email protected]:2028 Starting Loader...
  71.  
  72. [email protected]:434 Parsing bootinfo...
  73.  
  74. [email protected]:450 251589 free cap slots, from 10555 to 262144
  75.  
  76. [email protected]:505 Loader is running in domain 0
  77.  
  78. [email protected]:391 Sorting untypeds...
  79.  
  80. [email protected]:416 Untyped 0 (cptr=0x28da) (addr=0) is of size 28. Skipping as it is device
  81.  
  82. [email protected]:416 Untyped 1 (cptr=0x28db) (addr=0x10000000) is of size 20. Skipping as it is device
  83.  
  84. [email protected]:416 Untyped 2 (cptr=0x28dc) (addr=0x10100000) is of size 19. Skipping as it is device
  85.  
  86. [email protected]:416 Untyped 3 (cptr=0x28dd) (addr=0x10180000) is of size 18. Skipping as it is device
  87.  
  88. [email protected]:416 Untyped 4 (cptr=0x28de) (addr=0x101c1000) is of size 12. Skipping as it is device
  89.  
  90. [email protected]:416 Untyped 5 (cptr=0x28df) (addr=0x101c2000) is of size 13. Skipping as it is device
  91.  
  92. [email protected]:416 Untyped 6 (cptr=0x28e0) (addr=0x101c4000) is of size 14. Skipping as it is device
  93.  
  94. [email protected]:416 Untyped 7 (cptr=0x28e1) (addr=0x101c8000) is of size 15. Skipping as it is device
  95.  
  96. [email protected]:416 Untyped 8 (cptr=0x28e2) (addr=0x101d0000) is of size 16. Skipping as it is device
  97.  
  98. [email protected]:416 Untyped 9 (cptr=0x28e3) (addr=0x101e0000) is of size 17. Skipping as it is device
  99.  
  100. [email protected]:416 Untyped 10 (cptr=0x28e4) (addr=0x10200000) is of size 21. Skipping as it is device
  101.  
  102. [email protected]:416 Untyped 11 (cptr=0x28e5) (addr=0x10400000) is of size 19. Skipping as it is device
  103.  
  104. [email protected]:416 Untyped 12 (cptr=0x28e6) (addr=0x10480000) is of size 12. Skipping as it is device
  105.  
  106. [email protected]:416 Untyped 13 (cptr=0x28e7) (addr=0x10483000) is of size 12. Skipping as it is device
  107.  
  108. [email protected]:416 Untyped 14 (cptr=0x28e8) (addr=0x10485000) is of size 12. Skipping as it is device
  109.  
  110. [email protected]:416 Untyped 15 (cptr=0x28e9) (addr=0x10486000) is of size 13. Skipping as it is device
  111.  
  112. [email protected]:416 Untyped 16 (cptr=0x28ea) (addr=0x10488000) is of size 15. Skipping as it is device
  113.  
  114. [email protected]:416 Untyped 17 (cptr=0x28eb) (addr=0x10490000) is of size 16. Skipping as it is device
  115.  
  116. [email protected]:416 Untyped 18 (cptr=0x28ec) (addr=0x104a0000) is of size 17. Skipping as it is device
  117.  
  118. [email protected]:416 Untyped 19 (cptr=0x28ed) (addr=0x104c0000) is of size 18. Skipping as it is device
  119.  
  120. [email protected]:416 Untyped 20 (cptr=0x28ee) (addr=0x10500000) is of size 20. Skipping as it is device
  121.  
  122. [email protected]:416 Untyped 21 (cptr=0x28ef) (addr=0x10600000) is of size 21. Skipping as it is device
  123.  
  124. [email protected]:416 Untyped 22 (cptr=0x28f0) (addr=0x10800000) is of size 23. Skipping as it is device
  125.  
  126. [email protected]:416 Untyped 23 (cptr=0x28f1) (addr=0x11000000) is of size 24. Skipping as it is device
  127.  
  128. [email protected]:416 Untyped 24 (cptr=0x28f2) (addr=0x12000000) is of size 25. Skipping as it is device
  129.  
  130. [email protected]:416 Untyped 25 (cptr=0x28f3) (addr=0x14000000) is of size 26. Skipping as it is device
  131.  
  132. [email protected]:416 Untyped 26 (cptr=0x28f4) (addr=0x18000000) is of size 27. Skipping as it is device
  133.  
  134. [email protected]:416 Untyped 27 (cptr=0x28f5) (addr=0x20000000) is of size 29. Skipping as it is device
  135.  
  136. [email protected]:416 Untyped 28 (cptr=0x28f6) (addr=0x40000000) is of size 29. Skipping as it is device
  137.  
  138. [email protected]:416 Untyped 29 (cptr=0x28f7) (addr=0x7f200000) is of size 21. Skipping as it is device
  139.  
  140. [email protected]:416 Untyped 30 (cptr=0x28f8) (addr=0x7f400000) is of size 22. Skipping as it is device
  141.  
  142. [email protected]:416 Untyped 31 (cptr=0x28f9) (addr=0x7f800000) is of size 23. Skipping as it is device
  143.  
  144. [email protected]:416 Untyped 32 (cptr=0x28fa) (addr=0x80000000) is of size 29. Skipping as it is device
  145.  
  146. [email protected]:416 Untyped 33 (cptr=0x28fb) (addr=0xa0000000) is of size 29. Skipping as it is device
  147.  
  148. [email protected]:416 Untyped 34 (cptr=0x28fc) (addr=0xc0000000) is of size 29. Skipping as it is device
  149.  
  150. [email protected]:416 Untyped 35 (cptr=0x28fd) (addr=0xe0000000) is of size 28. Skipping as it is device
  151.  
  152. [email protected]:416 Untyped 36 (cptr=0x28fe) (addr=0xf0000000) is of size 27. Skipping as it is device
  153.  
  154. [email protected]:416 Untyped 37 (cptr=0x28ff) (addr=0xf8000000) is of size 26. Skipping as it is device
  155.  
  156. [email protected]:416 Untyped 38 (cptr=0x2900) (addr=0xfc000000) is of size 25. Skipping as it is device
  157.  
  158. [email protected]:416 Untyped 39 (cptr=0x2901) (addr=0xfe000000) is of size 24. Skipping as it is device
  159.  
  160. [email protected]:416 Untyped 40 (cptr=0x2902) (addr=0xff000000) is of size 23. Skipping as it is device
  161.  
  162. [email protected]:416 Untyped 41 (cptr=0x2903) (addr=0xff800000) is of size 22. Skipping as it is device
  163.  
  164. [email protected]:416 Untyped 42 (cptr=0x2904) (addr=0xffc00000) is of size 21. Skipping as it is device
  165.  
  166. [email protected]:416 Untyped 43 (cptr=0x2905) (addr=0xffe00000) is of size 20. Skipping as it is device
  167.  
  168. [email protected]:416 Untyped 44 (cptr=0x2906) (addr=0xfff00000) is of size 19. Skipping as it is device
  169.  
  170. [email protected]:416 Untyped 45 (cptr=0x2907) (addr=0xfff80000) is of size 18. Skipping as it is device
  171.  
  172. [email protected]:416 Untyped 46 (cptr=0x2908) (addr=0xfffc0000) is of size 17. Skipping as it is device
  173.  
  174. [email protected]:416 Untyped 47 (cptr=0x2909) (addr=0xfffe0000) is of size 16. Skipping as it is device
  175.  
  176. [email protected]:416 Untyped 48 (cptr=0x290a) (addr=0xffff0000) is of size 15. Skipping as it is device
  177.  
  178. [email protected]:416 Untyped 49 (cptr=0x290b) (addr=0xffff8000) is of size 14. Skipping as it is device
  179.  
  180. [email protected]:416 Untyped 50 (cptr=0x290c) (addr=0xffffc000) is of size 13. Skipping as it is device
  181.  
  182. [email protected]:416 Untyped 51 (cptr=0x290d) (addr=0xffffe000) is of size 12. Skipping as it is device
  183.  
  184. [email protected]:416 Untyped 52 (cptr=0x290e) (addr=0xfffff000) is of size 11. Skipping as it is device
  185.  
  186. [email protected]:416 Untyped 53 (cptr=0x290f) (addr=0xfffff800) is of size 10. Skipping as it is device
  187.  
  188. [email protected]:416 Untyped 54 (cptr=0x2910) (addr=0xfffffc00) is of size 9. Skipping as it is device
  189.  
  190. [email protected]:416 Untyped 55 (cptr=0x2911) (addr=0xfffffe00) is of size 8. Skipping as it is device
  191.  
  192. [email protected]:416 Untyped 56 (cptr=0x2912) (addr=0xffffff00) is of size 7. Skipping as it is device
  193.  
  194. [email protected]:416 Untyped 57 (cptr=0x2913) (addr=0xffffff80) is of size 6. Skipping as it is device
  195.  
  196. [email protected]:416 Untyped 58 (cptr=0x2914) (addr=0xffffffc0) is of size 5. Skipping as it is device
  197.  
  198. [email protected]:416 Untyped 59 (cptr=0x2915) (addr=0xffffffe0) is of size 4. Skipping as it is device
  199.  
  200. [email protected]:422 Untyped 60 (cptr=0x2916) (addr=0x60000000) is of size 16. Placing in slot 14...
  201.  
  202. [email protected]:422 Untyped 61 (cptr=0x2917) (addr=0x628f6000) is of size 13. Placing in slot 17...
  203.  
  204. [email protected]:422 Untyped 62 (cptr=0x2918) (addr=0x628f8000) is of size 15. Placing in slot 16...
  205.  
  206. [email protected]:422 Untyped 63 (cptr=0x2919) (addr=0x62900000) is of size 20. Placing in slot 10...
  207.  
  208. [email protected]:422 Untyped 64 (cptr=0x291a) (addr=0x62a00000) is of size 21. Placing in slot 8...
  209.  
  210. [email protected]:422 Untyped 65 (cptr=0x291b) (addr=0x62c00000) is of size 22. Placing in slot 7...
  211.  
  212. [email protected]:422 Untyped 66 (cptr=0x291c) (addr=0x63000000) is of size 24. Placing in slot 5...
  213.  
  214. [email protected]:422 Untyped 67 (cptr=0x291d) (addr=0x64000000) is of size 26. Placing in slot 2...
  215.  
  216. [email protected]:422 Untyped 68 (cptr=0x291e) (addr=0x68000000) is of size 27. Placing in slot 0...
  217.  
  218. [email protected]:422 Untyped 69 (cptr=0x291f) (addr=0x70000000) is of size 27. Placing in slot 1...
  219.  
  220. [email protected]:422 Untyped 70 (cptr=0x2920) (addr=0x78000000) is of size 26. Placing in slot 3...
  221.  
  222. [email protected]:422 Untyped 71 (cptr=0x2921) (addr=0x7c000000) is of size 25. Placing in slot 4...
  223.  
  224. [email protected]:422 Untyped 72 (cptr=0x2922) (addr=0x7e000000) is of size 23. Placing in slot 6...
  225.  
  226. [email protected]:422 Untyped 73 (cptr=0x2923) (addr=0x7ec2c800) is of size 11. Placing in slot 20...
  227.  
  228. [email protected]:422 Untyped 74 (cptr=0x2924) (addr=0x7ec2d000) is of size 12. Placing in slot 19...
  229.  
  230. [email protected]:422 Untyped 75 (cptr=0x2925) (addr=0x7ec2e000) is of size 13. Placing in slot 18...
  231.  
  232. [email protected]:422 Untyped 76 (cptr=0x2926) (addr=0x7ec30000) is of size 16. Placing in slot 15...
  233.  
  234. [email protected]:422 Untyped 77 (cptr=0x2927) (addr=0x7ec40000) is of size 18. Placing in slot 13...
  235.  
  236. [email protected]:422 Untyped 78 (cptr=0x2928) (addr=0x7ec80000) is of size 19. Placing in slot 12...
  237.  
  238. [email protected]:422 Untyped 79 (cptr=0x2929) (addr=0x7ed00000) is of size 20. Placing in slot 11...
  239.  
  240. [email protected]:422 Untyped 80 (cptr=0x292a) (addr=0x7ee00000) is of size 21. Placing in slot 9...
  241.  
  242. [email protected]:770 Creating objects...
  243.  
  244. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x2073000 in slot 10555, from untyped 291e...
  245.  
  246. [email protected]:656 device frame/untyped, paddr = 0x2073000, size = 12 bits
  247. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3810000 in slot 10556, from untyped 291e...
  248.  
  249. [email protected]:656 device frame/untyped, paddr = 0x3810000, size = 12 bits
  250. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3830000 in slot 10557, from untyped 291e...
  251.  
  252. [email protected]:656 device frame/untyped, paddr = 0x3830000, size = 12 bits
  253. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3860000 in slot 10558, from untyped 291e...
  254.  
  255. [email protected]:656 device frame/untyped, paddr = 0x3860000, size = 12 bits
  256. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x3880000 in slot 10559, from untyped 291e...
  257.  
  258. [email protected]:656 device frame/untyped, paddr = 0x3880000, size = 12 bits
  259. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10000000 in slot 10560, from untyped 291e...
  260.  
  261. [email protected]:656 device frame/untyped, paddr = 0x10000000, size = 12 bits
  262. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10010000 in slot 10561, from untyped 291e...
  263.  
  264. [email protected]:656 device frame/untyped, paddr = 0x10010000, size = 16 bits
  265. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10020000 in slot 10562, from untyped 291e...
  266.  
  267. [email protected]:656 device frame/untyped, paddr = 0x10020000, size = 17 bits
  268. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10040000 in slot 10563, from untyped 291e...
  269.  
  270. [email protected]:656 device frame/untyped, paddr = 0x10040000, size = 14 bits
  271. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10044000 in slot 10564, from untyped 291e...
  272.  
  273. [email protected]:656 device frame/untyped, paddr = 0x10044000, size = 12 bits
  274. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10050000 in slot 10565, from untyped 291e...
  275.  
  276. [email protected]:656 device frame/untyped, paddr = 0x10050000, size = 14 bits
  277. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10054000 in slot 10566, from untyped 291e...
  278.  
  279. [email protected]:656 device frame/untyped, paddr = 0x10054000, size = 12 bits
  280. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10060000 in slot 10567, from untyped 291e...
  281.  
  282. [email protected]:656 device frame/untyped, paddr = 0x10060000, size = 12 bits
  283. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10064000 in slot 10568, from untyped 291e...
  284.  
  285. [email protected]:656 device frame/untyped, paddr = 0x10064000, size = 12 bits
  286. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10068000 in slot 10569, from untyped 291e...
  287.  
  288. [email protected]:656 device frame/untyped, paddr = 0x10068000, size = 12 bits
  289. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x1006c000 in slot 10570, from untyped 291e...
  290.  
  291. [email protected]:656 device frame/untyped, paddr = 0x1006c000, size = 12 bits
  292. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x100a0000 in slot 10571, from untyped 291e...
  293.  
  294. [email protected]:656 device frame/untyped, paddr = 0x100a0000, size = 12 bits
  295. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x101d0000 in slot 10572, from untyped 291e...
  296.  
  297. [email protected]:656 device frame/untyped, paddr = 0x101d0000, size = 12 bits
  298. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x101e0000 in slot 10573, from untyped 291e...
  299.  
  300. [email protected]:656 device frame/untyped, paddr = 0x101e0000, size = 12 bits
  301. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10440000 in slot 10574, from untyped 291e...
  302.  
  303. [email protected]:656 device frame/untyped, paddr = 0x10440000, size = 12 bits
  304. [email protected]:792 Creating object vm0_untyped_cap_0x10486000 in slot 10575, from untyped 291e...
  305.  
  306. [email protected]:656 device frame/untyped, paddr = 0x10486000, size = 12 bits
  307. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10800000 in slot 10576, from untyped 291e...
  308.  
  309. [email protected]:656 device frame/untyped, paddr = 0x10800000, size = 12 bits
  310. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10a60000 in slot 10577, from untyped 291e...
  311.  
  312. [email protected]:656 device frame/untyped, paddr = 0x10a60000, size = 12 bits
  313. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10a70000 in slot 10578, from untyped 291e...
  314.  
  315. [email protected]:656 device frame/untyped, paddr = 0x10a70000, size = 12 bits
  316. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10ca1000 in slot 10579, from untyped 291e...
  317.  
  318. [email protected]:656 device frame/untyped, paddr = 0x10ca1000, size = 12 bits
  319. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x10d20000 in slot 10580, from untyped 291e...
  320.  
  321. [email protected]:656 device frame/untyped, paddr = 0x10d20000, size = 12 bits
  322. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11200000 in slot 10581, from untyped 291e...
  323.  
  324. [email protected]:656 device frame/untyped, paddr = 0x11200000, size = 12 bits
  325. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11210000 in slot 10582, from untyped 291e...
  326.  
  327. [email protected]:656 device frame/untyped, paddr = 0x11210000, size = 12 bits
  328. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11d40000 in slot 10583, from untyped 291e...
  329.  
  330. [email protected]:656 device frame/untyped, paddr = 0x11d40000, size = 12 bits
  331. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11f10000 in slot 10584, from untyped 291e...
  332.  
  333. [email protected]:656 device frame/untyped, paddr = 0x11f10000, size = 12 bits
  334. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x11f20000 in slot 10585, from untyped 291e...
  335.  
  336. [email protected]:656 device frame/untyped, paddr = 0x11f20000, size = 12 bits
  337. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12000000 in slot 10586, from untyped 291e...
  338.  
  339. [email protected]:656 device frame/untyped, paddr = 0x12000000, size = 16 bits
  340. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12100000 in slot 10587, from untyped 291e...
  341.  
  342. [email protected]:656 device frame/untyped, paddr = 0x12100000, size = 12 bits
  343. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12110000 in slot 10588, from untyped 291e...
  344.  
  345. [email protected]:656 device frame/untyped, paddr = 0x12110000, size = 12 bits
  346. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12120000 in slot 10589, from untyped 291e...
  347.  
  348. [email protected]:656 device frame/untyped, paddr = 0x12120000, size = 12 bits
  349. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12130000 in slot 10590, from untyped 291e...
  350.  
  351. [email protected]:656 device frame/untyped, paddr = 0x12130000, size = 12 bits
  352. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x121a0000 in slot 10591, from untyped 291e...
  353.  
  354. [email protected]:656 device frame/untyped, paddr = 0x121a0000, size = 12 bits
  355. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x121b0000 in slot 10592, from untyped 291e...
  356.  
  357. [email protected]:656 device frame/untyped, paddr = 0x121b0000, size = 12 bits
  358. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12200000 in slot 10593, from untyped 291e...
  359.  
  360. [email protected]:656 device frame/untyped, paddr = 0x12200000, size = 13 bits
  361. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12210000 in slot 10594, from untyped 291e...
  362.  
  363. [email protected]:656 device frame/untyped, paddr = 0x12210000, size = 13 bits
  364. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12220000 in slot 10595, from untyped 291e...
  365.  
  366. [email protected]:656 device frame/untyped, paddr = 0x12220000, size = 12 bits
  367. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12400000 in slot 10596, from untyped 291e...
  368.  
  369. [email protected]:656 device frame/untyped, paddr = 0x12400000, size = 16 bits
  370. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12500000 in slot 10597, from untyped 291e...
  371.  
  372. [email protected]:656 device frame/untyped, paddr = 0x12500000, size = 12 bits
  373. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12880000 in slot 10598, from untyped 291e...
  374.  
  375. [email protected]:656 device frame/untyped, paddr = 0x12880000, size = 12 bits
  376. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12890000 in slot 10599, from untyped 291e...
  377.  
  378. [email protected]:656 device frame/untyped, paddr = 0x12890000, size = 12 bits
  379. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128a0000 in slot 10600, from untyped 291e...
  380.  
  381. [email protected]:656 device frame/untyped, paddr = 0x128a0000, size = 12 bits
  382. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128c0000 in slot 10601, from untyped 291e...
  383.  
  384. [email protected]:656 device frame/untyped, paddr = 0x128c0000, size = 12 bits
  385. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128d0000 in slot 10602, from untyped 291e...
  386.  
  387. [email protected]:656 device frame/untyped, paddr = 0x128d0000, size = 12 bits
  388. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x128e0000 in slot 10603, from untyped 291e...
  389.  
  390. [email protected]:656 device frame/untyped, paddr = 0x128e0000, size = 12 bits
  391. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c00000 in slot 10604, from untyped 291e...
  392.  
  393. [email protected]:656 device frame/untyped, paddr = 0x12c00000, size = 12 bits
  394. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c10000 in slot 10605, from untyped 291e...
  395.  
  396. [email protected]:656 device frame/untyped, paddr = 0x12c10000, size = 12 bits
  397. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c20000 in slot 10606, from untyped 291e...
  398.  
  399. [email protected]:656 device frame/untyped, paddr = 0x12c20000, size = 12 bits
  400. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c30000 in slot 10607, from untyped 291e...
  401.  
  402. [email protected]:656 device frame/untyped, paddr = 0x12c30000, size = 12 bits
  403. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c60000 in slot 10608, from untyped 291e...
  404.  
  405. [email protected]:656 device frame/untyped, paddr = 0x12c60000, size = 12 bits
  406. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c70000 in slot 10609, from untyped 291e...
  407.  
  408. [email protected]:656 device frame/untyped, paddr = 0x12c70000, size = 12 bits
  409. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c80000 in slot 10610, from untyped 291e...
  410.  
  411. [email protected]:656 device frame/untyped, paddr = 0x12c80000, size = 12 bits
  412. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12c90000 in slot 10611, from untyped 291e...
  413.  
  414. [email protected]:656 device frame/untyped, paddr = 0x12c90000, size = 12 bits
  415. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12ca0000 in slot 10612, from untyped 291e...
  416.  
  417. [email protected]:656 device frame/untyped, paddr = 0x12ca0000, size = 12 bits
  418. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12cb0000 in slot 10613, from untyped 291e...
  419.  
  420. [email protected]:656 device frame/untyped, paddr = 0x12cb0000, size = 12 bits
  421. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12cc0000 in slot 10614, from untyped 291e...
  422.  
  423. [email protected]:656 device frame/untyped, paddr = 0x12cc0000, size = 12 bits
  424. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12d10000 in slot 10615, from untyped 291e...
  425.  
  426. [email protected]:656 device frame/untyped, paddr = 0x12d10000, size = 12 bits
  427. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x12dd0000 in slot 10616, from untyped 291e...
  428.  
  429. [email protected]:656 device frame/untyped, paddr = 0x12dd0000, size = 12 bits
  430. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13400000 in slot 10617, from untyped 291e...
  431.  
  432. [email protected]:656 device frame/untyped, paddr = 0x13400000, size = 12 bits
  433. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13410000 in slot 10618, from untyped 291e...
  434.  
  435. [email protected]:656 device frame/untyped, paddr = 0x13410000, size = 12 bits
  436. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e00000 in slot 10619, from untyped 291e...
  437.  
  438. [email protected]:656 device frame/untyped, paddr = 0x13e00000, size = 12 bits
  439. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e10000 in slot 10620, from untyped 291e...
  440.  
  441. [email protected]:656 device frame/untyped, paddr = 0x13e10000, size = 12 bits
  442. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e80000 in slot 10621, from untyped 291e...
  443.  
  444. [email protected]:656 device frame/untyped, paddr = 0x13e80000, size = 12 bits
  445. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x13e90000 in slot 10622, from untyped 291e...
  446.  
  447. [email protected]:656 device frame/untyped, paddr = 0x13e90000, size = 12 bits
  448. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14010000 in slot 10623, from untyped 291e...
  449.  
  450. [email protected]:656 device frame/untyped, paddr = 0x14010000, size = 12 bits
  451. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14640000 in slot 10624, from untyped 291e...
  452.  
  453. [email protected]:656 device frame/untyped, paddr = 0x14640000, size = 12 bits
  454. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14650000 in slot 10625, from untyped 291e...
  455.  
  456. [email protected]:656 device frame/untyped, paddr = 0x14650000, size = 12 bits
  457. [email protected]:792 Creating object vm_dtb_dtb_untyped_cap_0x14680000 in slot 10626, from untyped 291e...
  458.  
  459. [email protected]:656 device frame/untyped, paddr = 0x14680000, size = 12 bits
  460. [email protected]:792 Creating object vm0_untyped_cap_0x80000000 in slot 10627, from untyped 291e...
  461.  
  462. [email protected]:656 device frame/untyped, paddr = 0x80000000, size = 28 bits
  463. [email protected]:792 Creating object vm0_untyped_cap_0x90000000 in slot 10628, from untyped 291e...
  464.  
  465. [email protected]:656 device frame/untyped, paddr = 0x90000000, size = 28 bits
  466. [email protected]:792 Creating object vm0_untyped_cap_0xa0000000 in slot 10629, from untyped 291e...
  467.  
  468. [email protected]:656 device frame/untyped, paddr = 0xa0000000, size = 28 bits
  469. [email protected]:792 Creating object vm0_cnode in slot 10630, from untyped 291e...
  470.  
  471. [email protected]:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
  472. (CNode of size 23 bits)
  473. [email protected]:792 Creating object frame_vm0_group_bin_0046 in slot 10631, from untyped 291e...
  474.  
  475. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 0 bytes available).>>
  476. [email protected]:792 Creating object frame_vm0_group_bin_0046 in slot 10631, from untyped 291f...
  477.  
  478. [email protected]:792 Creating object vm0_simple_untyped_24_pool_0 in slot 10632, from untyped 291f...
  479.  
  480. [email protected]:792 Creating object vm0_simple_untyped_24_pool_1 in slot 10633, from untyped 291f...
  481.  
  482. [email protected]:792 Creating object vm0_simple_untyped_24_pool_10 in slot 10634, from untyped 291f...
  483.  
  484. [email protected]:792 Creating object vm0_simple_untyped_24_pool_11 in slot 10635, from untyped 291f...
  485.  
  486. [email protected]:792 Creating object vm0_simple_untyped_24_pool_2 in slot 10636, from untyped 291f...
  487.  
  488. [email protected]:792 Creating object vm0_simple_untyped_24_pool_3 in slot 10637, from untyped 291f...
  489.  
  490. [email protected]:792 Creating object vm0_simple_untyped_24_pool_4 in slot 10638, from untyped 291f...
  491.  
  492. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
  493. [email protected]:792 Creating object vm0_simple_untyped_24_pool_4 in slot 10638, from untyped 291d...
  494.  
  495. [email protected]:792 Creating object vm0_simple_untyped_24_pool_5 in slot 10639, from untyped 291d...
  496.  
  497. [email protected]:792 Creating object vm0_simple_untyped_24_pool_6 in slot 10640, from untyped 291d...
  498.  
  499. [email protected]:792 Creating object vm0_simple_untyped_24_pool_7 in slot 10641, from untyped 291d...
  500.  
  501. [email protected]:792 Creating object vm0_simple_untyped_24_pool_8 in slot 10642, from untyped 291d...
  502.  
  503. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>>
  504. [email protected]:792 Creating object vm0_simple_untyped_24_pool_8 in slot 10642, from untyped 2920...
  505.  
  506. [email protected]:792 Creating object vm0_simple_untyped_24_pool_9 in slot 10643, from untyped 2920...
  507.  
  508. [email protected]:792 Creating object frame_fserv_group_bin_0031 in slot 10644, from untyped 2920...
  509.  
  510. [email protected]:792 Creating object frame_fserv_group_bin_0032 in slot 10645, from untyped 2920...
  511.  
  512. [email protected]:792 Creating object frame_fserv_group_bin_0033 in slot 10646, from untyped 2920...
  513.  
  514. [email protected]:792 Creating object frame_fserv_group_bin_0034 in slot 10647, from untyped 2920...
  515.  
  516. [email protected]:792 Creating object frame_fserv_group_bin_0035 in slot 10648, from untyped 2920...
  517.  
  518. [email protected]:792 Creating object frame_fserv_group_bin_0036 in slot 10649, from untyped 2920...
  519.  
  520. [email protected]:792 Creating object frame_fserv_group_bin_0037 in slot 10650, from untyped 2920...
  521.  
  522. [email protected]:792 Creating object frame_fserv_group_bin_0038 in slot 10651, from untyped 2920...
  523.  
  524. [email protected]:792 Creating object frame_fserv_group_bin_0039 in slot 10652, from untyped 2920...
  525.  
  526. [email protected]:792 Creating object frame_fserv_group_bin_0040 in slot 10653, from untyped 2920...
  527.  
  528. [email protected]:792 Creating object frame_fserv_group_bin_0041 in slot 10654, from untyped 2920...
  529.  
  530. [email protected]:792 Creating object frame_fserv_group_bin_0042 in slot 10655, from untyped 2920...
  531.  
  532. [email protected]:792 Creating object frame_fserv_group_bin_0043 in slot 10656, from untyped 2920...
  533.  
  534. [email protected]:792 Creating object frame_fserv_group_bin_0044 in slot 10657, from untyped 2920...
  535.  
  536. [email protected]:792 Creating object frame_fserv_group_bin_0045 in slot 10658, from untyped 2920...
  537.  
  538. [email protected]:792 Creating object frame_fserv_group_bin_0046 in slot 10659, from untyped 2920...
  539.  
  540. [email protected]:792 Creating object frame_fserv_group_bin_0047 in slot 10660, from untyped 2920...
  541.  
  542. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  543. [email protected]:792 Creating object frame_fserv_group_bin_0047 in slot 10660, from untyped 2921...
  544.  
  545. [email protected]:792 Creating object frame_vm0_group_bin_0031 in slot 10661, from untyped 2921...
  546.  
  547. [email protected]:792 Creating object frame_vm0_group_bin_0032 in slot 10662, from untyped 2921...
  548.  
  549. [email protected]:792 Creating object frame_vm0_group_bin_0033 in slot 10663, from untyped 2921...
  550.  
  551. [email protected]:792 Creating object frame_vm0_group_bin_0034 in slot 10664, from untyped 2921...
  552.  
  553. [email protected]:792 Creating object frame_vm0_group_bin_0035 in slot 10665, from untyped 2921...
  554.  
  555. [email protected]:792 Creating object frame_vm0_group_bin_0036 in slot 10666, from untyped 2921...
  556.  
  557. [email protected]:792 Creating object frame_vm0_group_bin_0037 in slot 10667, from untyped 2921...
  558.  
  559. [email protected]:792 Creating object frame_vm0_group_bin_0038 in slot 10668, from untyped 2921...
  560.  
  561. [email protected]:792 Creating object frame_vm0_group_bin_0039 in slot 10669, from untyped 2921...
  562.  
  563. [email protected]:792 Creating object frame_vm0_group_bin_0040 in slot 10670, from untyped 2921...
  564.  
  565. [email protected]:792 Creating object frame_vm0_group_bin_0041 in slot 10671, from untyped 2921...
  566.  
  567. [email protected]:792 Creating object frame_vm0_group_bin_0042 in slot 10672, from untyped 2921...
  568.  
  569. [email protected]:792 Creating object frame_vm0_group_bin_0043 in slot 10673, from untyped 2921...
  570.  
  571. [email protected]:792 Creating object frame_vm0_group_bin_0044 in slot 10674, from untyped 2921...
  572.  
  573. [email protected]:792 Creating object frame_vm0_group_bin_0045 in slot 10675, from untyped 2921...
  574.  
  575. [email protected]:792 Creating object frame_vm0_group_bin_0047 in slot 10676, from untyped 2921...
  576.  
  577. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  578. [email protected]:792 Creating object frame_vm0_group_bin_0047 in slot 10676, from untyped 291c...
  579.  
  580. [email protected]:792 Creating object frame_vm0_group_bin_0048 in slot 10677, from untyped 291c...
  581.  
  582. [email protected]:792 Creating object frame_vm0_group_bin_0049 in slot 10678, from untyped 291c...
  583.  
  584. [email protected]:792 Creating object frame_vm0_group_bin_0050 in slot 10679, from untyped 291c...
  585.  
  586. [email protected]:792 Creating object frame_vm0_group_bin_0051 in slot 10680, from untyped 291c...
  587.  
  588. [email protected]:792 Creating object frame_vm0_group_bin_0052 in slot 10681, from untyped 291c...
  589.  
  590. [email protected]:792 Creating object frame_vm0_group_bin_0053 in slot 10682, from untyped 291c...
  591.  
  592. [email protected]:792 Creating object frame_vm0_group_bin_0054 in slot 10683, from untyped 291c...
  593.  
  594. [email protected]:792 Creating object frame_vm0_group_bin_0055 in slot 10684, from untyped 291c...
  595.  
  596. <<seL4(CPU 0) [decodeUntypedInvocation/212 T0xfec2c400 "rootserver" @10724]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>>
  597. [email protected]:792 Creating object frame_vm0_group_bin_0055 in slot 10684, from untyped 2922...
  598.  
  599. [email protected]:792 Creating object frame_fserv_group_bin_0000 in slot 10685, from untyped 2922...
  600.  
  601. [email protected]:792 Creating object frame_fserv_group_bin_0001 in slot 10686, from untyped 2922...
  602.  
  603. [email protected]:792 Creating object frame_fserv_group_bin_0002 in slot 10687, from untyped 2922...
  604.  
  605. [email protected]:792 Creating object frame_fserv_group_bin_0003 in slot 10688, from untyped 2922...
  606.  
  607. [email protected]:792 Creating object frame_fserv_group_bin_0004 in slot 10689, from untyped 2922...
  608.  
  609. [email protected]:792 Creating object frame_fserv_group_bin_0005 in slot 10690, from untyped 2922...
  610.  
  611. [email protected]:792 Creating object frame_fserv_group_bin_0006 in slot 10691, from untyped 2922...
  612.  
  613. [email protected]:792 Creating object frame_fserv_group_bin_0007 in slot 10692, from untyped 2922...
  614.  
  615. [email protected]:792 Creating object frame_fserv_group_bin_0008 in slot 10693, from untyped 2922...
  616.  
  617. [email protected]:792 Creating object frame_fserv_group_bin_0009 in slot 10694, from untyped 2922...
  618.  
  619. [email protected]:792 Creating object frame_fserv_group_bin_0010 in slot 10695, from untyped 2922...
  620.  
  621. [email protected]:792 Creating object frame_fserv_group_bin_0011 in slot 10696, from untyped 2922...
  622.  
  623. [email protected]:792 Creating object frame_fserv_group_bin_0012 in slot 10697, from untyped 2922...
  624.  
  625. [email protected]:792 Creating object frame_fserv_group_bin_0013 in slot 10698, from untyped 2922...
  626.  
  627. [email protected]:792 Creating object frame_fserv_group_bin_0014 in slot 10699, from untyped 2922...
  628.  
  629. [email protected]:792 Creating object frame_fserv_group_bin_0015 in slot 10700, from untyped 2922...
  630.  
  631. [email protected]:792 Creating object frame_fserv_group_bin_0016 in slot 10701, from untyped 2922...
  632.  
  633. [email protected]:792 Creating object frame_fserv_group_bin_0017 in slot 10702, from untyped 2922...
  634.  
  635. [email protected]:792 Creating object frame_fserv_group_bin_0018 in slot 10703, from untyped 2922...
  636.  
  637. [email protected]:792 Creating object frame_fserv_group_bin_0019 in slot 10704, from untyped 2922...
  638.  
  639. [email protected]:792 Creating object frame_fserv_group_bin_0020 in slot 10705, from untyped 2922...
  640.  
  641. [email protected]:792 Creating object frame_fserv_group_bin_0021 in slot 10706, from untyped 2922...
  642.  
  643. [email protected]:792 Creating object frame_fserv_group_bin_0022 in slot 10707, from untyped 2922...
  644.  
  645. [email protected]:792 Creating object frame_fserv_group_bin_0023 in slot 10708, from untyped 2922...
  646.  
  647. [email protected]:792 Creating object frame_fserv_group_bin_0024 in slot 10709, from untyped 2922...
  648.  
  649. [email protected]:792 Creating object frame_fserv_group_bin_0025 in slot 10710, from untyped 2922...
  650.  
  651. [email protected]:792 Creating object frame_fserv_group_bin_0026 in slot 10711, from untyped 2922...
  652.  
  653. [email protected]:792 Creating object frame_fserv_group_bin_0027 in slot 10712, from untyped 2922...
  654.  
  655. [email protected]:792 Creating object frame_fserv_group_bin_0028 in slot 10713, from untyped 2922...
  656.  
  657. [email protected]:792 Creating object frame_fserv_group_bin_0029 in slot 10714, from untyped 2922...
  658.  
  659. [email protected]:792 Creating object frame_fserv_group_bin_0030 in slot 10715, from untyped 2922...
  660.  
  661. [email protected]:792 Creating object frame_fserv_group_bin_0048 in slot 10716, from untyped 2922...
  662.  
  663. [email protected]:792 Creating object frame_fserv_group_bin_0049 in slot 10717, from untyped 2922...
  664.  
  665. [email protected]:792 Creating object frame_fserv_group_bin_0050 in slot 10718, from untyped 2922...
  666.  
  667. [email protected]:792 Creating object frame_fserv_group_bin_0051 in slot 10719, from untyped 2922...
  668.  
  669. [email protected]:792 Creating object frame_fserv_group_bin_0052 in slot 10720, from untyped 2922...
  670.  
  671. [email protected]:792 Creating object frame_fserv_group_bin_0053 in slot 10721, from untyped 2922...
  672.  
  673. [email protected]:792 Creating object frame_fserv_group_bin_0054 in slot 10722, from untyped 2922...
  674.  
  675. [email protected]:792 Creating object frame_fserv_group_bin_0055 in slot 10723, from untyped 2922...
  676.  
  677. [email protected]:792 Creating object frame_fserv_group_bin_0056 in slot 10724, from untyped 2922...
  678.  
  679. [email protected]:792 Creating object frame_fserv_group_bin_0057 in slot 10725, from untyped 2922...
  680.  
  681. [email protected]:792 Creating object frame_fserv_group_bin_0058 in slot 10726, from untyped 2922...
  682.  
  683. [email protected]:792 Creating object frame_fserv_group_bin_0059 in slot 10727, from untyped 2922...
  684.  
  685. [email protected]:792 Creating object frame_fserv_group_bin_0060 in slot 10728, from untyped 2922...
  686.  
  687. [email protected]:792 Creating object frame_fserv_group_bin_0061 in slot 10729, from untyped 2922...
  688.  
  689. [email protected]:792 Creating object frame_vm0_group_bin_0000 in slot 10730, from untyped 2922...
  690.  
  691. [email protected]:792 Creating object frame_vm0_group_bin_0001 in slot 10731, from untyped 2922...
  692.  
  693. [email protected]:792 Creating object frame_vm0_group_bin_0002 in slot 10732, from untyped 2922...
  694.  
  695. [email protected]:792 Creating object frame_vm0_group_bin_0003 in slot 10733, from untyped 2922...
  696.  
  697. [email protected]:792 Creating object frame_vm0_group_bin_0004 in slot 10734, from untyped 2922...
  698.  
  699. [email protected]:792 Creating object frame_vm0_group_bin_0005 in slot 10735, from untyped 2922...
  700.  
  701. [email protected]:792 Creating object frame_vm0_group_bin_0006 in slot 10736, from untyped 2922...
  702.  
  703. [email protected]:792 Creating object frame_vm0_group_bin_0007 in slot 10737, from untyped 2922...
  704.  
  705. [email protected]:792 Creating object frame_vm0_group_bin_0008 in slot 10738, from untyped 2922...
  706.  
  707. [email protected]:792 Creating object frame_vm0_group_bin_0009 in slot 10739, from untyped 2922...
  708.  
  709. [email protected]:792 Creating object frame_vm0_group_bin_0010 in slot 10740, from untyped 2922...
  710.  
  711. [email protected]:792 Creating object frame_vm0_group_bin_0011 in slot 10741, from untyped 2922...
  712.  
  713. [email protected]:792 Creating object frame_vm0_group_bin_0012 in slot 10742, from untyped 2922...
  714.  
  715. [email protected]:792 Creating object frame_vm0_group_bin_0013 in slot 10743, from untyped 2922...
  716.  
  717. [email protected]:792 Creating object frame_vm0_group_bin_0014 in slot 10744, from untyped 2922...
  718.  
  719. [email protected]:792 Creating object frame_vm0_group_bin_0015 in slot 10745, from untyped 2922...
  720.  
  721. [email protected]:792 Creating object frame_vm0_group_bin_0016 in slot 10746, from untyped 2922...
  722.  
  723. [email protected]:792 Creating object frame_vm0_group_bin_0017 in slot 10747, from untyped 2922...
  724.  
  725. [email protected]:792 Creating object frame_vm0_group_bin_0018 in slot 10748, from untyped 2922...
  726.  
  727. [email protected]:792 Creating object frame_vm0_group_bin_0019 in slot 10749, from untyped 2922...
  728.  
  729. [email protected]:792 Creating object frame_vm0_group_bin_0020 in slot 10750, from untyped 2922...
  730.  
  731. [email protected]:792 Creating object frame_vm0_group_bin_0021 in slot 10751, from untyped 2922...
  732.  
  733. [email protected]:792 Creating object frame_vm0_group_bin_0022 in slot 10752, from untyped 2922...
  734.  
  735. [email protected]:792 Creating object frame_vm0_group_bin_0023 in slot 10753, from untyped 2922...
  736.  
  737. [email protected]:792 Creating object frame_vm0_group_bin_0024 in slot 10754, from untyped 2922...
  738.  
  739. [email protected]:792 Creating object frame_vm0_group_bin_0025 in slot 10755, from untyped 2922...
  740.  
  741. [email protected]:792 Creating object frame_vm0_group_bin_0026 in slot 10756, from untyped 2922...
  742.  
  743. [email protected]:792 Creating object frame_vm0_group_bin_0027 in slot 10757, from untyped 2922...
  744.  
  745. [email protected]:792 Creating object frame_vm0_group_bin_0028 in slot 10758, from untyped 2922...
  746.  
  747. [email protected]:792 Creating object frame_vm0_group_bin_0029 in slot 10759, from untyped 2922...
  748.  
  749. [email protected]:792 Creating object frame_vm0_group_bin_0030 in slot 10760, from untyped 2922...
  750.  
  751. [email protected]:792 Creating object frame_vm0_group_bin_0056 in slot 10761, from untyped 2922...
  752.  
  753. [email protected]:792 Creating object fserv_group_bin_pd in slot 10762, from untyped 2922...
  754.  
  755. [email protected]:792 Creating object vm0_group_bin_pd in slot 10763, from untyped 2922...
  756.  
  757. [email protected]:792 Creating object dtb_symbol_vm0_0_obj in slot 10764, from untyped 2922...
  758.  
  759. [email protected]:792 Creating object dtb_symbol_vm0_10_obj in slot 10765, from untyped 2922...
  760.  
  761. [email protected]:792 Creating object dtb_symbol_vm0_11_obj in slot 10766, from untyped 2922...
  762.  
  763. [email protected]:792 Creating object dtb_symbol_vm0_12_obj in slot 10767, from untyped 2922...
  764.  
  765. [email protected]:792 Creating object dtb_symbol_vm0_13_obj in slot 10768, from untyped 2922...
  766.  
  767. [email protected]:792 Creating object dtb_symbol_vm0_14_obj in slot 10769, from untyped 2922...
  768.  
  769. [email protected]:792 Creating object dtb_symbol_vm0_15_obj in slot 10770, from untyped 2922...
  770.  
  771. [email protected]:792 Creating object dtb_symbol_vm0_1_obj in slot 10771, from untyped 2922...
  772.  
  773. [email protected]:792 Creating object dtb_symbol_vm0_2_obj in slot 10772, from untyped 2922...
  774.  
  775. [email protected]:792 Creating object dtb_symbol_vm0_3_obj in slot 10773, from untyped 2922...
  776.  
  777. [email protected]:792 Creating object dtb_symbol_vm0_4_obj in slot 10774, from untyped 2922...
  778.  
  779. [email protected]:792 Creating object dtb_symbol_vm0_5_obj in slot 10775, from untyped 2922...
  780.  
  781. [email protected]:792 Creating object dtb_symbol_vm0_6_obj in slot 10776, from untyped 2922...
  782.  
  783. [email protected]:792 Creating object dtb_symbol_vm0_7_obj in slot 10777, from untyped 2922...
  784.  
  785. [email protected]:792 Creating object dtb_symbol_vm0_8_obj in slot 10778, from untyped 2922...
  786.  
  787. [email protected]:792 Creating object dtb_symbol_vm0_9_obj in slot 10779, from untyped 2922...
  788.  
  789. [email protected]:792 Creating object frame_fserv_group_bin_0062 in slot 10780, from untyped 2922...
  790.  
  791. [email protected]:792 Creating object frame_fserv_group_bin_0063 in slot 10781, from untyped 2922...
  792.  
  793. [email protected]:792 Creating object frame_fserv_group_bin_0064 in slot 10782, from untyped 2922...
  794.  
  795. [email protected]:792 Creating object frame_fserv_group_bin_0065 in slot 10783, from untyped 2922...
  796.  
  797. [email protected]:792 Creating object frame_fserv_group_bin_0066 in slot 10784, from untyped 2922...
  798.  
  799. [email protected]:792 Creating object frame_fserv_group_bin_0067 in slot 10785, from untyped 2922...
  800.  
  801. [email protected]:792 Creating object frame_fserv_group_bin_0068 in slot 10786, from untyped 2922...
  802.  
  803. [email protected]:792 Creating object frame_vm0_group_bin_0057 in slot 10787, from untyped 2922...
  804.  
  805. [email protected]:792 Creating object frame_vm0_group_bin_0058 in slot 10788, from untyped 2922...
  806.  
  807. [email protected]:792 Creating object frame_vm0_group_bin_0059 in slot 10789, from untyped 2922...
  808.  
  809. [email protected]:792 Creating object frame_vm0_group_bin_0060 in slot 10790, from untyped 2922...
  810.  
  811. [email protected]:792 Creating object fs0_1_data_0_obj in slot 10791, from untyped 2922...
  812.  
  813. [email protected]:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_0_control in slot 10792, from untyped 2922...
  814.  
  815. [email protected]:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_0_fault_handler in slot 10793, from untyped 2922...
  816.  
  817. [email protected]:792 Creating object fserv_frame__camkes_ipc_buffer_fserv_fs_ctrl_0000 in slot 10794, from untyped 2922...
  818.  
  819. [email protected]:792 Creating object pt_fserv_group_bin_0000 in slot 10795, from untyped 2922...
  820.  
  821. [email protected]:792 Creating object pt_fserv_group_bin_0049 in slot 10796, from untyped 2922...
  822.  
  823. [email protected]:792 Creating object pt_vm0_group_bin_0000 in slot 10797, from untyped 2922...
  824.  
  825. [email protected]:792 Creating object pt_vm0_group_bin_0057 in slot 10798, from untyped 2922...
  826.  
  827. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_0_fserv_obj in slot 10799, from untyped 2922...
  828.  
  829. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_1_fserv_obj in slot 10800, from untyped 2922...
  830.  
  831. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_2_fserv_obj in slot 10801, from untyped 2922...
  832.  
  833. [email protected]:792 Creating object stack__camkes_stack_fserv_0_control_3_fserv_obj in slot 10802, from untyped 2922...
  834.  
  835. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_0_fserv_obj in slot 10803, from untyped 2922...
  836.  
  837. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_1_fserv_obj in slot 10804, from untyped 2922...
  838.  
  839. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_2_fserv_obj in slot 10805, from untyped 2922...
  840.  
  841. [email protected]:792 Creating object stack__camkes_stack_fserv_0_fault_handler_3_fserv_obj in slot 10806, from untyped 2922...
  842.  
  843. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_0_fserv_obj in slot 10807, from untyped 2922...
  844.  
  845. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_1_fserv_obj in slot 10808, from untyped 2922...
  846.  
  847. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_2_fserv_obj in slot 10809, from untyped 2922...
  848.  
  849. [email protected]:792 Creating object stack__camkes_stack_fserv_fs_ctrl_0000_3_fserv_obj in slot 10810, from untyped 2922...
  850.  
  851. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_0_vm0_obj in slot 10811, from untyped 2922...
  852.  
  853. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_1_vm0_obj in slot 10812, from untyped 2922...
  854.  
  855. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_2_vm0_obj in slot 10813, from untyped 2922...
  856.  
  857. [email protected]:792 Creating object stack__camkes_stack_vm0_0_control_3_vm0_obj in slot 10814, from untyped 2922...
  858.  
  859. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_0_vm0_obj in slot 10815, from untyped 2922...
  860.  
  861. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_1_vm0_obj in slot 10816, from untyped 2922...
  862.  
  863. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_2_vm0_obj in slot 10817, from untyped 2922...
  864.  
  865. [email protected]:792 Creating object stack__camkes_stack_vm0_0_fault_handler_3_vm0_obj in slot 10818, from untyped 2922...
  866.  
  867. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_0_vm0_obj in slot 10819, from untyped 2922...
  868.  
  869. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_1_vm0_obj in slot 10820, from untyped 2922...
  870.  
  871. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_2_vm0_obj in slot 10821, from untyped 2922...
  872.  
  873. [email protected]:792 Creating object stack__camkes_stack_vm0_dtb_0000_3_vm0_obj in slot 10822, from untyped 2922...
  874.  
  875. [email protected]:792 Creating object vm0_asid_pool in slot 10823, from untyped 2922...
  876.  
  877. [email protected]:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_0_control in slot 10824, from untyped 2922...
  878.  
  879. [email protected]:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_0_fault_handler in slot 10825, from untyped 2922...
  880.  
  881. [email protected]:792 Creating object vm0_frame__camkes_ipc_buffer_vm0_dtb_0000 in slot 10826, from untyped 2922...
  882.  
  883. [email protected]:792 Creating object fserv_fserv_0_control_tcb in slot 10827, from untyped 2922...
  884.  
  885. [email protected]:792 Creating object fserv_fserv_0_fault_handler_tcb in slot 10828, from untyped 2922...
  886.  
  887. [email protected]:792 Creating object fserv_fserv_fs_ctrl_0000_tcb in slot 10829, from untyped 2922...
  888.  
  889. [email protected]:792 Creating object vm0_vm0_0_control_tcb in slot 10830, from untyped 2922...
  890.  
  891. [email protected]:792 Creating object vm0_vm0_0_fault_handler_tcb in slot 10831, from untyped 2922...
  892.  
  893. [email protected]:792 Creating object vm0_vm0_dtb_0000_tcb in slot 10832, from untyped 2922...
  894.  
  895. [email protected]:792 Creating object fserv_cnode in slot 10833, from untyped 2922...
  896.  
  897. [email protected]:640 [Cond failed: CDL_Obj_Type(obj) == CDL_CNode]
  898. (CNode of size 4 bits)
  899. [email protected]:792 Creating object fs0_ep in slot 10834, from untyped 2922...
  900.  
  901. [email protected]:792 Creating object fserv_fault_ep in slot 10835, from untyped 2922...
  902.  
  903. [email protected]:792 Creating object fserv_interface_init_ep in slot 10836, from untyped 2922...
  904.  
  905. [email protected]:792 Creating object fserv_post_init_ep in slot 10837, from untyped 2922...
  906.  
  907. [email protected]:792 Creating object fserv_pre_init_ep in slot 10838, from untyped 2922...
  908.  
  909. [email protected]:792 Creating object notify_ready_vm0_vm0_global_endpoint in slot 10839, from untyped 2922...
  910.  
  911. [email protected]:792 Creating object vm0_fault_ep in slot 10840, from untyped 2922...
  912.  
  913. [email protected]:792 Creating object vm0_interface_init_ep in slot 10841, from untyped 2922...
  914.  
  915. [email protected]:792 Creating object vm0_irq_notification_obj in slot 10842, from untyped 2922...
  916.  
  917. [email protected]:792 Creating object vm0_post_init_ep in slot 10843, from untyped 2922...
  918.  
  919. [email protected]:792 Creating object vm0_pre_init_ep in slot 10844, from untyped 2922...
  920.  
  921. [email protected]:792 Creating object vm0_vm_sem in slot 10845, from untyped 2922...
  922.  
  923. [email protected]:792 Creating object vm_dtb_dtb_irq_103 in slot 10846, from untyped 2922...
  924.  
  925. [email protected]:792 Creating object vm_dtb_dtb_irq_104 in slot 10846, from untyped 2922...
  926.  
  927. [email protected]:792 Creating object vm_dtb_dtb_irq_105 in slot 10846, from untyped 2922...
  928.  
  929. [email protected]:792 Creating object vm_dtb_dtb_irq_107 in slot 10846, from untyped 2922...
  930.  
  931. [email protected]:792 Creating object vm_dtb_dtb_irq_108 in slot 10846, from untyped 2922...
  932.  
  933. [email protected]:792 Creating object vm_dtb_dtb_irq_109 in slot 10846, from untyped 2922...
  934.  
  935. [email protected]:792 Creating object vm_dtb_dtb_irq_110 in slot 10846, from untyped 2922...
  936.  
  937. [email protected]:792 Creating object vm_dtb_dtb_irq_117 in slot 10846, from untyped 2922...
  938.  
  939. [email protected]:792 Creating object vm_dtb_dtb_irq_118 in slot 10846, from untyped 2922...
  940.  
  941. [email protected]:792 Creating object vm_dtb_dtb_irq_138 in slot 10846, from untyped 2922...
  942.  
  943. [email protected]:792 Creating object vm_dtb_dtb_irq_142 in slot 10846, from untyped 2922...
  944.  
  945. [email protected]:792 Creating object vm_dtb_dtb_irq_201 in slot 10846, from untyped 2922...
  946.  
  947. [email protected]:792 Creating object vm_dtb_dtb_irq_215 in slot 10846, from untyped 2922...
  948.  
  949. [email protected]:792 Creating object vm_dtb_dtb_irq_216 in slot 10846, from untyped 2922...
  950.  
  951. [email protected]:792 Creating object vm_dtb_dtb_irq_217 in slot 10846, from untyped 2922...
  952.  
  953. [email protected]:792 Creating object vm_dtb_dtb_irq_218 in slot 10846, from untyped 2922...
  954.  
  955. [email protected]:792 Creating object vm_dtb_dtb_irq_220 in slot 10846, from untyped 2922...
  956.  
  957. [email protected]:792 Creating object vm_dtb_dtb_irq_32 in slot 10846, from untyped 2922...
  958.  
  959. [email protected]:792 Creating object vm_dtb_dtb_irq_33 in slot 10846, from untyped 2922...
  960.  
  961. [email protected]:792 Creating object vm_dtb_dtb_irq_34 in slot 10846, from untyped 2922...
  962.  
  963. [email protected]:792 Creating object vm_dtb_dtb_irq_35 in slot 10846, from untyped 2922...
  964.  
  965. [email protected]:792 Creating object vm_dtb_dtb_irq_36 in slot 10846, from untyped 2922...
  966.  
  967. [email protected]:792 Creating object vm_dtb_dtb_irq_37 in slot 10846, from untyped 2922...
  968.  
  969. [email protected]:792 Creating object vm_dtb_dtb_irq_38 in slot 10846, from untyped 2922...
  970.  
  971. [email protected]:792 Creating object vm_dtb_dtb_irq_39 in slot 10846, from untyped 2922...
  972.  
  973. [email protected]:792 Creating object vm_dtb_dtb_irq_40 in slot 10846, from untyped 2922...
  974.  
  975. [email protected]:792 Creating object vm_dtb_dtb_irq_41 in slot 10846, from untyped 2922...
  976.  
  977. [email protected]:792 Creating object vm_dtb_dtb_irq_42 in slot 10846, from untyped 2922...
  978.  
  979. [email protected]:792 Creating object vm_dtb_dtb_irq_43 in slot 10846, from untyped 2922...
  980.  
  981. [email protected]:792 Creating object vm_dtb_dtb_irq_44 in slot 10846, from untyped 2922...
  982.  
  983. [email protected]:792 Creating object vm_dtb_dtb_irq_45 in slot 10846, from untyped 2922...
  984.  
  985. [email protected]:792 Creating object vm_dtb_dtb_irq_46 in slot 10846, from untyped 2922...
  986.  
  987. [email protected]:792 Creating object vm_dtb_dtb_irq_47 in slot 10846, from untyped 2922...
  988.  
  989. [email protected]:792 Creating object vm_dtb_dtb_irq_48 in slot 10846, from untyped 2922...
  990.  
  991. [email protected]:792 Creating object vm_dtb_dtb_irq_49 in slot 10846, from untyped 2922...
  992.  
  993. [email protected]:792 Creating object vm_dtb_dtb_irq_50 in slot 10846, from untyped 2922...
  994.  
  995. [email protected]:792 Creating object vm_dtb_dtb_irq_51 in slot 10846, from untyped 2922...
  996.  
  997. [email protected]:792 Creating object vm_dtb_dtb_irq_52 in slot 10846, from untyped 2922...
  998.  
  999. [email protected]:792 Creating object vm_dtb_dtb_irq_53 in slot 10846, from untyped 2922...
  1000.  
  1001. [email protected]:792 Creating object vm_dtb_dtb_irq_54 in slot 10846, from untyped 2922...
  1002.  
  1003. [email protected]:792 Creating object vm_dtb_dtb_irq_55 in slot 10846, from untyped 2922...
  1004.  
  1005. [email protected]:792 Creating object vm_dtb_dtb_irq_56 in slot 10846, from untyped 2922...
  1006.  
  1007. [email protected]:792 Creating object vm_dtb_dtb_irq_57 in slot 10846, from untyped 2922...
  1008.  
  1009. [email protected]:792 Creating object vm_dtb_dtb_irq_58 in slot 10846, from untyped 2922...
  1010.  
  1011. [email protected]:792 Creating object vm_dtb_dtb_irq_59 in slot 10846, from untyped 2922...
  1012.  
  1013. [email protected]:792 Creating object vm_dtb_dtb_irq_60 in slot 10846, from untyped 2922...
  1014.  
  1015. [email protected]:792 Creating object vm_dtb_dtb_irq_61 in slot 10846, from untyped 2922...
  1016.  
  1017. [email protected]:792 Creating object vm_dtb_dtb_irq_62 in slot 10846, from untyped 2922...
  1018.  
  1019. [email protected]:792 Creating object vm_dtb_dtb_irq_63 in slot 10846, from untyped 2922...
  1020.  
  1021. [email protected]:792 Creating object vm_dtb_dtb_irq_65 in slot 10846, from untyped 2922...
  1022.  
  1023. [email protected]:792 Creating object vm_dtb_dtb_irq_66 in slot 10846, from untyped 2922...
  1024.  
  1025. [email protected]:792 Creating object vm_dtb_dtb_irq_67 in slot 10846, from untyped 2922...
  1026.  
  1027. [email protected]:792 Creating object vm_dtb_dtb_irq_68 in slot 10846, from untyped 2922...
  1028.  
  1029. [email protected]:792 Creating object vm_dtb_dtb_irq_69 in slot 10846, from untyped 2922...
  1030.  
  1031. [email protected]:792 Creating object vm_dtb_dtb_irq_70 in slot 10846, from untyped 2922...
  1032.  
  1033. [email protected]:792 Creating object vm_dtb_dtb_irq_71 in slot 10846, from untyped 2922...
  1034.  
  1035. [email protected]:792 Creating object vm_dtb_dtb_irq_72 in slot 10846, from untyped 2922...
  1036.  
  1037. [email protected]:792 Creating object vm_dtb_dtb_irq_74 in slot 10846, from untyped 2922...
  1038.  
  1039. [email protected]:792 Creating object vm_dtb_dtb_irq_75 in slot 10846, from untyped 2922...
  1040.  
  1041. [email protected]:792 Creating object vm_dtb_dtb_irq_76 in slot 10846, from untyped 2922...
  1042.  
  1043. [email protected]:792 Creating object vm_dtb_dtb_irq_77 in slot 10846, from untyped 2922...
  1044.  
  1045. [email protected]:792 Creating object vm_dtb_dtb_irq_79 in slot 10846, from untyped 2922...
  1046.  
  1047. [email protected]:792 Creating object vm_dtb_dtb_irq_82 in slot 10846, from untyped 2922...
  1048.  
  1049. [email protected]:792 Creating object vm_dtb_dtb_irq_83 in slot 10846, from untyped 2922...
  1050.  
  1051. [email protected]:792 Creating object vm_dtb_dtb_irq_84 in slot 10846, from untyped 2922...
  1052.  
  1053. [email protected]:792 Creating object vm_dtb_dtb_irq_85 in slot 10846, from untyped 2922...
  1054.  
  1055. [email protected]:792 Creating object vm_dtb_dtb_irq_86 in slot 10846, from untyped 2922...
  1056.  
  1057. [email protected]:792 Creating object vm_dtb_dtb_irq_88 in slot 10846, from untyped 2922...
  1058.  
  1059. [email protected]:792 Creating object vm_dtb_dtb_irq_89 in slot 10846, from untyped 2922...
  1060.  
  1061. [email protected]:792 Creating object vm_dtb_dtb_irq_90 in slot 10846, from untyped 2922...
  1062.  
  1063. [email protected]:792 Creating object vm_dtb_dtb_irq_91 in slot 10846, from untyped 2922...
  1064.  
  1065. [email protected]:792 Creating object vm_dtb_dtb_irq_92 in slot 10846, from untyped 2922...
  1066.  
  1067. [email protected]:792 Creating object vm_dtb_dtb_irq_93 in slot 10846, from untyped 2922...
  1068.  
  1069. [email protected]:792 Creating object vm_dtb_dtb_irq_94 in slot 10846, from untyped 2922...
  1070.  
  1071. [email protected]:792 Creating object vm_dtb_dtb_irq_97 in slot 10846, from untyped 2922...
  1072.  
  1073. [email protected]:823 Creating ASID pools...
  1074.  
  1075. [email protected]:886 Creating irq handler caps...
  1076.  
  1077. [email protected]:892 Creating irq handler cap for IRQ 32...
  1078.  
  1079. [email protected]:892 Creating irq handler cap for IRQ 33...
  1080.  
  1081. [email protected]:892 Creating irq handler cap for IRQ 34...
  1082.  
  1083. [email protected]:892 Creating irq handler cap for IRQ 35...
  1084.  
  1085. [email protected]:892 Creating irq handler cap for IRQ 36...
  1086.  
  1087. [email protected]:892 Creating irq handler cap for IRQ 37...
  1088.  
  1089. [email protected]:892 Creating irq handler cap for IRQ 38...
  1090.  
  1091. [email protected]:892 Creating irq handler cap for IRQ 39...
  1092.  
  1093. [email protected]:892 Creating irq handler cap for IRQ 40...
  1094.  
  1095. [email protected]:892 Creating irq handler cap for IRQ 41...
  1096.  
  1097. [email protected]:892 Creating irq handler cap for IRQ 42...
  1098.  
  1099. [email protected]:892 Creating irq handler cap for IRQ 43...
  1100.  
  1101. [email protected]:892 Creating irq handler cap for IRQ 44...
  1102.  
  1103. [email protected]:892 Creating irq handler cap for IRQ 45...
  1104.  
  1105. [email protected]:892 Creating irq handler cap for IRQ 46...
  1106.  
  1107. [email protected]:892 Creating irq handler cap for IRQ 47...
  1108.  
  1109. [email protected]:892 Creating irq handler cap for IRQ 48...
  1110.  
  1111. [email protected]:892 Creating irq handler cap for IRQ 49...
  1112.  
  1113. [email protected]:892 Creating irq handler cap for IRQ 50...
  1114.  
  1115. [email protected]:892 Creating irq handler cap for IRQ 51...
  1116.  
  1117. [email protected]:892 Creating irq handler cap for IRQ 52...
  1118.  
  1119. [email protected]:892 Creating irq handler cap for IRQ 53...
  1120.  
  1121. [email protected]:892 Creating irq handler cap for IRQ 54...
  1122.  
  1123. [email protected]:892 Creating irq handler cap for IRQ 55...
  1124.  
  1125. [email protected]:892 Creating irq handler cap for IRQ 56...
  1126.  
  1127. [email protected]:892 Creating irq handler cap for IRQ 57...
  1128.  
  1129. [email protected]:892 Creating irq handler cap for IRQ 58...
  1130.  
  1131. [email protected]:892 Creating irq handler cap for IRQ 59...
  1132.  
  1133. [email protected]:892 Creating irq handler cap for IRQ 60...
  1134.  
  1135. [email protected]:892 Creating irq handler cap for IRQ 61...
  1136.  
  1137. [email protected]:892 Creating irq handler cap for IRQ 62...
  1138.  
  1139. [email protected]:892 Creating irq handler cap for IRQ 63...
  1140.  
  1141. [email protected]:892 Creating irq handler cap for IRQ 65...
  1142.  
  1143. [email protected]:892 Creating irq handler cap for IRQ 66...
  1144.  
  1145. [email protected]:892 Creating irq handler cap for IRQ 67...
  1146.  
  1147. [email protected]:892 Creating irq handler cap for IRQ 68...
  1148.  
  1149. [email protected]:892 Creating irq handler cap for IRQ 69...
  1150.  
  1151. [email protected]:892 Creating irq handler cap for IRQ 70...
  1152.  
  1153. [email protected]:892 Creating irq handler cap for IRQ 71...
  1154.  
  1155. [email protected]:892 Creating irq handler cap for IRQ 72...
  1156.  
  1157. [email protected]:892 Creating irq handler cap for IRQ 74...
  1158.  
  1159. [email protected]:892 Creating irq handler cap for IRQ 75...
  1160.  
  1161. [email protected]:892 Creating irq handler cap for IRQ 76...
  1162.  
  1163. [email protected]:892 Creating irq handler cap for IRQ 77...
  1164.  
  1165. [email protected]:892 Creating irq handler cap for IRQ 79...
  1166.  
  1167. [email protected]:892 Creating irq handler cap for IRQ 82...
  1168.  
  1169. [email protected]:892 Creating irq handler cap for IRQ 83...
  1170.  
  1171. [email protected]:892 Creating irq handler cap for IRQ 84...
  1172.  
  1173. [email protected]:892 Creating irq handler cap for IRQ 85...
  1174.  
  1175. Undelivered IRQ: 85
  1176. [email protected]:892 Creating irq handler cap for IRQ 86...
  1177.  
  1178. [email protected]:892 Creating irq handler cap for IRQ 88...
  1179.  
  1180. [email protected]:892 Creating irq handler cap for IRQ 89...
  1181.  
  1182. [email protected]:892 Creating irq handler cap for IRQ 90...
  1183.  
  1184. [email protected]:892 Creating irq handler cap for IRQ 91...
  1185.  
  1186. [email protected]:892 Creating irq handler cap for IRQ 92...
  1187.  
  1188. [email protected]:892 Creating irq handler cap for IRQ 93...
  1189.  
  1190. [email protected]:892 Creating irq handler cap for IRQ 94...
  1191.  
  1192. [email protected]:892 Creating irq handler cap for IRQ 97...
  1193.  
  1194. [email protected]:892 Creating irq handler cap for IRQ 103...
  1195.  
  1196. [email protected]:892 Creating irq handler cap for IRQ 104...
  1197.  
  1198. [email protected]:892 Creating irq handler cap for IRQ 105...
  1199.  
  1200. [email protected]:892 Creating irq handler cap for IRQ 107...
  1201.  
  1202. [email protected]:892 Creating irq handler cap for IRQ 108...
  1203.  
  1204. [email protected]:892 Creating irq handler cap for IRQ 109...
  1205.  
  1206. [email protected]:892 Creating irq handler cap for IRQ 110...
  1207.  
  1208. [email protected]:892 Creating irq handler cap for IRQ 117...
  1209.  
  1210. [email protected]:892 Creating irq handler cap for IRQ 118...
  1211.  
  1212. [email protected]:892 Creating irq handler cap for IRQ 138...
  1213.  
  1214. [email protected]:892 Creating irq handler cap for IRQ 142...
  1215.  
  1216. [email protected]:892 Creating irq handler cap for IRQ 201...
  1217.  
  1218. [email protected]:892 Creating irq handler cap for IRQ 215...
  1219.  
  1220. [email protected]:892 Creating irq handler cap for IRQ 216...
  1221.  
  1222. [email protected]:892 Creating irq handler cap for IRQ 217...
  1223.  
  1224. [email protected]:892 Creating irq handler cap for IRQ 218...
  1225.  
  1226. [email protected]:892 Creating irq handler cap for IRQ 220...
  1227.  
  1228. [email protected]:941 Duplicating CNodes...
  1229.  
  1230. [email protected]:944 Duplicating vm0_cnode...
  1231.  
  1232. [email protected]:944 Duplicating fserv_fserv_0_control_tcb...
  1233.  
  1234. [email protected]:944 Duplicating fserv_fserv_0_fault_handler_tcb...
  1235.  
  1236. [email protected]:944 Duplicating fserv_fserv_fs_ctrl_0000_tcb...
  1237.  
  1238. [email protected]:944 Duplicating vm0_vm0_0_control_tcb...
  1239.  
  1240. [email protected]:944 Duplicating vm0_vm0_0_fault_handler_tcb...
  1241.  
  1242. [email protected]:944 Duplicating vm0_vm0_dtb_0000_tcb...
  1243.  
  1244. [email protected]:944 Duplicating fserv_cnode...
  1245.  
  1246. [email protected]:1320 Initialising IRQ handler caps...
  1247.  
  1248. [email protected]:1324 Initialising handler for IRQ 32...
  1249.  
  1250. [email protected]:1324 Initialising handler for IRQ 33...
  1251.  
  1252. [email protected]:1324 Initialising handler for IRQ 34...
  1253.  
  1254. [email protected]:1324 Initialising handler for IRQ 35...
  1255.  
  1256. [email protected]:1324 Initialising handler for IRQ 36...
  1257.  
  1258. [email protected]:1324 Initialising handler for IRQ 37...
  1259.  
  1260. [email protected]:1324 Initialising handler for IRQ 38...
  1261.  
  1262. [email protected]:1324 Initialising handler for IRQ 39...
  1263.  
  1264. [email protected]:1324 Initialising handler for IRQ 40...
  1265.  
  1266. [email protected]:1324 Initialising handler for IRQ 41...
  1267.  
  1268. [email protected]:1324 Initialising handler for IRQ 42...
  1269.  
  1270. [email protected]:1324 Initialising handler for IRQ 43...
  1271.  
  1272. [email protected]:1324 Initialising handler for IRQ 44...
  1273.  
  1274. [email protected]:1324 Initialising handler for IRQ 45...
  1275.  
  1276. [email protected]:1324 Initialising handler for IRQ 46...
  1277.  
  1278. [email protected]:1324 Initialising handler for IRQ 47...
  1279.  
  1280. [email protected]:1324 Initialising handler for IRQ 48...
  1281.  
  1282. [email protected]:1324 Initialising handler for IRQ 49...
  1283.  
  1284. [email protected]:1324 Initialising handler for IRQ 50...
  1285.  
  1286. [email protected]:1324 Initialising handler for IRQ 51...
  1287.  
  1288. [email protected]:1324 Initialising handler for IRQ 52...
  1289.  
  1290. [email protected]:1324 Initialising handler for IRQ 53...
  1291.  
  1292. [email protected]:1324 Initialising handler for IRQ 54...
  1293.  
  1294. [email protected]:1324 Initialising handler for IRQ 55...
  1295.  
  1296. [email protected]:1324 Initialising handler for IRQ 56...
  1297.  
  1298. [email protected]:1324 Initialising handler for IRQ 57...
  1299.  
  1300. [email protected]:1324 Initialising handler for IRQ 58...
  1301.  
  1302. [email protected]:1324 Initialising handler for IRQ 59...
  1303.  
  1304. [email protected]:1324 Initialising handler for IRQ 60...
  1305.  
  1306. [email protected]:1324 Initialising handler for IRQ 61...
  1307.  
  1308. [email protected]:1324 Initialising handler for IRQ 62...
  1309.  
  1310. [email protected]:1324 Initialising handler for IRQ 63...
  1311.  
  1312. [email protected]:1324 Initialising handler for IRQ 65...
  1313.  
  1314. [email protected]:1324 Initialising handler for IRQ 66...
  1315.  
  1316. [email protected]:1324 Initialising handler for IRQ 67...
  1317.  
  1318. [email protected]:1324 Initialising handler for IRQ 68...
  1319.  
  1320. [email protected]:1324 Initialising handler for IRQ 69...
  1321.  
  1322. [email protected]:1324 Initialising handler for IRQ 70...
  1323.  
  1324. [email protected]:1324 Initialising handler for IRQ 71...
  1325.  
  1326. [email protected]:1324 Initialising handler for IRQ 72...
  1327.  
  1328. [email protected]:1324 Initialising handler for IRQ 74...
  1329.  
  1330. [email protected]:1324 Initialising handler for IRQ 75...
  1331.  
  1332. [email protected]:1324 Initialising handler for IRQ 76...
  1333.  
  1334. [email protected]:1324 Initialising handler for IRQ 77...
  1335.  
  1336. [email protected]:1324 Initialising handler for IRQ 79...
  1337.  
  1338. [email protected]:1324 Initialising handler for IRQ 82...
  1339.  
  1340. [email protected]:1324 Initialising handler for IRQ 83...
  1341.  
  1342. [email protected]:1324 Initialising handler for IRQ 84...
  1343.  
  1344. [email protected]:1324 Initialising handler for IRQ 85...
  1345.  
  1346. [email protected]:1324 Initialising handler for IRQ 86...
  1347.  
  1348. [email protected]:1324 Initialising handler for IRQ 88...
  1349.  
  1350. [email protected]:1324 Initialising handler for IRQ 89...
  1351.  
  1352. [email protected]:1324 Initialising handler for IRQ 90...
  1353.  
  1354. [email protected]:1324 Initialising handler for IRQ 91...
  1355.  
  1356. [email protected]:1324 Initialising handler for IRQ 92...
  1357.  
  1358. [email protected]:1324 Initialising handler for IRQ 93...
  1359.  
  1360. [email protected]:1324 Initialising handler for IRQ 94...
  1361.  
  1362. [email protected]:1324 Initialising handler for IRQ 97...
  1363.  
  1364. [email protected]:1324 Initialising handler for IRQ 103...
  1365.  
  1366. [email protected]:1324 Initialising handler for IRQ 104...
  1367.  
  1368. [email protected]:1324 Initialising handler for IRQ 105...
  1369.  
  1370. [email protected]:1324 Initialising handler for IRQ 107...
  1371.  
  1372. [email protected]:1324 Initialising handler for IRQ 108...
  1373.  
  1374. [email protected]:1324 Initialising handler for IRQ 109...
  1375.  
  1376. [email protected]:1324 Initialising handler for IRQ 110...
  1377.  
  1378. [email protected]:1324 Initialising handler for IRQ 117...
  1379.  
  1380. [email protected]:1324 Initialising handler for IRQ 118...
  1381.  
  1382. [email protected]:1324 Initialising handler for IRQ 138...
  1383.  
  1384. [email protected]:1324 Initialising handler for IRQ 142...
  1385.  
  1386. [email protected]:1324 Initialising handler for IRQ 201...
  1387.  
  1388. [email protected]:1324 Initialising handler for IRQ 215...
  1389.  
  1390. [email protected]:1324 Initialising handler for IRQ 216...
  1391.  
  1392. [email protected]:1324 Initialising handler for IRQ 217...
  1393.  
  1394. [email protected]:1324 Initialising handler for IRQ 218...
  1395.  
  1396. [email protected]:1324 Initialising handler for IRQ 220...
  1397.  
  1398. [email protected]:1340 Initialising Page Directory ASIDs...
  1399.  
  1400. [email protected]:1346 Initialising pd/pml4 ASID fserv_group_bin_pd...
  1401.  
  1402. [email protected]:1346 Initialising pd/pml4 ASID vm0_group_bin_pd...
  1403.  
  1404. [email protected]:1596 Initialising VSpaces...
  1405.  
  1406. [email protected]:1618 ================================
  1407.  
  1408. [email protected]:1619 Initialising page directories...
  1409.  
  1410. [email protected]:1623 Initialising page directory fserv_group_bin_pd...
  1411.  
  1412. [email protected]:1534 Mapping slot 0 in fserv_group_bin_pd
  1413.  
  1414. [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
  1415.  
  1416. [email protected]:1534 Mapping slot 1 in fserv_group_bin_pd
  1417.  
  1418. [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
  1419.  
  1420. [email protected]:1534 Mapping slot 2 in fserv_group_bin_pd
  1421.  
  1422. [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
  1423.  
  1424. [email protected]:1534 Mapping slot 3 in fserv_group_bin_pd
  1425.  
  1426. [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
  1427.  
  1428. [email protected]:1534 Mapping slot 4 in fserv_group_bin_pd
  1429.  
  1430. [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
  1431.  
  1432. [email protected]:1534 Mapping slot 5 in fserv_group_bin_pd
  1433.  
  1434. [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
  1435.  
  1436. [email protected]:1534 Mapping slot 6 in fserv_group_bin_pd
  1437.  
  1438. [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
  1439.  
  1440. [email protected]:1534 Mapping slot 7 in fserv_group_bin_pd
  1441.  
  1442. [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
  1443.  
  1444. [email protected]:1534 Mapping slot 8 in fserv_group_bin_pd
  1445.  
  1446. [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
  1447.  
  1448. [email protected]:1534 Mapping slot 9 in fserv_group_bin_pd
  1449.  
  1450. [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
  1451.  
  1452. [email protected]:1534 Mapping slot 10 in fserv_group_bin_pd
  1453.  
  1454. [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
  1455.  
  1456. [email protected]:1534 Mapping slot 11 in fserv_group_bin_pd
  1457.  
  1458. [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
  1459.  
  1460. [email protected]:1534 Mapping slot 12 in fserv_group_bin_pd
  1461.  
  1462. [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
  1463.  
  1464. [email protected]:1534 Mapping slot 13 in fserv_group_bin_pd
  1465.  
  1466. [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
  1467.  
  1468. [email protected]:1534 Mapping slot 14 in fserv_group_bin_pd
  1469.  
  1470. [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
  1471.  
  1472. [email protected]:1534 Mapping slot 15 in fserv_group_bin_pd
  1473.  
  1474. [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
  1475.  
  1476. [email protected]:1534 Mapping slot 16 in fserv_group_bin_pd
  1477.  
  1478. [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
  1479.  
  1480. [email protected]:1534 Mapping slot 17 in fserv_group_bin_pd
  1481.  
  1482. [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
  1483.  
  1484. [email protected]:1534 Mapping slot 18 in fserv_group_bin_pd
  1485.  
  1486. [email protected]:1373 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd with rights={G: 0, R: 0, W: 0}, vaddr=0x2400000, vm_attribs=0x0
  1487.  
  1488. [email protected]:1623 Initialising page directory vm0_group_bin_pd...
  1489.  
  1490. [email protected]:1534 Mapping slot 0 in vm0_group_bin_pd
  1491.  
  1492. [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
  1493.  
  1494. [email protected]:1534 Mapping slot 1 in vm0_group_bin_pd
  1495.  
  1496. [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
  1497.  
  1498. [email protected]:1534 Mapping slot 2 in vm0_group_bin_pd
  1499.  
  1500. [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
  1501.  
  1502. [email protected]:1534 Mapping slot 3 in vm0_group_bin_pd
  1503.  
  1504. [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
  1505.  
  1506. [email protected]:1534 Mapping slot 4 in vm0_group_bin_pd
  1507.  
  1508. [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
  1509.  
  1510. [email protected]:1534 Mapping slot 5 in vm0_group_bin_pd
  1511.  
  1512. [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
  1513.  
  1514. [email protected]:1534 Mapping slot 6 in vm0_group_bin_pd
  1515.  
  1516. [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
  1517.  
  1518. [email protected]:1534 Mapping slot 7 in vm0_group_bin_pd
  1519.  
  1520. [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
  1521.  
  1522. [email protected]:1534 Mapping slot 8 in vm0_group_bin_pd
  1523.  
  1524. [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
  1525.  
  1526. [email protected]:1534 Mapping slot 9 in vm0_group_bin_pd
  1527.  
  1528. [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
  1529.  
  1530. [email protected]:1534 Mapping slot 10 in vm0_group_bin_pd
  1531.  
  1532. [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
  1533.  
  1534. [email protected]:1534 Mapping slot 11 in vm0_group_bin_pd
  1535.  
  1536. [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
  1537.  
  1538. [email protected]:1534 Mapping slot 12 in vm0_group_bin_pd
  1539.  
  1540. [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
  1541.  
  1542. [email protected]:1534 Mapping slot 13 in vm0_group_bin_pd
  1543.  
  1544. [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
  1545.  
  1546. [email protected]:1534 Mapping slot 14 in vm0_group_bin_pd
  1547.  
  1548. [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
  1549.  
  1550. [email protected]:1534 Mapping slot 15 in vm0_group_bin_pd
  1551.  
  1552. [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
  1553.  
  1554. [email protected]:1534 Mapping slot 16 in vm0_group_bin_pd
  1555.  
  1556. [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
  1557.  
  1558. [email protected]:1534 Mapping slot 32 in vm0_group_bin_pd
  1559.  
  1560. [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
  1561.  
  1562. [email protected]:1534 Mapping slot 33 in vm0_group_bin_pd
  1563.  
  1564. [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
  1565.  
  1566. [email protected]:1534 Mapping slot 34 in vm0_group_bin_pd
  1567.  
  1568. [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
  1569.  
  1570. [email protected]:1534 Mapping slot 35 in vm0_group_bin_pd
  1571.  
  1572. [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
  1573.  
  1574. [email protected]:1534 Mapping slot 36 in vm0_group_bin_pd
  1575.  
  1576. [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
  1577.  
  1578. [email protected]:1534 Mapping slot 37 in vm0_group_bin_pd
  1579.  
  1580. [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
  1581.  
  1582. [email protected]:1534 Mapping slot 38 in vm0_group_bin_pd
  1583.  
  1584. [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
  1585.  
  1586. [email protected]:1534 Mapping slot 39 in vm0_group_bin_pd
  1587.  
  1588. [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
  1589.  
  1590. [email protected]:1534 Mapping slot 40 in vm0_group_bin_pd
  1591.  
  1592. [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
  1593.  
  1594. [email protected]:1534 Mapping slot 41 in vm0_group_bin_pd
  1595.  
  1596. [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
  1597.  
  1598. [email protected]:1628 ===========================
  1599.  
  1600. [email protected]:1629 Initialising page tables...
  1601.  
  1602. [email protected]:1632 Initialising page tables in fserv_group_bin_pd...
  1603.  
  1604. [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
  1605.  
  1606. [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
  1607.  
  1608. [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
  1609.  
  1610. [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
  1611.  
  1612. [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
  1613.  
  1614. [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
  1615.  
  1616. [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
  1617.  
  1618. [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
  1619.  
  1620. [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
  1621.  
  1622. [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
  1623.  
  1624. [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
  1625.  
  1626. [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
  1627.  
  1628. [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
  1629.  
  1630. [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
  1631.  
  1632. [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
  1633.  
  1634. [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
  1635.  
  1636. [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
  1637.  
  1638. [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
  1639.  
  1640. [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
  1641.  
  1642. [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
  1643.  
  1644. [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
  1645.  
  1646. [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
  1647.  
  1648. [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
  1649.  
  1650. [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
  1651.  
  1652. [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
  1653.  
  1654. [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
  1655.  
  1656. [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
  1657.  
  1658. [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
  1659.  
  1660. [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
  1661.  
  1662. [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
  1663.  
  1664. [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
  1665.  
  1666. [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
  1667.  
  1668. [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
  1669.  
  1670. [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
  1671.  
  1672. [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
  1673.  
  1674. [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
  1675.  
  1676. [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
  1677.  
  1678. [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
  1679.  
  1680. [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
  1681.  
  1682. [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
  1683.  
  1684. [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
  1685.  
  1686. [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
  1687.  
  1688. [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
  1689.  
  1690. [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
  1691.  
  1692. [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
  1693.  
  1694. [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
  1695.  
  1696. [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
  1697.  
  1698. [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
  1699.  
  1700. [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
  1701.  
  1702. [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
  1703.  
  1704. [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
  1705.  
  1706. [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
  1707.  
  1708. [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
  1709.  
  1710. [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
  1711.  
  1712. [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
  1713.  
  1714. [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
  1715.  
  1716. [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
  1717.  
  1718. [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
  1719.  
  1720. [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
  1721.  
  1722. [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
  1723.  
  1724. [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
  1725.  
  1726. [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
  1727.  
  1728. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[0] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1729.  
  1730. [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
  1731.  
  1732. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[16] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1733.  
  1734. [email protected]:1373 Mapping frame_fserv_group_bin_0049 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2410000, vm_attribs=0x3
  1735.  
  1736. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[32] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1737.  
  1738. [email protected]:1373 Mapping frame_fserv_group_bin_0050 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2420000, vm_attribs=0x3
  1739.  
  1740. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[48] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1741.  
  1742. [email protected]:1373 Mapping frame_fserv_group_bin_0051 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2430000, vm_attribs=0x3
  1743.  
  1744. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[64] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1745.  
  1746. [email protected]:1373 Mapping frame_fserv_group_bin_0052 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2440000, vm_attribs=0x3
  1747.  
  1748. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[80] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1749.  
  1750. [email protected]:1373 Mapping frame_fserv_group_bin_0053 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2450000, vm_attribs=0x3
  1751.  
  1752. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[96] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1753.  
  1754. [email protected]:1373 Mapping frame_fserv_group_bin_0054 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2460000, vm_attribs=0x3
  1755.  
  1756. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[112] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1757.  
  1758. [email protected]:1373 Mapping frame_fserv_group_bin_0055 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2470000, vm_attribs=0x3
  1759.  
  1760. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[128] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1761.  
  1762. [email protected]:1373 Mapping frame_fserv_group_bin_0056 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2480000, vm_attribs=0x3
  1763.  
  1764. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[144] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1765.  
  1766. [email protected]:1373 Mapping frame_fserv_group_bin_0057 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2490000, vm_attribs=0x3
  1767.  
  1768. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[160] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1769.  
  1770. [email protected]:1373 Mapping frame_fserv_group_bin_0058 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24a0000, vm_attribs=0x3
  1771.  
  1772. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[176] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1773.  
  1774. [email protected]:1373 Mapping frame_fserv_group_bin_0059 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24b0000, vm_attribs=0x3
  1775.  
  1776. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[192] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1777.  
  1778. [email protected]:1373 Mapping frame_fserv_group_bin_0060 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24c0000, vm_attribs=0x3
  1779.  
  1780. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[208] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1781.  
  1782. [email protected]:1373 Mapping frame_fserv_group_bin_0061 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24d0000, vm_attribs=0x3
  1783.  
  1784. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[224] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1785.  
  1786. [email protected]:1373 Mapping frame_fserv_group_bin_0062 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e0000, vm_attribs=0x3
  1787.  
  1788. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[225] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1789.  
  1790. [email protected]:1373 Mapping frame_fserv_group_bin_0063 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e1000, vm_attribs=0x3
  1791.  
  1792. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[226] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1793.  
  1794. [email protected]:1373 Mapping frame_fserv_group_bin_0064 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e2000, vm_attribs=0x3
  1795.  
  1796. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[227] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1797.  
  1798. [email protected]:1373 Mapping frame_fserv_group_bin_0065 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e3000, vm_attribs=0x3
  1799.  
  1800. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[228] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1801.  
  1802. [email protected]:1373 Mapping frame_fserv_group_bin_0066 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e4000, vm_attribs=0x3
  1803.  
  1804. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[229] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1805.  
  1806. [email protected]:1373 Mapping frame_fserv_group_bin_0067 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e5000, vm_attribs=0x3
  1807.  
  1808. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[230] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1809.  
  1810. [email protected]:1373 Mapping frame_fserv_group_bin_0068 into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x24e6000, vm_attribs=0x3
  1811.  
  1812. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[232] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1813.  
  1814. [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=0x24e8000, vm_attribs=0x3
  1815.  
  1816. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[233] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1817.  
  1818. [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=0x24e9000, vm_attribs=0x3
  1819.  
  1820. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[234] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1821.  
  1822. [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=0x24ea000, vm_attribs=0x3
  1823.  
  1824. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[235] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1825.  
  1826. [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=0x24eb000, vm_attribs=0x3
  1827.  
  1828. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[238] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1829.  
  1830. [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=0x24ee000, vm_attribs=0x3
  1831.  
  1832. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[241] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1833.  
  1834. [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=0x24f1000, vm_attribs=0x3
  1835.  
  1836. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[242] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1837.  
  1838. [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=0x24f2000, vm_attribs=0x3
  1839.  
  1840. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[243] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1841.  
  1842. [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=0x24f3000, vm_attribs=0x3
  1843.  
  1844. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[244] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1845.  
  1846. [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=0x24f4000, vm_attribs=0x3
  1847.  
  1848. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[247] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1849.  
  1850. [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=0x24f7000, vm_attribs=0x3
  1851.  
  1852. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[250] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1853.  
  1854. [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=0x24fa000, vm_attribs=0x3
  1855.  
  1856. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[251] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1857.  
  1858. [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=0x24fb000, vm_attribs=0x3
  1859.  
  1860. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[252] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1861.  
  1862. [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=0x24fc000, vm_attribs=0x3
  1863.  
  1864. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[253] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1865.  
  1866. [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=0x24fd000, vm_attribs=0x3
  1867.  
  1868. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[256] with rights={G: 0, R: 1, W: 1}, vaddr=0x2400000
  1869.  
  1870. [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=0x2500000, vm_attribs=0x3
  1871.  
  1872. [email protected]:1565 Mapping pt_fserv_group_bin_0049 into fserv_group_bin_pd[258] with rights={G: 1, R: 1, W: 1}, vaddr=0x2400000
  1873.  
  1874. [email protected]:1373 Mapping fs0_1_data_0_obj into fserv_group_bin_pd with rights={G: 1, R: 1, W: 1}, vaddr=0x2502000, vm_attribs=0x3
  1875.  
  1876. [email protected]:1632 Initialising page tables in vm0_group_bin_pd...
  1877.  
  1878. [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
  1879.  
  1880. [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
  1881.  
  1882. [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
  1883.  
  1884. [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
  1885.  
  1886. [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
  1887.  
  1888. [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
  1889.  
  1890. [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
  1891.  
  1892. [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
  1893.  
  1894. [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
  1895.  
  1896. [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
  1897.  
  1898. [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
  1899.  
  1900. [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
  1901.  
  1902. [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
  1903.  
  1904. [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
  1905.  
  1906. [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
  1907.  
  1908. [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
  1909.  
  1910. [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
  1911.  
  1912. [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
  1913.  
  1914. [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
  1915.  
  1916. [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
  1917.  
  1918. [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
  1919.  
  1920. [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
  1921.  
  1922. [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
  1923.  
  1924. [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
  1925.  
  1926. [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
  1927.  
  1928. [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
  1929.  
  1930. [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
  1931.  
  1932. [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
  1933.  
  1934. [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
  1935.  
  1936. [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
  1937.  
  1938. [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
  1939.  
  1940. [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
  1941.  
  1942. [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
  1943.  
  1944. [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
  1945.  
  1946. [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
  1947.  
  1948. [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
  1949.  
  1950. [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
  1951.  
  1952. [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
  1953.  
  1954. [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
  1955.  
  1956. [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
  1957.  
  1958. [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
  1959.  
  1960. [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
  1961.  
  1962. [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
  1963.  
  1964. [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
  1965.  
  1966. [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
  1967.  
  1968. [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
  1969.  
  1970. [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
  1971.  
  1972. [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
  1973.  
  1974. [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
  1975.  
  1976. [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
  1977.  
  1978. [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
  1979.  
  1980. [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
  1981.  
  1982. [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
  1983.  
  1984. [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
  1985.  
  1986. [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
  1987.  
  1988. [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
  1989.  
  1990. [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
  1991.  
  1992. [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
  1993.  
  1994. [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
  1995.  
  1996. [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
  1997.  
  1998. [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
  1999.  
  2000. [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
  2001.  
  2002. [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
  2003.  
  2004. [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
  2005.  
  2006. [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
  2007.  
  2008. [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
  2009.  
  2010. [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
  2011.  
  2012. [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
  2013.  
  2014. [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
  2015.  
  2016. [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
  2017.  
  2018. [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
  2019.  
  2020. [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
  2021.  
  2022. [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
  2023.  
  2024. [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
  2025.  
  2026. [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
  2027.  
  2028. [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
  2029.  
  2030. [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
  2031.  
  2032. [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
  2033.  
  2034. [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
  2035.  
  2036. [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
  2037.  
  2038. [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
  2039.  
  2040. [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
  2041.  
  2042. [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
  2043.  
  2044. [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
  2045.  
  2046. [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
  2047.  
  2048. [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
  2049.  
  2050. [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
  2051.  
  2052. [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
  2053.  
  2054. [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
  2055.  
  2056. [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
  2057.  
  2058. [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
  2059.  
  2060. [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
  2061.  
  2062. [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
  2063.  
  2064. [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
  2065.  
  2066. [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
  2067.  
  2068. [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
  2069.  
  2070. [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
  2071.  
  2072. [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
  2073.  
  2074. [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
  2075.  
  2076. [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
  2077.  
  2078. [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
  2079.  
  2080. [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
  2081.  
  2082. [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
  2083.  
  2084. [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
  2085.  
  2086. [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
  2087.  
  2088. [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
  2089.  
  2090. [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
  2091.  
  2092. [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
  2093.  
  2094. [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
  2095.  
  2096. [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
  2097.  
  2098. [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
  2099.  
  2100. [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
  2101.  
  2102. [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
  2103.  
  2104. [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
  2105.  
  2106. [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
  2107.  
  2108. [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
  2109.  
  2110. [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
  2111.  
  2112. [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
  2113.  
  2114. [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
  2115.  
  2116. [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
  2117.  
  2118. [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
  2119.  
  2120. [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
  2121.  
  2122. [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
  2123.  
  2124. [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
  2125.  
  2126. [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
  2127.  
  2128. [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
  2129.  
  2130. [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
  2131.  
  2132. [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
  2133.  
  2134. [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
  2135.  
  2136. [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
  2137.  
  2138. [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
  2139.  
  2140. [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
  2141.  
  2142. [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
  2143.  
  2144. [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
  2145.  
  2146. [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
  2147.  
  2148. [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
  2149.  
  2150. [email protected]:1947 Initialising SCs
  2151. [email protected]:1273 Initialising TCBs...
  2152.  
  2153. [email protected]:1276 Initialising fserv_fserv_0_control_tcb...
  2154.  
  2155. [email protected]:1279 Configuring fserv_fserv_0_control_tcb...
  2156.  
  2157. [email protected]:1247 Setting up _start(
  2158. [email protected]:1249 0x1
  2159. [email protected]:1254 )...
  2160.  
  2161. [email protected]:1255 pc = 0x1901c
  2162.  
  2163. [email protected]:1256 sp = 0x24ec000
  2164.  
  2165. [email protected]:1266 Assigning thread to domain 0...
  2166.  
  2167. [email protected]:1276 Initialising fserv_fserv_0_fault_handler_tcb...
  2168.  
  2169. [email protected]:1279 Configuring fserv_fserv_0_fault_handler_tcb...
  2170.  
  2171. [email protected]:1247 Setting up _start(
  2172. [email protected]:1249 0x5
  2173. [email protected]:1254 )...
  2174.  
  2175. [email protected]:1255 pc = 0x1901c
  2176.  
  2177. [email protected]:1256 sp = 0x24fe000
  2178.  
  2179. [email protected]:1266 Assigning thread to domain 0...
  2180.  
  2181. [email protected]:1276 Initialising fserv_fserv_fs_ctrl_0000_tcb...
  2182.  
  2183. [email protected]:1279 Configuring fserv_fserv_fs_ctrl_0000_tcb...
  2184.  
  2185. [email protected]:1247 Setting up _start(
  2186. [email protected]:1249 0x3
  2187. [email protected]:1254 )...
  2188.  
  2189. [email protected]:1255 pc = 0x1901c
  2190.  
  2191. [email protected]:1256 sp = 0x24f5000
  2192.  
  2193. [email protected]:1266 Assigning thread to domain 0...
  2194.  
  2195. [email protected]:1276 Initialising vm0_vm0_0_control_tcb...
  2196.  
  2197. [email protected]:1279 Configuring vm0_vm0_0_control_tcb...
  2198.  
  2199. [email protected]:1247 Setting up _start(
  2200. [email protected]:1249 0x2
  2201. [email protected]:1254 )...
  2202.  
  2203. [email protected]:1255 pc = 0x25320
  2204.  
  2205. [email protected]:1256 sp = 0x5229000
  2206.  
  2207. [email protected]:1266 Assigning thread to domain 0...
  2208.  
  2209. [email protected]:1276 Initialising vm0_vm0_0_fault_handler_tcb...
  2210.  
  2211. [email protected]:1279 Configuring vm0_vm0_0_fault_handler_tcb...
  2212.  
  2213. [email protected]:1247 Setting up _start(
  2214. [email protected]:1249 0x6
  2215. [email protected]:1254 )...
  2216.  
  2217. [email protected]:1255 pc = 0x25320
  2218.  
  2219. [email protected]:1256 sp = 0x523b000
  2220.  
  2221. [email protected]:1266 Assigning thread to domain 0...
  2222.  
  2223. [email protected]:1276 Initialising vm0_vm0_dtb_0000_tcb...
  2224.  
  2225. [email protected]:1279 Configuring vm0_vm0_dtb_0000_tcb...
  2226.  
  2227. [email protected]:1247 Setting up _start(
  2228. [email protected]:1249 0x4
  2229. [email protected]:1254 )...
  2230.  
  2231. [email protected]:1255 pc = 0x25320
  2232.  
  2233. [email protected]:1256 sp = 0x5232000
  2234.  
  2235. [email protected]:1266 Assigning thread to domain 0...
  2236.  
  2237. [email protected]:1791 Copying Caps...
  2238.  
  2239. [email protected]:1794 Copying into vm0_cnode...
  2240.  
  2241. [email protected]:1783 Populating slot 1 with cap to vm0_vm_sem...
  2242.  
  2243. [email protected]:1761 minting (with badge/guard 0)...
  2244.  
  2245. [email protected]:1783 Populating slot 2 with cap to vm0_vm0_0_control_tcb...
  2246.  
  2247. [email protected]:1761 minting (with badge/guard 0)...
  2248.  
  2249. [email protected]:1783 Populating slot 3 with cap to vm0_fault_ep...
  2250.  
  2251. [email protected]:1761 minting (with badge/guard 0x2)...
  2252.  
  2253. [email protected]:1783 Populating slot 4 with cap to vm0_vm0_dtb_0000_tcb...
  2254.  
  2255. [email protected]:1761 minting (with badge/guard 0)...
  2256.  
  2257. [email protected]:1783 Populating slot 5 with cap to vm0_fault_ep...
  2258.  
  2259. [email protected]:1761 minting (with badge/guard 0x4)...
  2260.  
  2261. [email protected]:1783 Populating slot 6 with cap to vm0_vm0_0_fault_handler_tcb...
  2262.  
  2263. [email protected]:1761 minting (with badge/guard 0)...
  2264.  
  2265. [email protected]:1783 Populating slot 7 with cap to vm0_fault_ep...
  2266.  
  2267. [email protected]:1761 minting (with badge/guard 0)...
  2268.  
  2269. [email protected]:1783 Populating slot 8 with cap to vm0_pre_init_ep...
  2270.  
  2271. [email protected]:1761 minting (with badge/guard 0)...
  2272.  
  2273. [email protected]:1783 Populating slot 9 with cap to vm0_interface_init_ep...
  2274.  
  2275. [email protected]:1761 minting (with badge/guard 0)...
  2276.  
  2277. [email protected]:1783 Populating slot 10 with cap to vm0_post_init_ep...
  2278.  
  2279. [email protected]:1761 minting (with badge/guard 0)...
  2280.  
  2281. [email protected]:1783 Populating slot 11 with cap to fs0_ep...
  2282.  
  2283. [email protected]:1761 minting (with badge/guard 0x1)...
  2284.  
  2285. [email protected]:1783 Populating slot 12 with cap to notify_ready_vm0_vm0_global_endpoint...
  2286.  
  2287. [email protected]:1761 minting (with badge/guard 0x8000002)...
  2288.  
  2289. [email protected]:1783 Populating slot 13 with cap to notify_ready_vm0_vm0_global_endpoint...
  2290.  
  2291. [email protected]:1761 minting (with badge/guard 0)...
  2292.  
  2293. [email protected]:1783 Populating slot 14 with cap to vm_dtb_dtb_untyped_cap_0x2073000...
  2294.  
  2295. [email protected]:1761 minting (with badge/guard 0)...
  2296.  
  2297. [email protected]:1783 Populating slot 15 with cap to vm_dtb_dtb_untyped_cap_0x3810000...
  2298.  
  2299. [email protected]:1761 minting (with badge/guard 0)...
  2300.  
  2301. [email protected]:1783 Populating slot 16 with cap to vm_dtb_dtb_untyped_cap_0x3830000...
  2302.  
  2303. [email protected]:1761 minting (with badge/guard 0)...
  2304.  
  2305. [email protected]:1783 Populating slot 17 with cap to vm_dtb_dtb_untyped_cap_0x3860000...
  2306.  
  2307. [email protected]:1761 minting (with badge/guard 0)...
  2308.  
  2309. [email protected]:1779 Populating slot 18 with cap to IRQ 79, name vm_dtb_dtb_irq_79...
  2310.  
  2311. [email protected]:1761 minting (with badge/guard 0)...
  2312.  
  2313. [email protected]:1783 Populating slot 19 with cap to vm_dtb_dtb_untyped_cap_0x3880000...
  2314.  
  2315. [email protected]:1761 minting (with badge/guard 0)...
  2316.  
  2317. [email protected]:1779 Populating slot 20 with cap to IRQ 142, name vm_dtb_dtb_irq_142...
  2318.  
  2319. [email protected]:1761 minting (with badge/guard 0)...
  2320.  
  2321. [email protected]:1783 Populating slot 21 with cap to vm_dtb_dtb_untyped_cap_0x10000000...
  2322.  
  2323. [email protected]:1761 minting (with badge/guard 0)...
  2324.  
  2325. [email protected]:1783 Populating slot 22 with cap to vm_dtb_dtb_untyped_cap_0x10010000...
  2326.  
  2327. [email protected]:1761 minting (with badge/guard 0)...
  2328.  
  2329. [email protected]:1783 Populating slot 23 with cap to vm_dtb_dtb_untyped_cap_0x10020000...
  2330.  
  2331. [email protected]:1761 minting (with badge/guard 0)...
  2332.  
  2333. [email protected]:1783 Populating slot 24 with cap to vm_dtb_dtb_untyped_cap_0x10040000...
  2334.  
  2335. [email protected]:1761 minting (with badge/guard 0)...
  2336.  
  2337. [email protected]:1783 Populating slot 25 with cap to vm_dtb_dtb_untyped_cap_0x10044000...
  2338.  
  2339. [email protected]:1761 minting (with badge/guard 0)...
  2340.  
  2341. [email protected]:1783 Populating slot 26 with cap to vm_dtb_dtb_untyped_cap_0x10050000...
  2342.  
  2343. [email protected]:1761 minting (with badge/guard 0)...
  2344.  
  2345. [email protected]:1783 Populating slot 27 with cap to vm_dtb_dtb_untyped_cap_0x10054000...
  2346.  
  2347. [email protected]:1761 minting (with badge/guard 0)...
  2348.  
  2349. [email protected]:1783 Populating slot 28 with cap to vm_dtb_dtb_untyped_cap_0x10060000...
  2350.  
  2351. [email protected]:1761 minting (with badge/guard 0)...
  2352.  
  2353. [email protected]:1779 Populating slot 29 with cap to IRQ 97, name vm_dtb_dtb_irq_97...
  2354.  
  2355. [email protected]:1761 minting (with badge/guard 0)...
  2356.  
  2357. [email protected]:1783 Populating slot 30 with cap to vm_dtb_dtb_untyped_cap_0x10064000...
  2358.  
  2359. [email protected]:1761 minting (with badge/guard 0)...
  2360.  
  2361. [email protected]:1779 Populating slot 31 with cap to IRQ 215, name vm_dtb_dtb_irq_215...
  2362.  
  2363. [email protected]:1761 minting (with badge/guard 0)...
  2364.  
  2365. [email protected]:1783 Populating slot 32 with cap to vm_dtb_dtb_untyped_cap_0x10068000...
  2366.  
  2367. [email protected]:1761 minting (with badge/guard 0)...
  2368.  
  2369. [email protected]:1783 Populating slot 33 with cap to vm_dtb_dtb_untyped_cap_0x1006c000...
  2370.  
  2371. [email protected]:1761 minting (with badge/guard 0)...
  2372.  
  2373. [email protected]:1779 Populating slot 34 with cap to IRQ 216, name vm_dtb_dtb_irq_216...
  2374.  
  2375. [email protected]:1761 minting (with badge/guard 0)...
  2376.  
  2377. [email protected]:1783 Populating slot 35 with cap to vm_dtb_dtb_untyped_cap_0x100a0000...
  2378.  
  2379. [email protected]:1761 minting (with badge/guard 0)...
  2380.  
  2381. [email protected]:1779 Populating slot 36 with cap to IRQ 217, name vm_dtb_dtb_irq_217...
  2382.  
  2383. [email protected]:1761 minting (with badge/guard 0)...
  2384.  
  2385. [email protected]:1783 Populating slot 37 with cap to vm_dtb_dtb_untyped_cap_0x101d0000...
  2386.  
  2387. [email protected]:1761 minting (with badge/guard 0)...
  2388.  
  2389. [email protected]:1779 Populating slot 38 with cap to IRQ 74, name vm_dtb_dtb_irq_74...
  2390.  
  2391. [email protected]:1761 minting (with badge/guard 0)...
  2392.  
  2393. [email protected]:1783 Populating slot 39 with cap to vm_dtb_dtb_untyped_cap_0x101e0000...
  2394.  
  2395. [email protected]:1761 minting (with badge/guard 0)...
  2396.  
  2397. [email protected]:1779 Populating slot 40 with cap to IRQ 75, name vm_dtb_dtb_irq_75...
  2398.  
  2399. [email protected]:1761 minting (with badge/guard 0)...
  2400.  
  2401. [email protected]:1779 Populating slot 41 with cap to IRQ 76, name vm_dtb_dtb_irq_76...
  2402.  
  2403. [email protected]:1761 minting (with badge/guard 0)...
  2404.  
  2405. [email protected]:1783 Populating slot 42 with cap to vm_dtb_dtb_untyped_cap_0x10440000...
  2406.  
  2407. [email protected]:1761 minting (with badge/guard 0)...
  2408.  
  2409. [email protected]:1779 Populating slot 43 with cap to IRQ 32, name vm_dtb_dtb_irq_32...
  2410.  
  2411. [email protected]:1761 minting (with badge/guard 0)...
  2412.  
  2413. [email protected]:1779 Populating slot 44 with cap to IRQ 33, name vm_dtb_dtb_irq_33...
  2414.  
  2415. [email protected]:1761 minting (with badge/guard 0)...
  2416.  
  2417. [email protected]:1779 Populating slot 45 with cap to IRQ 34, name vm_dtb_dtb_irq_34...
  2418.  
  2419. [email protected]:1761 minting (with badge/guard 0)...
  2420.  
  2421. [email protected]:1779 Populating slot 46 with cap to IRQ 35, name vm_dtb_dtb_irq_35...
  2422.  
  2423. [email protected]:1761 minting (with badge/guard 0)...
  2424.  
  2425. [email protected]:1779 Populating slot 47 with cap to IRQ 36, name vm_dtb_dtb_irq_36...
  2426.  
  2427. [email protected]:1761 minting (with badge/guard 0)...
  2428.  
  2429. [email protected]:1779 Populating slot 48 with cap to IRQ 37, name vm_dtb_dtb_irq_37...
  2430.  
  2431. [email protected]:1761 minting (with badge/guard 0)...
  2432.  
  2433. [email protected]:1779 Populating slot 49 with cap to IRQ 38, name vm_dtb_dtb_irq_38...
  2434.  
  2435. [email protected]:1761 minting (with badge/guard 0)...
  2436.  
  2437. [email protected]:1779 Populating slot 50 with cap to IRQ 39, name vm_dtb_dtb_irq_39...
  2438.  
  2439. [email protected]:1761 minting (with badge/guard 0)...
  2440.  
  2441. [email protected]:1779 Populating slot 51 with cap to IRQ 40, name vm_dtb_dtb_irq_40...
  2442.  
  2443. [email protected]:1761 minting (with badge/guard 0)...
  2444.  
  2445. [email protected]:1779 Populating slot 52 with cap to IRQ 41, name vm_dtb_dtb_irq_41...
  2446.  
  2447. [email protected]:1761 minting (with badge/guard 0)...
  2448.  
  2449. [email protected]:1779 Populating slot 53 with cap to IRQ 42, name vm_dtb_dtb_irq_42...
  2450.  
  2451. [email protected]:1761 minting (with badge/guard 0)...
  2452.  
  2453. [email protected]:1779 Populating slot 54 with cap to IRQ 43, name vm_dtb_dtb_irq_43...
  2454.  
  2455. [email protected]:1761 minting (with badge/guard 0)...
  2456.  
  2457. [email protected]:1779 Populating slot 55 with cap to IRQ 44, name vm_dtb_dtb_irq_44...
  2458.  
  2459. [email protected]:1761 minting (with badge/guard 0)...
  2460.  
  2461. [email protected]:1779 Populating slot 56 with cap to IRQ 45, name vm_dtb_dtb_irq_45...
  2462.  
  2463. [email protected]:1761 minting (with badge/guard 0)...
  2464.  
  2465. [email protected]:1779 Populating slot 57 with cap to IRQ 46, name vm_dtb_dtb_irq_46...
  2466.  
  2467. [email protected]:1761 minting (with badge/guard 0)...
  2468.  
  2469. [email protected]:1779 Populating slot 58 with cap to IRQ 47, name vm_dtb_dtb_irq_47...
  2470.  
  2471. [email protected]:1761 minting (with badge/guard 0)...
  2472.  
  2473. [email protected]:1779 Populating slot 59 with cap to IRQ 48, name vm_dtb_dtb_irq_48...
  2474.  
  2475. [email protected]:1761 minting (with badge/guard 0)...
  2476.  
  2477. [email protected]:1779 Populating slot 60 with cap to IRQ 49, name vm_dtb_dtb_irq_49...
  2478.  
  2479. [email protected]:1761 minting (with badge/guard 0)...
  2480.  
  2481. [email protected]:1779 Populating slot 61 with cap to IRQ 50, name vm_dtb_dtb_irq_50...
  2482.  
  2483. [email protected]:1761 minting (with badge/guard 0)...
  2484.  
  2485. [email protected]:1779 Populating slot 62 with cap to IRQ 51, name vm_dtb_dtb_irq_51...
  2486.  
  2487. [email protected]:1761 minting (with badge/guard 0)...
  2488.  
  2489. [email protected]:1779 Populating slot 63 with cap to IRQ 52, name vm_dtb_dtb_irq_52...
  2490.  
  2491. [email protected]:1761 minting (with badge/guard 0)...
  2492.  
  2493. [email protected]:1779 Populating slot 64 with cap to IRQ 53, name vm_dtb_dtb_irq_53...
  2494.  
  2495. [email protected]:1761 minting (with badge/guard 0)...
  2496.  
  2497. [email protected]:1779 Populating slot 65 with cap to IRQ 54, name vm_dtb_dtb_irq_54...
  2498.  
  2499. [email protected]:1761 minting (with badge/guard 0)...
  2500.  
  2501. [email protected]:1779 Populating slot 66 with cap to IRQ 55, name vm_dtb_dtb_irq_55...
  2502.  
  2503. [email protected]:1761 minting (with badge/guard 0)...
  2504.  
  2505. [email protected]:1779 Populating slot 67 with cap to IRQ 56, name vm_dtb_dtb_irq_56...
  2506.  
  2507. [email protected]:1761 minting (with badge/guard 0)...
  2508.  
  2509. [email protected]:1779 Populating slot 68 with cap to IRQ 57, name vm_dtb_dtb_irq_57...
  2510.  
  2511. [email protected]:1761 minting (with badge/guard 0)...
  2512.  
  2513. [email protected]:1779 Populating slot 69 with cap to IRQ 58, name vm_dtb_dtb_irq_58...
  2514.  
  2515. [email protected]:1761 minting (with badge/guard 0)...
  2516.  
  2517. [email protected]:1779 Populating slot 70 with cap to IRQ 59, name vm_dtb_dtb_irq_59...
  2518.  
  2519. [email protected]:1761 minting (with badge/guard 0)...
  2520.  
  2521. [email protected]:1779 Populating slot 71 with cap to IRQ 60, name vm_dtb_dtb_irq_60...
  2522.  
  2523. [email protected]:1761 minting (with badge/guard 0)...
  2524.  
  2525. [email protected]:1779 Populating slot 72 with cap to IRQ 61, name vm_dtb_dtb_irq_61...
  2526.  
  2527. [email protected]:1761 minting (with badge/guard 0)...
  2528.  
  2529. [email protected]:1779 Populating slot 73 with cap to IRQ 62, name vm_dtb_dtb_irq_62...
  2530.  
  2531. [email protected]:1761 minting (with badge/guard 0)...
  2532.  
  2533. [email protected]:1779 Populating slot 74 with cap to IRQ 63, name vm_dtb_dtb_irq_63...
  2534.  
  2535. [email protected]:1761 minting (with badge/guard 0)...
  2536.  
  2537. [email protected]:1783 Populating slot 75 with cap to vm_dtb_dtb_untyped_cap_0x10800000...
  2538.  
  2539. [email protected]:1761 minting (with badge/guard 0)...
  2540.  
  2541. [email protected]:1779 Populating slot 76 with cap to IRQ 65, name vm_dtb_dtb_irq_65...
  2542.  
  2543. [email protected]:1761 minting (with badge/guard 0)...
  2544.  
  2545. [email protected]:1783 Populating slot 77 with cap to vm_dtb_dtb_untyped_cap_0x10a60000...
  2546.  
  2547. [email protected]:1761 minting (with badge/guard 0)...
  2548.  
  2549. [email protected]:1783 Populating slot 78 with cap to vm_dtb_dtb_untyped_cap_0x10a70000...
  2550.  
  2551. [email protected]:1761 minting (with badge/guard 0)...
  2552.  
  2553. [email protected]:1783 Populating slot 79 with cap to vm_dtb_dtb_untyped_cap_0x10d20000...
  2554.  
  2555. [email protected]:1761 minting (with badge/guard 0)...
  2556.  
  2557. [email protected]:1783 Populating slot 80 with cap to vm_dtb_dtb_untyped_cap_0x10ca1000...
  2558.  
  2559. [email protected]:1761 minting (with badge/guard 0)...
  2560.  
  2561. [email protected]:1783 Populating slot 81 with cap to vm_dtb_dtb_untyped_cap_0x11200000...
  2562.  
  2563. [email protected]:1761 minting (with badge/guard 0)...
  2564.  
  2565. [email protected]:1783 Populating slot 82 with cap to vm_dtb_dtb_untyped_cap_0x11210000...
  2566.  
  2567. [email protected]:1761 minting (with badge/guard 0)...
  2568.  
  2569. [email protected]:1783 Populating slot 83 with cap to vm_dtb_dtb_untyped_cap_0x14640000...
  2570.  
  2571. [email protected]:1761 minting (with badge/guard 0)...
  2572.  
  2573. [email protected]:1783 Populating slot 84 with cap to vm_dtb_dtb_untyped_cap_0x128d0000...
  2574.  
  2575. [email protected]:1761 minting (with badge/guard 0)...
  2576.  
  2577. [email protected]:1783 Populating slot 85 with cap to vm_dtb_dtb_untyped_cap_0x11d40000...
  2578.  
  2579. [email protected]:1761 minting (with badge/guard 0)...
  2580.  
  2581. [email protected]:1783 Populating slot 86 with cap to vm_dtb_dtb_untyped_cap_0x11f10000...
  2582.  
  2583. [email protected]:1761 minting (with badge/guard 0)...
  2584.  
  2585. [email protected]:1783 Populating slot 87 with cap to vm_dtb_dtb_untyped_cap_0x11f20000...
  2586.  
  2587. [email protected]:1761 minting (with badge/guard 0)...
  2588.  
  2589. [email protected]:1779 Populating slot 88 with cap to IRQ 201, name vm_dtb_dtb_irq_201...
  2590.  
  2591. [email protected]:1761 minting (with badge/guard 0)...
  2592.  
  2593. [email protected]:1783 Populating slot 89 with cap to vm_dtb_dtb_untyped_cap_0x12000000...
  2594.  
  2595. [email protected]:1761 minting (with badge/guard 0)...
  2596.  
  2597. [email protected]:1779 Populating slot 90 with cap to IRQ 104, name vm_dtb_dtb_irq_104...
  2598.  
  2599. [email protected]:1761 minting (with badge/guard 0)...
  2600.  
  2601. [email protected]:1783 Populating slot 91 with cap to vm_dtb_dtb_untyped_cap_0x12100000...
  2602.  
  2603. [email protected]:1761 minting (with badge/guard 0)...
  2604.  
  2605. [email protected]:1783 Populating slot 92 with cap to vm_dtb_dtb_untyped_cap_0x12110000...
  2606.  
  2607. [email protected]:1761 minting (with badge/guard 0)...
  2608.  
  2609. [email protected]:1779 Populating slot 93 with cap to IRQ 103, name vm_dtb_dtb_irq_103...
  2610.  
  2611. [email protected]:1761 minting (with badge/guard 0)...
  2612.  
  2613. [email protected]:1783 Populating slot 94 with cap to vm_dtb_dtb_untyped_cap_0x12120000...
  2614.  
  2615. [email protected]:1761 minting (with badge/guard 0)...
  2616.  
  2617. [email protected]:1783 Populating slot 95 with cap to vm_dtb_dtb_untyped_cap_0x12130000...
  2618.  
  2619. [email protected]:1761 minting (with badge/guard 0)...
  2620.  
  2621. [email protected]:1783 Populating slot 96 with cap to vm_dtb_dtb_untyped_cap_0x121a0000...
  2622.  
  2623. [email protected]:1761 minting (with badge/guard 0)...
  2624.  
  2625. [email protected]:1779 Populating slot 97 with cap to IRQ 66, name vm_dtb_dtb_irq_66...
  2626.  
  2627. [email protected]:1761 minting (with badge/guard 0)...
  2628.  
  2629. [email protected]:1783 Populating slot 98 with cap to vm_dtb_dtb_untyped_cap_0x121b0000...
  2630.  
  2631. [email protected]:1761 minting (with badge/guard 0)...
  2632.  
  2633. [email protected]:1779 Populating slot 99 with cap to IRQ 67, name vm_dtb_dtb_irq_67...
  2634.  
  2635. [email protected]:1761 minting (with badge/guard 0)...
  2636.  
  2637. [email protected]:1783 Populating slot 100 with cap to vm_dtb_dtb_untyped_cap_0x12200000...
  2638.  
  2639. [email protected]:1761 minting (with badge/guard 0)...
  2640.  
  2641. [email protected]:1779 Populating slot 101 with cap to IRQ 107, name vm_dtb_dtb_irq_107...
  2642.  
  2643. [email protected]:1761 minting (with badge/guard 0)...
  2644.  
  2645. [email protected]:1783 Populating slot 102 with cap to vm_dtb_dtb_untyped_cap_0x12210000...
  2646.  
  2647. [email protected]:1761 minting (with badge/guard 0)...
  2648.  
  2649. [email protected]:1779 Populating slot 103 with cap to IRQ 108, name vm_dtb_dtb_irq_108...
  2650.  
  2651. [email protected]:1761 minting (with badge/guard 0)...
  2652.  
  2653. [email protected]:1783 Populating slot 104 with cap to vm_dtb_dtb_untyped_cap_0x12220000...
  2654.  
  2655. [email protected]:1761 minting (with badge/guard 0)...
  2656.  
  2657. [email protected]:1779 Populating slot 105 with cap to IRQ 109, name vm_dtb_dtb_irq_109...
  2658.  
  2659. [email protected]:1761 minting (with badge/guard 0)...
  2660.  
  2661. [email protected]:1783 Populating slot 106 with cap to vm_dtb_dtb_untyped_cap_0x12400000...
  2662.  
  2663. [email protected]:1761 minting (with badge/guard 0)...
  2664.  
  2665. [email protected]:1779 Populating slot 107 with cap to IRQ 105, name vm_dtb_dtb_irq_105...
  2666.  
  2667. [email protected]:1761 minting (with badge/guard 0)...
  2668.  
  2669. [email protected]:1783 Populating slot 108 with cap to vm_dtb_dtb_untyped_cap_0x12500000...
  2670.  
  2671. [email protected]:1761 minting (with badge/guard 0)...
  2672.  
  2673. [email protected]:1783 Populating slot 109 with cap to vm_dtb_dtb_untyped_cap_0x12880000...
  2674.  
  2675. [email protected]:1761 minting (with badge/guard 0)...
  2676.  
  2677. [email protected]:1783 Populating slot 110 with cap to vm_dtb_dtb_untyped_cap_0x12890000...
  2678.  
  2679. [email protected]:1761 minting (with badge/guard 0)...
  2680.  
  2681. [email protected]:1779 Populating slot 111 with cap to IRQ 218, name vm_dtb_dtb_irq_218...
  2682.  
  2683. [email protected]:1761 minting (with badge/guard 0)...
  2684.  
  2685. [email protected]:1783 Populating slot 112 with cap to vm_dtb_dtb_untyped_cap_0x128a0000...
  2686.  
  2687. [email protected]:1761 minting (with badge/guard 0)...
  2688.  
  2689. [email protected]:1779 Populating slot 113 with cap to IRQ 220, name vm_dtb_dtb_irq_220...
  2690.  
  2691. [email protected]:1761 minting (with badge/guard 0)...
  2692.  
  2693. [email protected]:1783 Populating slot 114 with cap to vm_dtb_dtb_untyped_cap_0x128c0000...
  2694.  
  2695. [email protected]:1761 minting (with badge/guard 0)...
  2696.  
  2697. [email protected]:1783 Populating slot 115 with cap to vm_dtb_dtb_untyped_cap_0x128e0000...
  2698.  
  2699. [email protected]:1761 minting (with badge/guard 0)...
  2700.  
  2701. [email protected]:1783 Populating slot 116 with cap to vm_dtb_dtb_untyped_cap_0x12c00000...
  2702.  
  2703. [email protected]:1761 minting (with badge/guard 0)...
  2704.  
  2705. [email protected]:1779 Populating slot 117 with cap to IRQ 83, name vm_dtb_dtb_irq_83...
  2706.  
  2707. [email protected]:1761 minting (with badge/guard 0)...
  2708.  
  2709. [email protected]:1783 Populating slot 118 with cap to vm_dtb_dtb_untyped_cap_0x12c10000...
  2710.  
  2711. [email protected]:1761 minting (with badge/guard 0)...
  2712.  
  2713. [email protected]:1779 Populating slot 119 with cap to IRQ 84, name vm_dtb_dtb_irq_84...
  2714.  
  2715. [email protected]:1761 minting (with badge/guard 0)...
  2716.  
  2717. [email protected]:1783 Populating slot 120 with cap to vm_dtb_dtb_untyped_cap_0x12c20000...
  2718.  
  2719. [email protected]:1761 minting (with badge/guard 0)...
  2720.  
  2721. [email protected]:1779 Populating slot 121 with cap to IRQ 85, name vm_dtb_dtb_irq_85...
  2722.  
  2723. [email protected]:1761 minting (with badge/guard 0)...
  2724.  
  2725. [email protected]:1783 Populating slot 122 with cap to vm_dtb_dtb_untyped_cap_0x12c30000...
  2726.  
  2727. [email protected]:1761 minting (with badge/guard 0)...
  2728.  
  2729. [email protected]:1779 Populating slot 123 with cap to IRQ 86, name vm_dtb_dtb_irq_86...
  2730.  
  2731. [email protected]:1761 minting (with badge/guard 0)...
  2732.  
  2733. [email protected]:1783 Populating slot 124 with cap to vm_dtb_dtb_untyped_cap_0x12c60000...
  2734.  
  2735. [email protected]:1761 minting (with badge/guard 0)...
  2736.  
  2737. [email protected]:1779 Populating slot 125 with cap to IRQ 88, name vm_dtb_dtb_irq_88...
  2738.  
  2739. [email protected]:1761 minting (with badge/guard 0)...
  2740.  
  2741. [email protected]:1783 Populating slot 126 with cap to vm_dtb_dtb_untyped_cap_0x12c70000...
  2742.  
  2743. [email protected]:1761 minting (with badge/guard 0)...
  2744.  
  2745. [email protected]:1779 Populating slot 127 with cap to IRQ 89, name vm_dtb_dtb_irq_89...
  2746.  
  2747. [email protected]:1761 minting (with badge/guard 0)...
  2748.  
  2749. [email protected]:1783 Populating slot 128 with cap to vm_dtb_dtb_untyped_cap_0x12c80000...
  2750.  
  2751. [email protected]:1761 minting (with badge/guard 0)...
  2752.  
  2753. [email protected]:1779 Populating slot 129 with cap to IRQ 90, name vm_dtb_dtb_irq_90...
  2754.  
  2755. [email protected]:1761 minting (with badge/guard 0)...
  2756.  
  2757. [email protected]:1783 Populating slot 130 with cap to vm_dtb_dtb_untyped_cap_0x12c90000...
  2758.  
  2759. [email protected]:1761 minting (with badge/guard 0)...
  2760.  
  2761. [email protected]:1779 Populating slot 131 with cap to IRQ 91, name vm_dtb_dtb_irq_91...
  2762.  
  2763. [email protected]:1761 minting (with badge/guard 0)...
  2764.  
  2765. [email protected]:1783 Populating slot 132 with cap to vm_dtb_dtb_untyped_cap_0x12ca0000...
  2766.  
  2767. [email protected]:1761 minting (with badge/guard 0)...
  2768.  
  2769. [email protected]:1779 Populating slot 133 with cap to IRQ 92, name vm_dtb_dtb_irq_92...
  2770.  
  2771. [email protected]:1761 minting (with badge/guard 0)...
  2772.  
  2773. [email protected]:1783 Populating slot 134 with cap to vm_dtb_dtb_untyped_cap_0x12cb0000...
  2774.  
  2775. [email protected]:1761 minting (with badge/guard 0)...
  2776.  
  2777. [email protected]:1779 Populating slot 135 with cap to IRQ 93, name vm_dtb_dtb_irq_93...
  2778.  
  2779. [email protected]:1761 minting (with badge/guard 0)...
  2780.  
  2781. [email protected]:1783 Populating slot 136 with cap to vm_dtb_dtb_untyped_cap_0x12cc0000...
  2782.  
  2783. [email protected]:1761 minting (with badge/guard 0)...
  2784.  
  2785. [email protected]:1779 Populating slot 137 with cap to IRQ 94, name vm_dtb_dtb_irq_94...
  2786.  
  2787. [email protected]:1761 minting (with badge/guard 0)...
  2788.  
  2789. [email protected]:1783 Populating slot 138 with cap to vm_dtb_dtb_untyped_cap_0x12d10000...
  2790.  
  2791. [email protected]:1761 minting (with badge/guard 0)...
  2792.  
  2793. [email protected]:1779 Populating slot 139 with cap to IRQ 138, name vm_dtb_dtb_irq_138...
  2794.  
  2795. [email protected]:1761 minting (with badge/guard 0)...
  2796.  
  2797. [email protected]:1783 Populating slot 140 with cap to vm_dtb_dtb_untyped_cap_0x12dd0000...
  2798.  
  2799. [email protected]:1761 minting (with badge/guard 0)...
  2800.  
  2801. [email protected]:1779 Populating slot 141 with cap to IRQ 68, name vm_dtb_dtb_irq_68...
  2802.  
  2803. [email protected]:1761 minting (with badge/guard 0)...
  2804.  
  2805. [email protected]:1779 Populating slot 142 with cap to IRQ 69, name vm_dtb_dtb_irq_69...
  2806.  
  2807. [email protected]:1761 minting (with badge/guard 0)...
  2808.  
  2809. [email protected]:1779 Populating slot 143 with cap to IRQ 70, name vm_dtb_dtb_irq_70...
  2810.  
  2811. [email protected]:1761 minting (with badge/guard 0)...
  2812.  
  2813. [email protected]:1779 Populating slot 144 with cap to IRQ 71, name vm_dtb_dtb_irq_71...
  2814.  
  2815. [email protected]:1761 minting (with badge/guard 0)...
  2816.  
  2817. [email protected]:1779 Populating slot 145 with cap to IRQ 72, name vm_dtb_dtb_irq_72...
  2818.  
  2819. [email protected]:1761 minting (with badge/guard 0)...
  2820.  
  2821. [email protected]:1783 Populating slot 146 with cap to vm_dtb_dtb_untyped_cap_0x13400000...
  2822.  
  2823. [email protected]:1761 minting (with badge/guard 0)...
  2824.  
  2825. [email protected]:1779 Populating slot 147 with cap to IRQ 77, name vm_dtb_dtb_irq_77...
  2826.  
  2827. [email protected]:1761 minting (with badge/guard 0)...
  2828.  
  2829. [email protected]:1783 Populating slot 148 with cap to vm_dtb_dtb_untyped_cap_0x13410000...
  2830.  
  2831. [email protected]:1761 minting (with badge/guard 0)...
  2832.  
  2833. [email protected]:1779 Populating slot 149 with cap to IRQ 110, name vm_dtb_dtb_irq_110...
  2834.  
  2835. [email protected]:1761 minting (with badge/guard 0)...
  2836.  
  2837. [email protected]:1783 Populating slot 150 with cap to vm_dtb_dtb_untyped_cap_0x13e00000...
  2838.  
  2839. [email protected]:1761 minting (with badge/guard 0)...
  2840.  
  2841. [email protected]:1779 Populating slot 151 with cap to IRQ 117, name vm_dtb_dtb_irq_117...
  2842.  
  2843. [email protected]:1761 minting (with badge/guard 0)...
  2844.  
  2845. [email protected]:1783 Populating slot 152 with cap to vm_dtb_dtb_untyped_cap_0x13e10000...
  2846.  
  2847. [email protected]:1761 minting (with badge/guard 0)...
  2848.  
  2849. [email protected]:1779 Populating slot 153 with cap to IRQ 118, name vm_dtb_dtb_irq_118...
  2850.  
  2851. [email protected]:1761 minting (with badge/guard 0)...
  2852.  
  2853. [email protected]:1783 Populating slot 154 with cap to vm_dtb_dtb_untyped_cap_0x13e80000...
  2854.  
  2855. [email protected]:1761 minting (with badge/guard 0)...
  2856.  
  2857. [email protected]:1783 Populating slot 155 with cap to vm_dtb_dtb_untyped_cap_0x13e90000...
  2858.  
  2859. [email protected]:1761 minting (with badge/guard 0)...
  2860.  
  2861. [email protected]:1783 Populating slot 156 with cap to vm_dtb_dtb_untyped_cap_0x14010000...
  2862.  
  2863. [email protected]:1761 minting (with badge/guard 0)...
  2864.  
  2865. [email protected]:1779 Populating slot 157 with cap to IRQ 82, name vm_dtb_dtb_irq_82...
  2866.  
  2867. [email protected]:1761 minting (with badge/guard 0)...
  2868.  
  2869. [email protected]:1783 Populating slot 158 with cap to vm_dtb_dtb_untyped_cap_0x14650000...
  2870.  
  2871. [email protected]:1761 minting (with badge/guard 0)...
  2872.  
  2873. [email protected]:1783 Populating slot 159 with cap to vm_dtb_dtb_untyped_cap_0x14680000...
  2874.  
  2875. [email protected]:1761 minting (with badge/guard 0)...
  2876.  
  2877. [email protected]:1783 Populating slot 160 with cap to vm0_cnode...
  2878.  
  2879. [email protected]:1761 minting (with badge/guard 0x48)...
  2880.  
  2881. [email protected]:1783 Populating slot 161 with cap to vm0_cnode...
  2882.  
  2883. [email protected]:1761 minting (with badge/guard 0x48)...
  2884.  
  2885. [email protected]:1783 Populating slot 162 with cap to vm0_group_bin_pd...
  2886.  
  2887. [email protected]:1761 minting (with badge/guard 0)...
  2888.  
  2889. [email protected]:1783 Populating slot 163 with cap to vm0_simple_untyped_24_pool_0...
  2890.  
  2891. [email protected]:1761 minting (with badge/guard 0)...
  2892.  
  2893. [email protected]:1783 Populating slot 164 with cap to vm0_simple_untyped_24_pool_1...
  2894.  
  2895. [email protected]:1761 minting (with badge/guard 0)...
  2896.  
  2897. [email protected]:1783 Populating slot 165 with cap to vm0_simple_untyped_24_pool_2...
  2898.  
  2899. [email protected]:1761 minting (with badge/guard 0)...
  2900.  
  2901. [email protected]:1783 Populating slot 166 with cap to vm0_simple_untyped_24_pool_3...
  2902.  
  2903. [email protected]:1761 minting (with badge/guard 0)...
  2904.  
  2905. [email protected]:1783 Populating slot 167 with cap to vm0_simple_untyped_24_pool_4...
  2906.  
  2907. [email protected]:1761 minting (with badge/guard 0)...
  2908.  
  2909. [email protected]:1783 Populating slot 168 with cap to vm0_simple_untyped_24_pool_5...
  2910.  
  2911. [email protected]:1761 minting (with badge/guard 0)...
  2912.  
  2913. [email protected]:1783 Populating slot 169 with cap to vm0_simple_untyped_24_pool_6...
  2914.  
  2915. [email protected]:1761 minting (with badge/guard 0)...
  2916.  
  2917. [email protected]:1783 Populating slot 170 with cap to vm0_simple_untyped_24_pool_7...
  2918.  
  2919. [email protected]:1761 minting (with badge/guard 0)...
  2920.  
  2921. [email protected]:1783 Populating slot 171 with cap to vm0_simple_untyped_24_pool_8...
  2922.  
  2923. [email protected]:1761 minting (with badge/guard 0)...
  2924.  
  2925. [email protected]:1783 Populating slot 172 with cap to vm0_simple_untyped_24_pool_9...
  2926.  
  2927. [email protected]:1761 minting (with badge/guard 0)...
  2928.  
  2929. [email protected]:1783 Populating slot 173 with cap to vm0_simple_untyped_24_pool_10...
  2930.  
  2931. [email protected]:1761 minting (with badge/guard 0)...
  2932.  
  2933. [email protected]:1783 Populating slot 174 with cap to vm0_simple_untyped_24_pool_11...
  2934.  
  2935. [email protected]:1761 minting (with badge/guard 0)...
  2936.  
  2937. [email protected]:1783 Populating slot 175 with cap to vm0_untyped_cap_0x10486000...
  2938.  
  2939. [email protected]:1761 minting (with badge/guard 0)...
  2940.  
  2941. [email protected]:1783 Populating slot 176 with cap to vm0_untyped_cap_0x80000000...
  2942.  
  2943. [email protected]:1761 minting (with badge/guard 0)...
  2944.  
  2945. [email protected]:1783 Populating slot 177 with cap to vm0_untyped_cap_0x90000000...
  2946.  
  2947. [email protected]:1761 minting (with badge/guard 0)...
  2948.  
  2949. [email protected]:1783 Populating slot 178 with cap to vm0_untyped_cap_0xa0000000...
  2950.  
  2951. [email protected]:1761 minting (with badge/guard 0)...
  2952.  
  2953. [email protected]:1783 Populating slot 179 with cap to vm0_asid_pool...
  2954.  
  2955. [email protected]:1761 minting (with badge/guard 0)...
  2956.  
  2957. [email protected]:1783 Populating slot 180 with cap to vm0_irq_notification_obj...
  2958.  
  2959. [email protected]:1761 minting (with badge/guard 0)...
  2960.  
  2961. [email protected]:1794 Copying into fserv_cnode...
  2962.  
  2963. [email protected]:1783 Populating slot 1 with cap to fserv_fserv_0_control_tcb...
  2964.  
  2965. [email protected]:1761 minting (with badge/guard 0)...
  2966.  
  2967. [email protected]:1783 Populating slot 2 with cap to fserv_fault_ep...
  2968.  
  2969. [email protected]:1761 minting (with badge/guard 0x1)...
  2970.  
  2971. [email protected]:1783 Populating slot 3 with cap to fserv_fserv_fs_ctrl_0000_tcb...
  2972.  
  2973. [email protected]:1761 minting (with badge/guard 0)...
  2974.  
  2975. [email protected]:1783 Populating slot 4 with cap to fserv_fault_ep...
  2976.  
  2977. [email protected]:1761 minting (with badge/guard 0x3)...
  2978.  
  2979. [email protected]:1783 Populating slot 5 with cap to fserv_fserv_0_fault_handler_tcb...
  2980.  
  2981. [email protected]:1761 minting (with badge/guard 0)...
  2982.  
  2983. [email protected]:1783 Populating slot 6 with cap to fserv_fault_ep...
  2984.  
  2985. [email protected]:1761 minting (with badge/guard 0)...
  2986.  
  2987. [email protected]:1783 Populating slot 7 with cap to fserv_pre_init_ep...
  2988.  
  2989. [email protected]:1761 minting (with badge/guard 0)...
  2990.  
  2991. [email protected]:1783 Populating slot 8 with cap to fserv_interface_init_ep...
  2992.  
  2993. [email protected]:1761 minting (with badge/guard 0)...
  2994.  
  2995. [email protected]:1783 Populating slot 9 with cap to fserv_post_init_ep...
  2996.  
  2997. [email protected]:1761 minting (with badge/guard 0)...
  2998.  
  2999. [email protected]:1783 Populating slot 10 with cap to fs0_ep...
  3000.  
  3001. [email protected]:1761 minting (with badge/guard 0)...
  3002.  
  3003. [email protected]:1799 Moving Caps...
  3004.  
  3005. [email protected]:1802 Moving into vm0_cnode...
  3006.  
  3007. [email protected]:1783 Populating slot 1 with cap to vm0_vm_sem...
  3008.  
  3009. [email protected]:1767 skipping
  3010.  
  3011. [email protected]:1783 Populating slot 2 with cap to vm0_vm0_0_control_tcb...
  3012.  
  3013. [email protected]:1767 skipping
  3014.  
  3015. [email protected]:1783 Populating slot 3 with cap to vm0_fault_ep...
  3016.  
  3017. [email protected]:1767 skipping
  3018.  
  3019. [email protected]:1783 Populating slot 4 with cap to vm0_vm0_dtb_0000_tcb...
  3020.  
  3021. [email protected]:1767 skipping
  3022.  
  3023. [email protected]:1783 Populating slot 5 with cap to vm0_fault_ep...
  3024.  
  3025. [email protected]:1767 skipping
  3026.  
  3027. [email protected]:1783 Populating slot 6 with cap to vm0_vm0_0_fault_handler_tcb...
  3028.  
  3029. [email protected]:1767 skipping
  3030.  
  3031. [email protected]:1783 Populating slot 7 with cap to vm0_fault_ep...
  3032.  
  3033. [email protected]:1767 skipping
  3034.  
  3035. [email protected]:1783 Populating slot 8 with cap to vm0_pre_init_ep...
  3036.  
  3037. [email protected]:1767 skipping
  3038.  
  3039. [email protected]:1783 Populating slot 9 with cap to vm0_interface_init_ep...
  3040.  
  3041. [email protected]:1767 skipping
  3042.  
  3043. [email protected]:1783 Populating slot 10 with cap to vm0_post_init_ep...
  3044.  
  3045. [email protected]:1767 skipping
  3046.  
  3047. [email protected]:1783 Populating slot 11 with cap to fs0_ep...
  3048.  
  3049. [email protected]:1767 skipping
  3050.  
  3051. [email protected]:1783 Populating slot 12 with cap to notify_ready_vm0_vm0_global_endpoint...
  3052.  
  3053. [email protected]:1767 skipping
  3054.  
  3055. [email protected]:1783 Populating slot 13 with cap to notify_ready_vm0_vm0_global_endpoint...
  3056.  
  3057. [email protected]:1767 skipping
  3058.  
  3059. [email protected]:1783 Populating slot 14 with cap to vm_dtb_dtb_untyped_cap_0x2073000...
  3060.  
  3061. [email protected]:1767 skipping
  3062.  
  3063. [email protected]:1783 Populating slot 15 with cap to vm_dtb_dtb_untyped_cap_0x3810000...
  3064.  
  3065. [email protected]:1767 skipping
  3066.  
  3067. [email protected]:1783 Populating slot 16 with cap to vm_dtb_dtb_untyped_cap_0x3830000...
  3068.  
  3069. [email protected]:1767 skipping
  3070.  
  3071. [email protected]:1783 Populating slot 17 with cap to vm_dtb_dtb_untyped_cap_0x3860000...
  3072.  
  3073. [email protected]:1767 skipping
  3074.  
  3075. [email protected]:1779 Populating slot 18 with cap to IRQ 79, name vm_dtb_dtb_irq_79...
  3076.  
  3077. [email protected]:1767 skipping
  3078.  
  3079. [email protected]:1783 Populating slot 19 with cap to vm_dtb_dtb_untyped_cap_0x3880000...
  3080.  
  3081. [email protected]:1767 skipping
  3082.  
  3083. [email protected]:1779 Populating slot 20 with cap to IRQ 142, name vm_dtb_dtb_irq_142...
  3084.  
  3085. [email protected]:1767 skipping
  3086.  
  3087. [email protected]:1783 Populating slot 21 with cap to vm_dtb_dtb_untyped_cap_0x10000000...
  3088.  
  3089. [email protected]:1767 skipping
  3090.  
  3091. [email protected]:1783 Populating slot 22 with cap to vm_dtb_dtb_untyped_cap_0x10010000...
  3092.  
  3093. [email protected]:1767 skipping
  3094.  
  3095. [email protected]:1783 Populating slot 23 with cap to vm_dtb_dtb_untyped_cap_0x10020000...
  3096.  
  3097. [email protected]:1767 skipping
  3098.  
  3099. [email protected]:1783 Populating slot 24 with cap to vm_dtb_dtb_untyped_cap_0x10040000...
  3100.  
  3101. [email protected]:1767 skipping
  3102.  
  3103. [email protected]:1783 Populating slot 25 with cap to vm_dtb_dtb_untyped_cap_0x10044000...
  3104.  
  3105. [email protected]:1767 skipping
  3106.  
  3107. [email protected]:1783 Populating slot 26 with cap to vm_dtb_dtb_untyped_cap_0x10050000...
  3108.  
  3109. [email protected]:1767 skipping
  3110.  
  3111. [email protected]:1783 Populating slot 27 with cap to vm_dtb_dtb_untyped_cap_0x10054000...
  3112.  
  3113. [email protected]:1767 skipping
  3114.  
  3115. [email protected]:1783 Populating slot 28 with cap to vm_dtb_dtb_untyped_cap_0x10060000...
  3116.  
  3117. [email protected]:1767 skipping
  3118.  
  3119. [email protected]:1779 Populating slot 29 with cap to IRQ 97, name vm_dtb_dtb_irq_97...
  3120.  
  3121. [email protected]:1767 skipping
  3122.  
  3123. [email protected]:1783 Populating slot 30 with cap to vm_dtb_dtb_untyped_cap_0x10064000...
  3124.  
  3125. [email protected]:1767 skipping
  3126.  
  3127. [email protected]:1779 Populating slot 31 with cap to IRQ 215, name vm_dtb_dtb_irq_215...
  3128.  
  3129. [email protected]:1767 skipping
  3130.  
  3131. [email protected]:1783 Populating slot 32 with cap to vm_dtb_dtb_untyped_cap_0x10068000...
  3132.  
  3133. [email protected]:1767 skipping
  3134.  
  3135. [email protected]:1783 Populating slot 33 with cap to vm_dtb_dtb_untyped_cap_0x1006c000...
  3136.  
  3137. [email protected]:1767 skipping
  3138.  
  3139. [email protected]:1779 Populating slot 34 with cap to IRQ 216, name vm_dtb_dtb_irq_216...
  3140.  
  3141. [email protected]:1767 skipping
  3142.  
  3143. [email protected]:1783 Populating slot 35 with cap to vm_dtb_dtb_untyped_cap_0x100a0000...
  3144.  
  3145. [email protected]:1767 skipping
  3146.  
  3147. [email protected]:1779 Populating slot 36 with cap to IRQ 217, name vm_dtb_dtb_irq_217...
  3148.  
  3149. [email protected]:1767 skipping
  3150.  
  3151. [email protected]:1783 Populating slot 37 with cap to vm_dtb_dtb_untyped_cap_0x101d0000...
  3152.  
  3153. [email protected]:1767 skipping
  3154.  
  3155. [email protected]:1779 Populating slot 38 with cap to IRQ 74, name vm_dtb_dtb_irq_74...
  3156.  
  3157. [email protected]:1767 skipping
  3158.  
  3159. [email protected]:1783 Populating slot 39 with cap to vm_dtb_dtb_untyped_cap_0x101e0000...
  3160.  
  3161. [email protected]:1767 skipping
  3162.  
  3163. [email protected]:1779 Populating slot 40 with cap to IRQ 75, name vm_dtb_dtb_irq_75...
  3164.  
  3165. [email protected]:1767 skipping
  3166.  
  3167. [email protected]:1779 Populating slot 41 with cap to IRQ 76, name vm_dtb_dtb_irq_76...
  3168.  
  3169. [email protected]:1767 skipping
  3170.  
  3171. [email protected]:1783 Populating slot 42 with cap to vm_dtb_dtb_untyped_cap_0x10440000...
  3172.  
  3173. [email protected]:1767 skipping
  3174.  
  3175. [email protected]:1779 Populating slot 43 with cap to IRQ 32, name vm_dtb_dtb_irq_32...
  3176.  
  3177. [email protected]:1767 skipping
  3178.  
  3179. [email protected]:1779 Populating slot 44 with cap to IRQ 33, name vm_dtb_dtb_irq_33...
  3180.  
  3181. [email protected]:1767 skipping
  3182.  
  3183. [email protected]:1779 Populating slot 45 with cap to IRQ 34, name vm_dtb_dtb_irq_34...
  3184.  
  3185. [email protected]:1767 skipping
  3186.  
  3187. [email protected]:1779 Populating slot 46 with cap to IRQ 35, name vm_dtb_dtb_irq_35...
  3188.  
  3189. [email protected]:1767 skipping
  3190.  
  3191. [email protected]:1779 Populating slot 47 with cap to IRQ 36, name vm_dtb_dtb_irq_36...
  3192.  
  3193. [email protected]:1767 skipping
  3194.  
  3195. [email protected]:1779 Populating slot 48 with cap to IRQ 37, name vm_dtb_dtb_irq_37...
  3196.  
  3197. [email protected]:1767 skipping
  3198.  
  3199. [email protected]:1779 Populating slot 49 with cap to IRQ 38, name vm_dtb_dtb_irq_38...
  3200.  
  3201. [email protected]:1767 skipping
  3202.  
  3203. [email protected]:1779 Populating slot 50 with cap to IRQ 39, name vm_dtb_dtb_irq_39...
  3204.  
  3205. [email protected]:1767 skipping
  3206.  
  3207. [email protected]:1779 Populating slot 51 with cap to IRQ 40, name vm_dtb_dtb_irq_40...
  3208.  
  3209. [email protected]:1767 skipping
  3210.  
  3211. [email protected]:1779 Populating slot 52 with cap to IRQ 41, name vm_dtb_dtb_irq_41...
  3212.  
  3213. [email protected]:1767 skipping
  3214.  
  3215. [email protected]:1779 Populating slot 53 with cap to IRQ 42, name vm_dtb_dtb_irq_42...
  3216.  
  3217. [email protected]:1767 skipping
  3218.  
  3219. [email protected]:1779 Populating slot 54 with cap to IRQ 43, name vm_dtb_dtb_irq_43...
  3220.  
  3221. [email protected]:1767 skipping
  3222.  
  3223. [email protected]:1779 Populating slot 55 with cap to IRQ 44, name vm_dtb_dtb_irq_44...
  3224.  
  3225. [email protected]:1767 skipping
  3226.  
  3227. [email protected]:1779 Populating slot 56 with cap to IRQ 45, name vm_dtb_dtb_irq_45...
  3228.  
  3229. [email protected]:1767 skipping
  3230.  
  3231. [email protected]:1779 Populating slot 57 with cap to IRQ 46, name vm_dtb_dtb_irq_46...
  3232.  
  3233. [email protected]:1767 skipping
  3234.  
  3235. [email protected]:1779 Populating slot 58 with cap to IRQ 47, name vm_dtb_dtb_irq_47...
  3236.  
  3237. [email protected]:1767 skipping
  3238.  
  3239. [email protected]:1779 Populating slot 59 with cap to IRQ 48, name vm_dtb_dtb_irq_48...
  3240.  
  3241. [email protected]:1767 skipping
  3242.  
  3243. [email protected]:1779 Populating slot 60 with cap to IRQ 49, name vm_dtb_dtb_irq_49...
  3244.  
  3245. [email protected]:1767 skipping
  3246.  
  3247. [email protected]:1779 Populating slot 61 with cap to IRQ 50, name vm_dtb_dtb_irq_50...
  3248.  
  3249. [email protected]:1767 skipping
  3250.  
  3251. [email protected]:1779 Populating slot 62 with cap to IRQ 51, name vm_dtb_dtb_irq_51...
  3252.  
  3253. [email protected]:1767 skipping
  3254.  
  3255. [email protected]:1779 Populating slot 63 with cap to IRQ 52, name vm_dtb_dtb_irq_52...
  3256.  
  3257. [email protected]:1767 skipping
  3258.  
  3259. [email protected]:1779 Populating slot 64 with cap to IRQ 53, name vm_dtb_dtb_irq_53...
  3260.  
  3261. [email protected]:1767 skipping
  3262.  
  3263. [email protected]:1779 Populating slot 65 with cap to IRQ 54, name vm_dtb_dtb_irq_54...
  3264.  
  3265. [email protected]:1767 skipping
  3266.  
  3267. [email protected]:1779 Populating slot 66 with cap to IRQ 55, name vm_dtb_dtb_irq_55...
  3268.  
  3269. [email protected]:1767 skipping
  3270.  
  3271. [email protected]:1779 Populating slot 67 with cap to IRQ 56, name vm_dtb_dtb_irq_56...
  3272.  
  3273. [email protected]:1767 skipping
  3274.  
  3275. [email protected]:1779 Populating slot 68 with cap to IRQ 57, name vm_dtb_dtb_irq_57...
  3276.  
  3277. [email protected]:1767 skipping
  3278.  
  3279. [email protected]:1779 Populating slot 69 with cap to IRQ 58, name vm_dtb_dtb_irq_58...
  3280.  
  3281. [email protected]:1767 skipping
  3282.  
  3283. [email protected]:1779 Populating slot 70 with cap to IRQ 59, name vm_dtb_dtb_irq_59...
  3284.  
  3285. [email protected]:1767 skipping
  3286.  
  3287. [email protected]:1779 Populating slot 71 with cap to IRQ 60, name vm_dtb_dtb_irq_60...
  3288.  
  3289. [email protected]:1767 skipping
  3290.  
  3291. [email protected]:1779 Populating slot 72 with cap to IRQ 61, name vm_dtb_dtb_irq_61...
  3292.  
  3293. [email protected]:1767 skipping
  3294.  
  3295. [email protected]:1779 Populating slot 73 with cap to IRQ 62, name vm_dtb_dtb_irq_62...
  3296.  
  3297. [email protected]:1767 skipping
  3298.  
  3299. [email protected]:1779 Populating slot 74 with cap to IRQ 63, name vm_dtb_dtb_irq_63...
  3300.  
  3301. [email protected]:1767 skipping
  3302.  
  3303. [email protected]:1783 Populating slot 75 with cap to vm_dtb_dtb_untyped_cap_0x10800000...
  3304.  
  3305. [email protected]:1767 skipping
  3306.  
  3307. [email protected]:1779 Populating slot 76 with cap to IRQ 65, name vm_dtb_dtb_irq_65...
  3308.  
  3309. [email protected]:1767 skipping
  3310.  
  3311. [email protected]:1783 Populating slot 77 with cap to vm_dtb_dtb_untyped_cap_0x10a60000...
  3312.  
  3313. [email protected]:1767 skipping
  3314.  
  3315. [email protected]:1783 Populating slot 78 with cap to vm_dtb_dtb_untyped_cap_0x10a70000...
  3316.  
  3317. [email protected]:1767 skipping
  3318.  
  3319. [email protected]:1783 Populating slot 79 with cap to vm_dtb_dtb_untyped_cap_0x10d20000...
  3320.  
  3321. [email protected]:1767 skipping
  3322.  
  3323. [email protected]:1783 Populating slot 80 with cap to vm_dtb_dtb_untyped_cap_0x10ca1000...
  3324.  
  3325. [email protected]:1767 skipping
  3326.  
  3327. [email protected]:1783 Populating slot 81 with cap to vm_dtb_dtb_untyped_cap_0x11200000...
  3328.  
  3329. [email protected]:1767 skipping
  3330.  
  3331. [email protected]:1783 Populating slot 82 with cap to vm_dtb_dtb_untyped_cap_0x11210000...
  3332.  
  3333. [email protected]:1767 skipping
  3334.  
  3335. [email protected]:1783 Populating slot 83 with cap to vm_dtb_dtb_untyped_cap_0x14640000...
  3336.  
  3337. [email protected]:1767 skipping
  3338.  
  3339. [email protected]:1783 Populating slot 84 with cap to vm_dtb_dtb_untyped_cap_0x128d0000...
  3340.  
  3341. [email protected]:1767 skipping
  3342.  
  3343. [email protected]:1783 Populating slot 85 with cap to vm_dtb_dtb_untyped_cap_0x11d40000...
  3344.  
  3345. [email protected]:1767 skipping
  3346.  
  3347. [email protected]:1783 Populating slot 86 with cap to vm_dtb_dtb_untyped_cap_0x11f10000...
  3348.  
  3349. [email protected]:1767 skipping
  3350.  
  3351. [email protected]:1783 Populating slot 87 with cap to vm_dtb_dtb_untyped_cap_0x11f20000...
  3352.  
  3353. [email protected]:1767 skipping
  3354.  
  3355. [email protected]:1779 Populating slot 88 with cap to IRQ 201, name vm_dtb_dtb_irq_201...
  3356.  
  3357. [email protected]:1767 skipping
  3358.  
  3359. [email protected]:1783 Populating slot 89 with cap to vm_dtb_dtb_untyped_cap_0x12000000...
  3360.  
  3361. [email protected]:1767 skipping
  3362.  
  3363. [email protected]:1779 Populating slot 90 with cap to IRQ 104, name vm_dtb_dtb_irq_104...
  3364.  
  3365. [email protected]:1767 skipping
  3366.  
  3367. [email protected]:1783 Populating slot 91 with cap to vm_dtb_dtb_untyped_cap_0x12100000...
  3368.  
  3369. [email protected]:1767 skipping
  3370.  
  3371. [email protected]:1783 Populating slot 92 with cap to vm_dtb_dtb_untyped_cap_0x12110000...
  3372.  
  3373. [email protected]:1767 skipping
  3374.  
  3375. [email protected]:1779 Populating slot 93 with cap to IRQ 103, name vm_dtb_dtb_irq_103...
  3376.  
  3377. [email protected]:1767 skipping
  3378.  
  3379. [email protected]:1783 Populating slot 94 with cap to vm_dtb_dtb_untyped_cap_0x12120000...
  3380.  
  3381. [email protected]:1767 skipping
  3382.  
  3383. [email protected]:1783 Populating slot 95 with cap to vm_dtb_dtb_untyped_cap_0x12130000...
  3384.  
  3385. [email protected]:1767 skipping
  3386.  
  3387. [email protected]:1783 Populating slot 96 with cap to vm_dtb_dtb_untyped_cap_0x121a0000...
  3388.  
  3389. [email protected]:1767 skipping
  3390.  
  3391. [email protected]:1779 Populating slot 97 with cap to IRQ 66, name vm_dtb_dtb_irq_66...
  3392.  
  3393. [email protected]:1767 skipping
  3394.  
  3395. [email protected]:1783 Populating slot 98 with cap to vm_dtb_dtb_untyped_cap_0x121b0000...
  3396.  
  3397. [email protected]:1767 skipping
  3398.  
  3399. [email protected]:1779 Populating slot 99 with cap to IRQ 67, name vm_dtb_dtb_irq_67...
  3400.  
  3401. [email protected]:1767 skipping
  3402.  
  3403. [email protected]:1783 Populating slot 100 with cap to vm_dtb_dtb_untyped_cap_0x12200000...
  3404.  
  3405. [email protected]:1767 skipping
  3406.  
  3407. [email protected]:1779 Populating slot 101 with cap to IRQ 107, name vm_dtb_dtb_irq_107...
  3408.  
  3409. [email protected]:1767 skipping
  3410.  
  3411. [email protected]:1783 Populating slot 102 with cap to vm_dtb_dtb_untyped_cap_0x12210000...
  3412.  
  3413. [email protected]:1767 skipping
  3414.  
  3415. [email protected]:1779 Populating slot 103 with cap to IRQ 108, name vm_dtb_dtb_irq_108...
  3416.  
  3417. [email protected]:1767 skipping
  3418.  
  3419. [email protected]:1783 Populating slot 104 with cap to vm_dtb_dtb_untyped_cap_0x12220000...
  3420.  
  3421. [email protected]:1767 skipping
  3422.  
  3423. [email protected]:1779 Populating slot 105 with cap to IRQ 109, name vm_dtb_dtb_irq_109...
  3424.  
  3425. [email protected]:1767 skipping
  3426.  
  3427. [email protected]:1783 Populating slot 106 with cap to vm_dtb_dtb_untyped_cap_0x12400000...
  3428.  
  3429. [email protected]:1767 skipping
  3430.  
  3431. [email protected]:1779 Populating slot 107 with cap to IRQ 105, name vm_dtb_dtb_irq_105...
  3432.  
  3433. [email protected]:1767 skipping
  3434.  
  3435. [email protected]:1783 Populating slot 108 with cap to vm_dtb_dtb_untyped_cap_0x12500000...
  3436.  
  3437. [email protected]:1767 skipping
  3438.  
  3439. [email protected]:1783 Populating slot 109 with cap to vm_dtb_dtb_untyped_cap_0x12880000...
  3440.  
  3441. [email protected]:1767 skipping
  3442.  
  3443. [email protected]:1783 Populating slot 110 with cap to vm_dtb_dtb_untyped_cap_0x12890000...
  3444.  
  3445. [email protected]:1767 skipping
  3446.  
  3447. [email protected]:1779 Populating slot 111 with cap to IRQ 218, name vm_dtb_dtb_irq_218...
  3448.  
  3449. [email protected]:1767 skipping
  3450.  
  3451. [email protected]:1783 Populating slot 112 with cap to vm_dtb_dtb_untyped_cap_0x128a0000...
  3452.  
  3453. [email protected]:1767 skipping
  3454.  
  3455. [email protected]:1779 Populating slot 113 with cap to IRQ 220, name vm_dtb_dtb_irq_220...
  3456.  
  3457. [email protected]:1767 skipping
  3458.  
  3459. [email protected]:1783 Populating slot 114 with cap to vm_dtb_dtb_untyped_cap_0x128c0000...
  3460.  
  3461. [email protected]:1767 skipping
  3462.  
  3463. [email protected]:1783 Populating slot 115 with cap to vm_dtb_dtb_untyped_cap_0x128e0000...
  3464.  
  3465. [email protected]:1767 skipping
  3466.  
  3467. [email protected]:1783 Populating slot 116 with cap to vm_dtb_dtb_untyped_cap_0x12c00000...
  3468.  
  3469. [email protected]:1767 skipping
  3470.  
  3471. [email protected]:1779 Populating slot 117 with cap to IRQ 83, name vm_dtb_dtb_irq_83...
  3472.  
  3473. [email protected]:1767 skipping
  3474.  
  3475. [email protected]:1783 Populating slot 118 with cap to vm_dtb_dtb_untyped_cap_0x12c10000...
  3476.  
  3477. [email protected]:1767 skipping
  3478.  
  3479. [email protected]:1779 Populating slot 119 with cap to IRQ 84, name vm_dtb_dtb_irq_84...
  3480.  
  3481. [email protected]:1767 skipping
  3482.  
  3483. [email protected]:1783 Populating slot 120 with cap to vm_dtb_dtb_untyped_cap_0x12c20000...
  3484.  
  3485. [email protected]:1767 skipping
  3486.  
  3487. [email protected]:1779 Populating slot 121 with cap to IRQ 85, name vm_dtb_dtb_irq_85...
  3488.  
  3489. [email protected]:1767 skipping
  3490.  
  3491. [email protected]:1783 Populating slot 122 with cap to vm_dtb_dtb_untyped_cap_0x12c30000...
  3492.  
  3493. [email protected]:1767 skipping
  3494.  
  3495. [email protected]:1779 Populating slot 123 with cap to IRQ 86, name vm_dtb_dtb_irq_86...
  3496.  
  3497. [email protected]:1767 skipping
  3498.  
  3499. [email protected]:1783 Populating slot 124 with cap to vm_dtb_dtb_untyped_cap_0x12c60000...
  3500.  
  3501. [email protected]:1767 skipping
  3502.  
  3503. [email protected]:1779 Populating slot 125 with cap to IRQ 88, name vm_dtb_dtb_irq_88...
  3504.  
  3505. [email protected]:1767 skipping
  3506.  
  3507. [email protected]:1783 Populating slot 126 with cap to vm_dtb_dtb_untyped_cap_0x12c70000...
  3508.  
  3509. [email protected]:1767 skipping
  3510.  
  3511. [email protected]:1779 Populating slot 127 with cap to IRQ 89, name vm_dtb_dtb_irq_89...
  3512.  
  3513. [email protected]:1767 skipping
  3514.  
  3515. [email protected]:1783 Populating slot 128 with cap to vm_dtb_dtb_untyped_cap_0x12c80000...
  3516.  
  3517. [email protected]:1767 skipping
  3518.  
  3519. [email protected]:1779 Populating slot 129 with cap to IRQ 90, name vm_dtb_dtb_irq_90...
  3520.  
  3521. [email protected]:1767 skipping
  3522.  
  3523. [email protected]:1783 Populating slot 130 with cap to vm_dtb_dtb_untyped_cap_0x12c90000...
  3524.  
  3525. [email protected]:1767 skipping
  3526.  
  3527. [email protected]:1779 Populating slot 131 with cap to IRQ 91, name vm_dtb_dtb_irq_91...
  3528.  
  3529. [email protected]:1767 skipping
  3530.  
  3531. [email protected]:1783 Populating slot 132 with cap to vm_dtb_dtb_untyped_cap_0x12ca0000...
  3532.  
  3533. [email protected]:1767 skipping
  3534.  
  3535. [email protected]:1779 Populating slot 133 with cap to IRQ 92, name vm_dtb_dtb_irq_92...
  3536.  
  3537. [email protected]:1767 skipping
  3538.  
  3539. [email protected]:1783 Populating slot 134 with cap to vm_dtb_dtb_untyped_cap_0x12cb0000...
  3540.  
  3541. [email protected]:1767 skipping
  3542.  
  3543. [email protected]:1779 Populating slot 135 with cap to IRQ 93, name vm_dtb_dtb_irq_93...
  3544.  
  3545. [email protected]:1767 skipping
  3546.  
  3547. [email protected]:1783 Populating slot 136 with cap to vm_dtb_dtb_untyped_cap_0x12cc0000...
  3548.  
  3549. [email protected]:1767 skipping
  3550.  
  3551. [email protected]:1779 Populating slot 137 with cap to IRQ 94, name vm_dtb_dtb_irq_94...
  3552.  
  3553. [email protected]:1767 skipping
  3554.  
  3555. [email protected]:1783 Populating slot 138 with cap to vm_dtb_dtb_untyped_cap_0x12d10000...
  3556.  
  3557. [email protected]:1767 skipping
  3558.  
  3559. [email protected]:1779 Populating slot 139 with cap to IRQ 138, name vm_dtb_dtb_irq_138...
  3560.  
  3561. [email protected]:1767 skipping
  3562.  
  3563. [email protected]:1783 Populating slot 140 with cap to vm_dtb_dtb_untyped_cap_0x12dd0000...
  3564.  
  3565. [email protected]:1767 skipping
  3566.  
  3567. [email protected]:1779 Populating slot 141 with cap to IRQ 68, name vm_dtb_dtb_irq_68...
  3568.  
  3569. [email protected]:1767 skipping
  3570.  
  3571. [email protected]:1779 Populating slot 142 with cap to IRQ 69, name vm_dtb_dtb_irq_69...
  3572.  
  3573. [email protected]:1767 skipping
  3574.  
  3575. [email protected]:1779 Populating slot 143 with cap to IRQ 70, name vm_dtb_dtb_irq_70...
  3576.  
  3577. [email protected]:1767 skipping
  3578.  
  3579. [email protected]:1779 Populating slot 144 with cap to IRQ 71, name vm_dtb_dtb_irq_71...
  3580.  
  3581. [email protected]:1767 skipping
  3582.  
  3583. [email protected]:1779 Populating slot 145 with cap to IRQ 72, name vm_dtb_dtb_irq_72...
  3584.  
  3585. [email protected]:1767 skipping
  3586.  
  3587. [email protected]:1783 Populating slot 146 with cap to vm_dtb_dtb_untyped_cap_0x13400000...
  3588.  
  3589. [email protected]:1767 skipping
  3590.  
  3591. [email protected]:1779 Populating slot 147 with cap to IRQ 77, name vm_dtb_dtb_irq_77...
  3592.  
  3593. [email protected]:1767 skipping
  3594.  
  3595. [email protected]:1783 Populating slot 148 with cap to vm_dtb_dtb_untyped_cap_0x13410000...
  3596.  
  3597. [email protected]:1767 skipping
  3598.  
  3599. [email protected]:1779 Populating slot 149 with cap to IRQ 110, name vm_dtb_dtb_irq_110...
  3600.  
  3601. [email protected]:1767 skipping
  3602.  
  3603. [email protected]:1783 Populating slot 150 with cap to vm_dtb_dtb_untyped_cap_0x13e00000...
  3604.  
  3605. [email protected]:1767 skipping
  3606.  
  3607. [email protected]:1779 Populating slot 151 with cap to IRQ 117, name vm_dtb_dtb_irq_117...
  3608.  
  3609. [email protected]:1767 skipping
  3610.  
  3611. [email protected]:1783 Populating slot 152 with cap to vm_dtb_dtb_untyped_cap_0x13e10000...
  3612.  
  3613. [email protected]:1767 skipping
  3614.  
  3615. [email protected]:1779 Populating slot 153 with cap to IRQ 118, name vm_dtb_dtb_irq_118...
  3616.  
  3617. [email protected]:1767 skipping
  3618.  
  3619. [email protected]:1783 Populating slot 154 with cap to vm_dtb_dtb_untyped_cap_0x13e80000...
  3620.  
  3621. [email protected]:1767 skipping
  3622.  
  3623. [email protected]:1783 Populating slot 155 with cap to vm_dtb_dtb_untyped_cap_0x13e90000...
  3624.  
  3625. [email protected]:1767 skipping
  3626.  
  3627. [email protected]:1783 Populating slot 156 with cap to vm_dtb_dtb_untyped_cap_0x14010000...
  3628.  
  3629. [email protected]:1767 skipping
  3630.  
  3631. [email protected]:1779 Populating slot 157 with cap to IRQ 82, name vm_dtb_dtb_irq_82...
  3632.  
  3633. [email protected]:1767 skipping
  3634.  
  3635. [email protected]:1783 Populating slot 158 with cap to vm_dtb_dtb_untyped_cap_0x14650000...
  3636.  
  3637. [email protected]:1767 skipping
  3638.  
  3639. [email protected]:1783 Populating slot 159 with cap to vm_dtb_dtb_untyped_cap_0x14680000...
  3640.  
  3641. [email protected]:1767 skipping
  3642.  
  3643. [email protected]:1783 Populating slot 160 with cap to vm0_cnode...
  3644.  
  3645. [email protected]:1767 skipping
  3646.  
  3647. [email protected]:1783 Populating slot 161 with cap to vm0_cnode...
  3648.  
  3649. [email protected]:1767 skipping
  3650.  
  3651. [email protected]:1783 Populating slot 162 with cap to vm0_group_bin_pd...
  3652.  
  3653. [email protected]:1767 skipping
  3654.  
  3655. [email protected]:1783 Populating slot 163 with cap to vm0_simple_untyped_24_pool_0...
  3656.  
  3657. [email protected]:1767 skipping
  3658.  
  3659. [email protected]:1783 Populating slot 164 with cap to vm0_simple_untyped_24_pool_1...
  3660.  
  3661. [email protected]:1767 skipping
  3662.  
  3663. [email protected]:1783 Populating slot 165 with cap to vm0_simple_untyped_24_pool_2...
  3664.  
  3665. [email protected]:1767 skipping
  3666.  
  3667. [email protected]:1783 Populating slot 166 with cap to vm0_simple_untyped_24_pool_3...
  3668.  
  3669. [email protected]:1767 skipping
  3670.  
  3671. [email protected]:1783 Populating slot 167 with cap to vm0_simple_untyped_24_pool_4...
  3672.  
  3673. [email protected]:1767 skipping
  3674.  
  3675. [email protected]:1783 Populating slot 168 with cap to vm0_simple_untyped_24_pool_5...
  3676.  
  3677. [email protected]:1767 skipping
  3678.  
  3679. [email protected]:1783 Populating slot 169 with cap to vm0_simple_untyped_24_pool_6...
  3680.  
  3681. [email protected]:1767 skipping
  3682.  
  3683. [email protected]:1783 Populating slot 170 with cap to vm0_simple_untyped_24_pool_7...
  3684.  
  3685. [email protected]:1767 skipping
  3686.  
  3687. [email protected]:1783 Populating slot 171 with cap to vm0_simple_untyped_24_pool_8...
  3688.  
  3689. [email protected]:1767 skipping
  3690.  
  3691. [email protected]:1783 Populating slot 172 with cap to vm0_simple_untyped_24_pool_9...
  3692.  
  3693. [email protected]:1767 skipping
  3694.  
  3695. [email protected]:1783 Populating slot 173 with cap to vm0_simple_untyped_24_pool_10...
  3696.  
  3697. [email protected]:1767 skipping
  3698.  
  3699. [email protected]:1783 Populating slot 174 with cap to vm0_simple_untyped_24_pool_11...
  3700.  
  3701. [email protected]:1767 skipping
  3702.  
  3703. [email protected]:1783 Populating slot 175 with cap to vm0_untyped_cap_0x10486000...
  3704.  
  3705. [email protected]:1767 skipping
  3706.  
  3707. [email protected]:1783 Populating slot 176 with cap to vm0_untyped_cap_0x80000000...
  3708.  
  3709. [email protected]:1767 skipping
  3710.  
  3711. [email protected]:1783 Populating slot 177 with cap to vm0_untyped_cap_0x90000000...
  3712.  
  3713. [email protected]:1767 skipping
  3714.  
  3715. [email protected]:1783 Populating slot 178 with cap to vm0_untyped_cap_0xa0000000...
  3716.  
  3717. [email protected]:1767 skipping
  3718.  
  3719. [email protected]:1783 Populating slot 179 with cap to vm0_asid_pool...
  3720.  
  3721. [email protected]:1767 skipping
  3722.  
  3723. [email protected]:1783 Populating slot 180 with cap to vm0_irq_notification_obj...
  3724.  
  3725. [email protected]:1767 skipping
  3726.  
  3727. [email protected]:1802 Moving into fserv_cnode...
  3728.  
  3729. [email protected]:1783 Populating slot 1 with cap to fserv_fserv_0_control_tcb...
  3730.  
  3731. [email protected]:1767 skipping
  3732.  
  3733. [email protected]:1783 Populating slot 2 with cap to fserv_fault_ep...
  3734.  
  3735. [email protected]:1767 skipping
  3736.  
  3737. [email protected]:1783 Populating slot 3 with cap to fserv_fserv_fs_ctrl_0000_tcb...
  3738.  
  3739. [email protected]:1767 skipping
  3740.  
  3741. [email protected]:1783 Populating slot 4 with cap to fserv_fault_ep...
  3742.  
  3743. [email protected]:1767 skipping
  3744.  
  3745. [email protected]:1783 Populating slot 5 with cap to fserv_fserv_0_fault_handler_tcb...
  3746.  
  3747. [email protected]:1767 skipping
  3748.  
  3749. [email protected]:1783 Populating slot 6 with cap to fserv_fault_ep...
  3750.  
  3751. [email protected]:1767 skipping
  3752.  
  3753. [email protected]:1783 Populating slot 7 with cap to fserv_pre_init_ep...
  3754.  
  3755. [email protected]:1767 skipping
  3756.  
  3757. [email protected]:1783 Populating slot 8 with cap to fserv_interface_init_ep...
  3758.  
  3759. [email protected]:1767 skipping
  3760.  
  3761. [email protected]:1783 Populating slot 9 with cap to fserv_post_init_ep...
  3762.  
  3763. [email protected]:1767 skipping
  3764.  
  3765. [email protected]:1783 Populating slot 10 with cap to fs0_ep...
  3766.  
  3767. [email protected]:1767 skipping
  3768.  
  3769. [email protected]:1810 Starting threads...
  3770.  
  3771. [email protected]:1813 Starting fserv_fserv_0_control_tcb...
  3772.  
  3773. [email protected]:1813 Starting fserv_fserv_0_fault_handler_tcb...
  3774.  
  3775. [email protected]:1813 Starting fserv_fserv_fs_ctrl_0000_tcb...
  3776.  
  3777. [email protected]:1813 Starting vm0_vm0_0_control_tcb...
  3778.  
  3779. [email protected]:1813 Starting vm0_vm0_0_fault_handler_tcb...
  3780.  
  3781. [email protected]:1813 Starting vm0_vm0_dtb_0000_tcb...
  3782.  
  3783. [email protected]:2033 We used 11108 CSlots (0.00% of our CNode)
  3784.  
  3785. [email protected]:2034 Done; suspending...
  3786.  
  3787. [email protected]:272 Failed to find any untyped capable of creating an object at address 0x14000000
  3788. [email protected]:314 Failed to map address 0x14000000
  3789. [email protected]:272 Failed to find any untyped capable of creating an object at address 0x10d10000
  3790. [email protected]:314 Failed to map address 0x10d10000
  3791. Loading Linux: 'linux' dtb: 'linux-dtb'
  3792. [email protected]:605 module name: map_frame_hack
  3793. [ 0.000000] Booting Linux on physical CPU 0x0
  3794. [ 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
  3795. [ 0.000000] CPU: ARMv7 Processor [412fc0f3] revision 3 (ARMv7), cr=10c5387d
  3796. [ 0.000000] CPU: div instructions available: patching division code
  3797. [ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, PIPT instruction cache
  3798. [ 0.000000] OF: fdt: Machine model: Hardkernel Odroid XU4
  3799. [ 0.000000] bootconsole [earlycon0] enabled
  3800. [ 0.000000] Memory policy: Data cache writealloc
  3801. [ 0.000000] cma: Reserved 128 MiB at 0xa5400000
  3802. [ 0.000000] Samsung CPU ID: 0xe5422001
  3803. [ 0.000000] On node 0 totalpages: 196608
  3804. [ 0.000000] free_area_init_node: node 0, pgdat c0e95b00, node_mem_map ef8f7000
  3805. [ 0.000000] Normal zone: 1728 pages used for memmap
  3806. [ 0.000000] Normal zone: 0 pages reserved
  3807. [ 0.000000] Normal zone: 196608 pages, LIFO batch:31
  3808. [ 0.000000] Running under secure firmware.
  3809. [ 0.000000] random: get_random_bytes called from start_kernel+0x8c/0x40c with crng_init=0
  3810. [ 0.000000] percpu: Embedded 17 pages/cpu @ef8d7000 s37644 r8192 d23796 u69632
  3811. [ 0.000000] pcpu-alloc: s37644 r8192 d23796 u69632 alloc=17*4096
  3812. [ 0.000000] pcpu-alloc: [0] 0
  3813. [ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 194880
  3814. [ 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
  3815. [ 0.000000] PID hash table entries: 4096 (order: 2, 16384 bytes)
  3816. [ 0.000000] Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
  3817. [ 0.000000] Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
  3818. [ 0.000000] Memory: 610600K/786432K available (9216K kernel code, 693K rwdata, 2532K rodata, 1024K init, 330K bss, 44760K reserved, 131072K cma-reserved, 0K highmem)
  3819. [ 0.000000] Virtual kernel memory layout:
  3820. [ 0.000000] vector : 0xffff0000 - 0xffff1000 ( 4 kB)
  3821. [ 0.000000] fixmap : 0xffc00000 - 0xfff00000 (3072 kB)
  3822. [ 0.000000] vmalloc : 0xf0800000 - 0xff800000 ( 240 MB)
  3823. [ 0.000000] lowmem : 0xc0000000 - 0xf0000000 ( 768 MB)
  3824. [ 0.000000] pkmap : 0xbfe00000 - 0xc0000000 ( 2 MB)
  3825. [ 0.000000] modules : 0xbf000000 - 0xbfe00000 ( 14 MB)
  3826. [ 0.000000] .text : 0xc0008000 - 0xc0a00000 (10208 kB)
  3827. [ 0.000000] .init : 0xc0d00000 - 0xc0e00000 (1024 kB)
  3828. [ 0.000000] .data : 0xc0e00000 - 0xc0ead7b8 ( 694 kB)
  3829. [ 0.000000] .bss : 0xc0eb5abc - 0xc0f08450 ( 331 kB)
  3830. [ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
  3831. [ 0.000000] Preemptible hierarchical RCU implementation.
  3832. [ 0.000000] RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
  3833. [ 0.000000] Tasks RCU enabled.
  3834. [ 0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=1
  3835. [ 0.000000] NR_IRQS: 16, nr_irqs: 16, preallocated irqs: 16
  3836. [ 0.000000] arch_timer: cp15 timer(s) running at 24.00MHz (virt).
  3837. [ 0.000000] clocksource: arch_sys_counter: mask: 0xffffffffffffff max_cycles: 0x588fe9dc0, max_idle_ns: 440795202592 ns
  3838. [ 0.000006] sched_clock: 56 bits at 24MHz, resolution 41ns, wraps every 4398046511097ns
  3839. [ 0.008062] Switching to timer-based delay loop, resolution 41ns
  3840. [ 0.014300] Console: colour dummy device 80x30
  3841. [ 0.018713] Calibrating delay loop (skipped), value calculated using timer frequency.. 48.00 BogoMIPS (lpj=96000)
  3842. [ 0.029007] pid_max: default: 32768 minimum: 301
  3843. [ 0.033811] Mount-cache hash table entries: 2048 (order: 1, 8192 bytes)
  3844. [ 0.040372] Mountpoint-cache hash table entries: 2048 (order: 1, 8192 bytes)
  3845. [ 0.048130] CPU: Testing write buffer coherency: ok
  3846. [ 0.052992] CPU0: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
  3847. [ 0.062743] /cpus/cpu@0 missing clock-frequency property
  3848. [ 0.068013] CPU0: thread -1, cpu 0, socket 0, mpidr 80000000
  3849. [ 0.089950] Setting up static identity map for 0x80100000 - 0x80100060
  3850. [ 0.104521] Hierarchical SRCU implementation.
  3851. [ 0.125013] smp: Bringing up secondary CPUs ...
  3852. [ 0.129503] smp: Brought up 1 node, 1 CPU
  3853. [ 0.133563] SMP: Total of 1 processors activated (48.00 BogoMIPS).
  3854. [ 0.139800] CPU: All CPU(s) started in SVC mode.
  3855. [ 0.145893] devtmpfs: initialized
  3856. [ 0.157485] VFP support v0.3: implementor 41 architecture 4 part 30 variant f rev 0
  3857. [ 0.165342] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
  3858. [ 0.175035] futex hash table entries: 256 (order: 2, 16384 bytes)
  3859. [ 0.183481] pinctrl core: initialized pinctrl subsystem
  3860. [ 0.190157] NET: Registered protocol family 16
  3861. [ 0.200088] DMA: preallocated 1024 KiB pool for atomic coherent allocations
  3862. [ 0.208658] cpuidle: using governor menu
  3863. [ 0.212851] hw-breakpoint: found 5 (+1 reserved) breakpoint and 4 watchpoint registers.
  3864. [ 0.220804] hw-breakpoint: maximum watchpoint size is 8 bytes.
  3865. [ 0.232739] exynos-audss-clk 3810000.audss-clock-controller: epll 180633609
  3866. [ 0.243870] samsung-pinctrl 13400000.pinctrl: failed to get alias id
  3867. [ 0.250175] samsung-pinctrl 13400000.pinctrl: driver data not available
  3868. [ 0.256857] samsung-pinctrl: probe of 13400000.pinctrl failed with error -2
  3869. [ 0.264183] samsung-pinctrl 13410000.pinctrl: failed to get alias id
  3870. [ 0.270493] samsung-pinctrl 13410000.pinctrl: driver data not available
  3871. [ 0.277172] samsung-pinctrl: probe of 13410000.pinctrl failed with error -2
  3872. [ 0.284489] samsung-pinctrl 14010000.pinctrl: failed to get alias id
  3873. [ 0.290795] samsung-pinctrl 14010000.pinctrl: driver data not available
  3874. [ 0.297476] samsung-pinctrl: probe of 14010000.pinctrl failed with error -2
  3875. [ 0.304856] samsung-pinctrl 3860000.pinctrl: failed to get alias id
  3876. [ 0.311109] samsung-pinctrl 3860000.pinctrl: driver data not available
  3877. [ 0.317727] samsung-pinctrl: probe of 3860000.pinctrl failed with error -2
  3878. [ 0.328003] EXYNOS5420 PMU initialized
  3879. [ 0.333185] genirq: irq_chip COMBINER did not update eff. affinity mask of irq 85
  3880. [ 0.386386] vgaarb: loaded
  3881. [ 0.389426] usbcore: registered new interface driver usbfs
  3882. [ 0.394943] usbcore: registered new interface driver hub
  3883. [ 0.400309] usbcore: registered new device driver usb
  3884. [ 0.405666] s3c-i2c 12c80000.i2c: prop pinctrl-0 index 0 invalid phandle
  3885. [ 0.412328] s3c-i2c: probe of 12c80000.i2c failed with error -22
  3886. [ 0.418634] media: Linux media interface: v0.10
  3887. [ 0.423155] Linux video capture interface: v2.00
  3888. [ 0.427912] pps_core: LinuxPPS API ver. 1 registered
  3889. [ 0.432827] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <[email protected]>
  3890. [ 0.442488] s3c2410-wdt 101d0000.watchdog: watchdog inactive, reset disabled, irq disabled
  3891. [ 0.454944] Advanced Linux Sound Architecture Driver Initialized.
  3892. [ 0.465619] clocksource: Switched to clocksource arch_sys_counter
  3893. [ 0.534658] VFS: Disk quotas dquot_6.6.0
  3894. [ 0.538608] VFS: Dquot-cache hash table entries: 1024 (order 0, 4096 bytes)
  3895. [ 0.555380] NET: Registered protocol family 2
  3896. [ 0.560308] TCP established hash table entries: 8192 (order: 3, 32768 bytes)
  3897. [ 0.567393] TCP bind hash table entries: 8192 (order: 4, 65536 bytes)
  3898. [ 0.573956] TCP: Hash tables configured (established 8192 bind 8192)
  3899. [ 0.580328] UDP hash table entries: 512 (order: 2, 16384 bytes)
  3900. [ 0.586269] UDP-Lite hash table entries: 512 (order: 2, 16384 bytes)
  3901. [ 0.592823] NET: Registered protocol family 1
  3902. [ 0.609783] RPC: Registered named UNIX socket transport module.
  3903. [ 0.615691] RPC: Registered udp transport module.
  3904. [ 0.620414] RPC: Registered tcp transport module.
  3905. [ 0.625179] RPC: Registered tcp NFSv4.1 backchannel transport module.
  3906. [ 0.631692] PCI: CLS 0 bytes, default 64
  3907. [ 0.635885] Trying to unpack rootfs image as initramfs...
  3908. [ 2.239353] Freeing initrd memory: 22244K
  3909. [ 2.245879] audit: initializing netlink subsys (disabled)
  3910. [ 2.251688] Initialise system trusted keyrings
  3911. [ 2.256105] audit: type=2000 audit(2.108:1): state=initialized audit_enabled=0 res=1
  3912. [ 2.264061] workingset: timestamp_bits=14 max_order=18 bucket_order=4
  3913. [ 2.283103] squashfs: version 4.0 (2009/01/31) Phillip Lougher
  3914. [ 2.294127] NFS: Registering the id_resolver key type
  3915. [ 2.299181] Key type id_resolver registered
  3916. [ 2.303379] Key type id_legacy registered
  3917. [ 2.307463] nfs4filelayout_init: NFSv4 File Layout Driver Registering...
  3918. [ 2.314253] romfs: ROMFS MTD (C) 2007 Red Hat, Inc.
  3919. [ 2.323938] Key type asymmetric registered
  3920. [ 2.328071] Asymmetric key parser 'x509' registered
  3921. [ 2.333197] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 245)
  3922. [ 2.345698] io scheduler noop registered
  3923. [ 2.349529] io scheduler deadline registered
  3924. [ 2.354103] io scheduler cfq registered (default)
  3925. [ 2.358767] io scheduler mq-deadline registered
  3926. [ 2.363351] io scheduler kyber registered
  3927. [ 2.367669] io scheduler bfq registered
  3928. [ 2.372687] samsung-usb2-phy 12130000.phy: 12130000.phy supply vbus not found, using dummy regulator
  3929. [ 2.382688] exynos5_usb3drd_phy 12100000.phy: 12100000.phy supply vbus not found, using dummy regulator
  3930. [ 2.392124] exynos5_usb3drd_phy 12100000.phy: 12100000.phy supply vbus-boost not found, using dummy regulator
  3931. [ 2.402391] exynos5_usb3drd_phy 12500000.phy: 12500000.phy supply vbus not found, using dummy regulator
  3932. [ 2.411820] exynos5_usb3drd_phy 12500000.phy: 12500000.phy supply vbus-boost not found, using dummy regulator
  3933. [ 2.422470] samsung-pwm 12dd0000.pwm: prop pinctrl-0 index 0 invalid phandle
  3934. [ 2.429483] samsung-pwm: probe of 12dd0000.pwm failed with error -22
  3935. [ 2.436215] OF: PCI: host bridge /pci ranges:
  3936. [ 2.440545] OF: PCI: IO 0x3d000000..0x3d00ffff -> 0x00000000
  3937. [ 2.446518] OF: PCI: MEM 0x3f000000..0x3fffffff -> 0x3f000000
  3938. [ 2.452527] pci-host-generic 3e000000.pci: ECAM at [mem 0x3e000000-0x3effffff] for [bus 00-01]
  3939. [ 2.461319] pci-host-generic 3e000000.pci: PCI host bridge to bus 0000:00
  3940. [ 2.468067] pci_bus 0000:00: root bus resource [bus 00-01]
  3941. [ 2.473617] pci_bus 0000:00: root bus resource [io 0x0000-0xffff]
  3942. [ 2.479837] pci_bus 0000:00: root bus resource [mem 0x3f000000-0x3fffffff]
  3943. [ 2.486777] pci_bus 0000:00: scanning bus
  3944. [ 2.490973] pci 0000:00:00.0: [5e14:0042] type 00 class 0x060000
  3945. [ 2.497188] pci 0000:00:00.0: calling quirk_mmio_always_on+0x0/0x10
  3946. [ 2.504183] pci 0000:00:00.0: calling pci_fixup_ide_bases+0x0/0x44
  3947. [ 2.511412] pci_bus 0000:00: fixups for bus
  3948. [ 2.515646] PCI: bus0: Fast back to back transfers disabled
  3949. [ 2.521183] pci_bus 0000:00: bus scan returning with max=00
  3950. [ 2.530110] dma-pl330 3880000.adma: Loaded driver for PL330 DMAC-241330
  3951. [ 2.536674] dma-pl330 3880000.adma: DBUFF-4x8bytes Num_Chans-6 Num_Peri-16 Num_Events-6
  3952. [ 2.547854] dma-pl330 121a0000.pdma: Loaded driver for PL330 DMAC-241330
  3953. [ 2.554518] dma-pl330 121a0000.pdma: DBUFF-32x4bytes Num_Chans-8 Num_Peri-32 Num_Events-32
  3954. [ 2.565738] dma-pl330 3880000.adma: PM domain MAU will not be powered off
  3955. [ 2.572750] dma-pl330 121b0000.pdma: Loaded driver for PL330 DMAC-241330
  3956. [ 2.579426] dma-pl330 121b0000.pdma: DBUFF-32x4bytes Num_Chans-8 Num_Peri-32 Num_Events-32
  3957. [ 2.588900] dma-pl330 10800000.mdma: Loaded driver for PL330 DMAC-241330
  3958. [ 2.595568] dma-pl330 10800000.mdma: DBUFF-64x8bytes Num_Chans-8 Num_Peri-1 Num_Events-32
  3959. [ 2.665061] Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled
  3960. [ 2.673425] 12c00000.serial: ttySAC0 at MMIO 0x12c00000 (irq = 53, base_baud = 0) is a S3C6400/10
  3961. [ 2.682748] 12c10000.serial: ttySAC1 at MMIO 0x12c10000 (irq = 54, base_baud = 0) is a S3C6400/10
  3962. [ 2.691976] 12c20000.serial: ttySAC2 at MMIO 0x12c20000 (irq = 55, base_baud = 0) is a S3C6400/10
  3963. [ 2.700883] console [tt[SAC2] enabled
  3964. 2.700883] console [ttySAC2] enabled
  3965. [ 2.708078] bootconsole [early[on0] disabled
  3966. 2.708078] bootconsole [earlycon0] disabled
  3967. [ 2.717044] 12c30000.serial: ttySAC3 at MMIO 0x12c30000 (irq = 56, base_baud = 0) is a S3C6400/10
  3968. [ 2.741685] exynos-drm-ipp exynos-drm-ipp: drm ipp registered successfully.
  3969. [ 2.759698] brd: module loaded
  3970. [ 2.761945] libphy: Fixed MDIO Bus: probed
  3971. [ 2.765754] usbcore: registered new interface driver r8152
  3972. [ 2.770940] usbcore: registered new interface driver cdc_ether
  3973. [ 2.776701] usbcore: registered new interface driver cdc_subset
  3974. [ 2.783323] exynos-dwc3 soc:usb3-0: soc:usb3-0 supply vdd33 not found, using dummy regulator
  3975. [ 2.791076] exynos-dwc3 soc:usb3-0: soc:usb3-0 supply vdd10 not found, using dummy regulator
  3976. [ 2.801144] exynos-dwc3 soc:usb3-1: soc:usb3-1 supply vdd33 not found, using dummy regulator
  3977. [ 2.808237] exynos-dwc3 soc:usb3-1: soc:usb3-1 supply vdd10 not found, using dummy regulator
  3978. [ 2.820734] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
  3979. [ 2.825860] ehci-pci: EHCI PCI platform driver
  3980. [ 2.830297] ehci-exynos: EHCI EXYNOS driver
  3981. [ 2.834664] exynos-ehci 12110000.usb: EHCI Host Controller
  3982. [ 2.839889] exynos-ehci 12110000.usb: new USB bus registered, assigned bus number 1
  3983. [ 2.851223] exynos-ehci 12110000.usb: can't setup: -110
  3984. [ 2.855015] exynos-ehci 12110000.usb: USB bus 1 deregistered
  3985. [ 2.860654] exynos-ehci 12110000.usb: Failed to add USB HCD
  3986. [ 2.866261] exynos-ehci: probe of 12110000.usb failed with error -110
  3987. [ 2.872826] ohci_hcd: USB 1.1 'Open' Host Controller (OHCI) Driver
  3988. [ 2.878813] ohci-pci: OHCI PCI platform driver
  3989. [ 2.883224] ohci-exynos: OHCI EXYNOS driver
  3990. [ 2.887529] exynos-ohci 12120000.usb: USB Host Controller
  3991. [ 2.892738] exynos-ohci 12120000.usb: new USB bus registered, assigned bus number 1
  3992. [ 2.900706] exynos-ohci 12120000.usb: irq 67, io mem 0x12120000
  3993. [ 2.965683] exynos-ohci 12120000.usb: init err (00000000 0000)
  3994. [ 2.970074] exynos-ohci 12120000.usb: can't start
  3995. [ 2.975026] exynos-ohci 12120000.usb: startup error -75
  3996. [ 2.979994] exynos-ohci 12120000.usb: USB bus 1 deregistered
  3997. [ 2.985695] exynos-ohci 12120000.usb: Failed to add USB HCD
  3998. [ 2.991241] exynos-ohci: probe of 12120000.usb failed with error -75
  3999. [ 2.998259] xhci-hcd xhci-hcd.2.auto: xHCI Host Controller
  4000. [ 3.002945] xhci-hcd xhci-hcd.2.auto: new USB bus registered, assigned bus number 1
  4001. [ 3.011024] xhci-hcd xhci-hcd.2.auto: hcc params 0x0220f04c hci version 0x100 quirks 0x0000000002010010
  4002. [ 3.020091] xhci-hcd xhci-hcd.2.auto: irq 103, io mem 0x12000000
  4003. [ 3.026146] usb usb1: New USB device found, idVendor=1d6b, idProduct=0002
  4004. [ 3.032647] usb usb1: New USB device strings: Mfr=3, Product=2, SerialNumber=1
  4005. [ 3.039839] usb usb1: Product: xHCI Host Controller
  4006. [ 3.044682] usb usb1: Manufacturer: Linux 4.14.87+ xhci-hcd
  4007. [ 3.050236] usb usb1: SerialNumber: xhci-hcd.2.auto
  4008. [ 3.055693] hub 1-0:1.0: USB hub found
  4009. [ 3.058889] hub 1-0:1.0: 1 port detected
  4010. [ 3.063179] xhci-hcd xhci-hcd.2.auto: xHCI Host Controller
  4011. [ 3.068218] xhci-hcd xhci-hcd.2.auto: new USB bus registered, assigned bus number 2
  4012. [ 3.075814] xhci-hcd xhci-hcd.2.auto: Host supports USB 3.0 SuperSpeed
  4013. [ 3.082573] usb usb2: We don't know the algorithms for LPM for this host, disabling LPM.
  4014. [ 3.090629] usb usb2: New USB device found, idVendor=1d6b, idProduct=0003
  4015. [ 3.097200] usb usb2: New USB device strings: Mfr=3, Product=2, SerialNumber=1
  4016. [ 3.104395] usb usb2: Product: xHCI Host Controller
  4017. [ 3.109241] usb usb2: Manufacturer: Linux 4.14.87+ xhci-hcd
  4018. [ 3.114791] usb usb2: SerialNumber: xhci-hcd.2.auto
  4019. [ 3.120228] hub 2-0:1.0: USB hub found
  4020. [ 3.123440] hub 2-0:1.0: 1 port detected
  4021. [ 3.127830] xhci-hcd xhci-hcd.5.auto: xHCI Host Controller
  4022. [ 3.132790] xhci-hcd xhci-hcd.5.auto: new USB bus registered, assigned bus number 3
  4023. [ 3.140784] xhci-hcd xhci-hcd.5.auto: hcc params 0x0220f04c hci version 0x100 quirks 0x0000000002010010
  4024. [ 3.149951] xhci-hcd xhci-hcd.5.auto: irq 104, io mem 0x12400000
  4025. [ 3.155941] usb usb3: New USB device found, idVendor=1d6b, idProduct=0002
  4026. [ 3.162463] usb usb3: New USB device strings: Mfr=3, Product=2, SerialNumber=1
  4027. [ 3.169763] usb usb3: Product: xHCI Host Controller
  4028. [ 3.174495] usb usb3: Manufacturer: Linux 4.14.87+ xhci-hcd
  4029. [ 3.180037] usb usb3: SerialNumber: xhci-hcd.5.auto
  4030. [ 3.185438] hub 3-0:1.0: USB hub found
  4031. [ 3.188689] hub 3-0:1.0: 1 port detected
  4032. [ 3.192975] xhci-hcd xhci-hcd.5.auto: xHCI Host Controller
  4033. [ 3.198036] xhci-hcd xhci-hcd.5.auto: new USB bus registered, assigned bus number 4
  4034. [ 3.205665] xhci-hcd xhci-hcd.5.auto: Host supports USB 3.0 SuperSpeed
  4035. [ 3.212279] usb usb4: We don't know the algorithms for LPM for this host, disabling LPM.
  4036. [ 3.220431] usb usb4: New USB device found, idVendor=1d6b, idProduct=0003
  4037. [ 3.227016] usb usb4: New USB device strings: Mfr=3, Product=2, SerialNumber=1
  4038. [ 3.234377] usb usb4: Product: xHCI Host Controller
  4039. [ 3.239051] usb usb4: Manufacturer: Linux 4.14.87+ xhci-hcd
  4040. [ 3.244593] usb usb4: SerialNumber: xhci-hcd.5.auto
  4041. [ 3.250082] hub 4-0:1.0: USB hub found
  4042. [ 3.253170] hub 4-0:1.0: 1 port detected
  4043. [ 3.258918] mousedev: PS/2 mouse device common for all mice
  4044. [ 3.264013] i2c /dev entries driver
  4045. [ 3.266685] exynos5-hsi2c 12ca0000.i2c: prop pinctrl-0 index 0 invalid phandle
  4046. [ 3.274228] exynos5-hsi2c: probe of 12ca0000.i2c failed with error -22
  4047. [ 3.285701] exynos-gsc 13e00000.video-scaler: Linked as a consumer to 13e80000.sysmmu
  4048. [ 3.292152] iommu: Adding device 13e00000.video-scaler to group 0
  4049. [ 3.305687] exynos-gsc 13e10000.video-scaler: Linked as a consumer to 13e90000.sysmmu
  4050. [ 3.312116] iommu: Adding device 13e10000.video-scaler to group 1
  4051. [ 3.320315] exynos-tmu 10060000.tmu: Regulator node (vtmu) not found
  4052. [ 3.325422] exynos-tmu 10060000.tmu: Failed to register sensor: -19
  4053. [ 3.331584] exynos-tmu 10064000.tmu: Regulator node (vtmu) not found
  4054. [ 3.338200] exynos-tmu 10064000.tmu: Failed to register sensor: -19
  4055. [ 3.344291] exynos-tmu 10068000.tmu: Regulator node (vtmu) not found
  4056. [ 3.350734] exynos-tmu 10068000.tmu: Failed to register sensor: -19
  4057. [ 3.356708] exynos-tmu 1006c000.tmu: Regulator node (vtmu) not found
  4058. [ 3.364551] exynos-tmu 1006c000.tmu: Failed to register sensor: -19
  4059. [ 3.369952] device-mapper: uevent: version 1.0.3
  4060. [ 3.374342] device-mapper: ioctl: 4.37.0-ioctl (2017-09-20) initialised: [email protected]
  4061. [ 3.382838] cpu cpu0: failed to get clock: -2
  4062. [ 3.386768] cpufreq-dt: probe of cpufreq-dt failed with error -2
  4063. [ 3.393272] sdhci: Secure Digital Host Controller Interface driver
  4064. [ 3.398851] sdhci: Copyright(c) Pierre Ossman
  4065. [ 3.403198] usb 1-1: new high-speed USB device number 2 using xhci-hcd
  4066. [ 3.409941] Synopsys Designware Multimedia Card Interface Driver
  4067. [ 3.416222] dwmmc_exynos 12200000.mmc: prop pinctrl-0 index 0 invalid phandle
  4068. [ 3.422916] dwmmc_exynos: probe of 12200000.mmc failed with error -22
  4069. [ 3.429208] dwmmc_exynos 12220000.mmc: prop pinctrl-0 index 0 invalid phandle
  4070. [ 3.436288] dwmmc_exynos: probe of 12220000.mmc failed with error -22
  4071. [ 3.443373] ledtrig-cpu: registered to indicate activity on CPUs
  4072. [ 3.448970] hidraw: raw HID events driver (C) Jiri Kosina
  4073. [ 3.454792] exynos-nocp: new NoC Probe device registered: 10ca1000.nocp
  4074. [ 3.461723] exynos-adc 12d10000.adc: 12d10000.adc supply vdd not found, using dummy regulator
  4075. [ 3.471897] samsung-i2s 3830000.i2s: prop pinctrl-0 index 0 invalid phandle
  4076. [ 3.477516] samsung-i2s: probe of 3830000.i2s failed with error -22
  4077. [ 3.484302] Netfilter messages via NETLINK v0.30.
  4078. [ 3.488579] nf_conntrack version 0.5.0 (12288 buckets, 49152 max)
  4079. [ 3.494830] nf_tables: (c) 2007-2009 Patrick McHardy <[email protected]>
  4080. [ 3.501231] ip_tables: (C) 2000-2006 Netfilter Core Team
  4081. [ 3.506459] arp_tables: arp_tables: (C) 2002 David S. Miller
  4082. [ 3.512409] NET: Registered protocol family 10
  4083. [ 3.521947] Segment Routing with IPv6
  4084. [ 3.524215] ip6_tables: (C) 2000-2006 Netfilter Core Team
  4085. [ 3.530042] NET: Registered protocol family 17
  4086. [ 3.533997] NET: Registered protocol family 15
  4087. [ 3.538424] bridge: filtering via arp/ip/ip6tables is no longer available by default. Update your scripts to load br_netfilter if you need this.
  4088. [ 3.551397] Key type dns_resolver registered
  4089. [ 3.556195] Registering SWP/SWPB emulation handler
  4090. [ 3.560986] registered taskstats version 1
  4091. [ 3.564392] Loading compiled-in X.509 certificates
  4092. [ 3.578711] usb 1-1: New USB device found, idVendor=05e3, idProduct=0610
  4093. [ 3.585855] usb 1-1: New USB device strings: Mfr=1, Product=2, SerialNumber=0
  4094. [ 3.594242] usb 1-1: Product: USB2.0 Hub
  4095. [ 3.596690] usb 1-1: Manufacturer: GenesysLogic
  4096. [ 3.601362] Key type encrypted registered
  4097. [ 3.627124] hub 1-1:1.0: USB hub found
  4098. [ 3.633702] hub 1-1:1.0: 2 ports detected
  4099. [ 3.643976] hctosys: unable to open rtc device (rtc0)
  4100. [ 3.652258] ALSA device list:
  4101. [ 3.653842] No soundcards found.
  4102. [ 3.660166] Freeing unused kernel memory: 1024K
  4103. [ 3.701966] usb 2-1: new SuperSpeed USB device number 2 using xhci-hcd
  4104. [ 3.729354] usb 2-1: New USB device found, idVendor=05e3, idProduct=0616
  4105. [ 3.737794] usb 2-1: New USB device strings: Mfr=1, Product=2, SerialNumber=0
  4106. [ 3.749730] usb 2-1: Product: USB3.0 Hub
  4107. [ 3.752178] usb 2-1: Manufacturer: GenesysLogic
  4108. [ 3.771516] hub 2-1:1.0: USB hub found
  4109. [ 3.777717] hub 2-1:1.0: 2 ports detected
  4110. Starting syslogd: OK
  4111. Starting klogd: OK
  4112. Running sysctl: OK
  4113. Populating /dev using udev: [ 3.925557] udevd[93]: starting version 3.2.9
  4114. [ 3.929284] random: udevd: uninitialized urandom read (16 bytes read)
  4115. [ 3.935599] random: udevd: uninitialized urandom read (16 bytes read)
  4116. [ 3.941877] random: udevd: uninitialized urandom read (16 bytes read)
  4117. [ 3.962176] udevd[94]: starting eudev-3.2.9
  4118. [ 5.118725] random: fast init done
  4119. done
  4120. Saving random seed: [ 5.225923] random: dd: uninitialized urandom read (512 bytes read)
  4121. OK
  4122. Starting network: OK
  4123.  
  4124. Welcome to Buildroot
  4125. buildroot login:
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!