API tools faq
paste
Advertisement
Guest User

seoul/genode failing

a guest
Jan 9th, 2015
198
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 77.87 KB | None | 0 0
raw download clone embed print report
  1. Hello World.
  2. Need 00b96000 bytes to relocate modules.
  3. Relocating to 7890b000:
  4. Copying 4194304 bytes...
  5. Copying 394240 bytes...
  6. Copying 416040 bytes...
  7. Copying 571376 bytes...
  8. Copying 563400 bytes...
  9. Copying 386824 bytes...
  10. Copying 348160 bytes...
  11. Copying 480624 bytes...
  12. Copying 1280 bytes...
  13. Copying 1140896 bytes...
  14. Copying 374800 bytes...
  15. Copying 380736 bytes...
  16. Copying 465056 bytes...
  17. Copying 442472 bytes...
  18. Copying 2935 bytes...
  19. Copying 844024 bytes...
  20. Copying 1101164 bytes...
  21.  
  22.  
  23. NOVA Microhypervisor v7-2b4f280 (x86_64): Jan 8 2015 16:45:23 [gcc 4.7.2]
  24.  
  25. [ 0] CORE:0:0:0 6:17:a:7 [a07] Intel(R) Core(TM)2 Duo CPU P8400 @ 2.26GHz
  26. [ 1] CORE:0:1:0 6:17:a:7 [a07] Intel(R) Core(TM)2 Duo CPU P8400 @ 2.26GHz
  27. [ 0] DMAR:0xffffffff81021078 FRR:0 FR:0x5 BDF:0:2:0 FI:0xffffff000
  28. Hypervisor features VMX
  29. Hypervisor does not feature SVM
  30. Hypervisor reports 2x1 CPUs - boot CPU is 0
  31. Hypervisor info page contains 47 memory descriptors:
  32. detected physical memory: 0x0000000000000000 - size: 0x8a000
  33. use physical memory: 0x0000000000000000 - size: 0x8a000
  34. detected physical memory: 0x0000000000100000 - size: 0x793a1000
  35. use physical memory: 0x0000000000100000 - size: 0x793a1000
  36. detected physical memory: 0x00000000794a7000 - size: 0x110000
  37. use physical memory: 0x00000000794a7000 - size: 0x110000
  38. detected physical memory: 0x000000007960f000 - size: 0xb7000
  39. use physical memory: 0x000000007960f000 - size: 0xb7000
  40. detected physical memory: 0x00000000799ff000 - size: 0x1000
  41. use physical memory: 0x00000000799ff000 - size: 0x1000
  42. map multi-boot module: physical 0x78a18000 -> [0x001cd000-0x0029b0f8) - core
  43. map multi-boot module: physical 0x78ae7000 -> [0x00002000-0x00002b77) - config
  44. map multi-boot module: physical 0x78ae8000 -> [0x00006000-0x00072068) - init
  45. map multi-boot module: physical 0x78b55000 -> [0x00076000-0x000e78a0) - pci_drv
  46. map multi-boot module: physical 0x78bc7000 -> [0xb0000000-0xb005cf40) - timer
  47. map multi-boot module: physical 0x78c24000 -> [0x0029f000-0x002fa810) - rtc_drv
  48. map multi-boot module: physical 0x78c80000 -> [0x002fc000-0x004128a0) - seoul
  49. map multi-boot module: physical 0x78d97000 -> [0x000f1000-0x000f1500) - vm_seoul.cfg
  50. map multi-boot module: physical 0x78d98000 -> [0x00414000-0x00489570) - acpi_drv
  51. map multi-boot module: physical 0x78e0e000 -> [0x0048b000-0x004e0000) - pci_device_pd
  52. map multi-boot module: physical 0x78e64000 -> [0x004e0000-0x0053e708) - ps2_drv
  53. map multi-boot module: physical 0x78ec3000 -> [0x00540000-0x005c98c8) - nic_drv
  54. map multi-boot module: physical 0x78f4d000 -> [0x005cb000-0x006567f0) - fb_drv
  55. map multi-boot module: physical 0x78fd9000 -> [0x00658000-0x006bd928) - rom_blk
  56. map multi-boot module: physical 0x7903f000 -> [0x006c1000-0x00721400) - iso9660
  57. map multi-boot module: physical 0x790a0000 -> [0x00726000-0x00b26000) - genode.iso
  58. :virt_alloc: Allocator 18d130 dump:
  59. Block: [00002000,00004000) size=00002000 avail=00000000 max_avail=00000000
  60. Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000
  61. Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000
  62. Block: [00006000,00074000) size=0006e000 avail=00000000 max_avail=00000000
  63. Block: [00074000,00075000) size=00001000 avail=00000000 max_avail=00000000
  64. Block: [00075000,00076000) size=00001000 avail=00000000 max_avail=00000000
  65. Block: [00076000,000e9000) size=00073000 avail=00000000 max_avail=00000000
  66. Block: [000e9000,000ea000) size=00001000 avail=00000000 max_avail=00000000
  67. Block: [000ea000,000eb000) size=00001000 avail=00000000 max_avail=00000000
  68. Block: [000eb000,000ec000) size=00001000 avail=00000000 max_avail=00000000
  69. Block: [000ec000,000ed000) size=00001000 avail=00000000 max_avail=00000000
  70. Block: [000ed000,000ee000) size=00001000 avail=00000000 max_avail=00000000
  71. Block: [000ee000,000ef000) size=00001000 avail=00000000 max_avail=00000000
  72. Block: [000ef000,000f0000) size=00001000 avail=00000000 max_avail=00000000
  73. Block: [000f0000,000f1000) size=00001000 avail=00000000 max_avail=7fff400f8000
  74. Block: [000f1000,000f3000) size=00002000 avail=00000000 max_avail=00000000
  75. Block: [000f3000,000f4000) size=00001000 avail=00000000 max_avail=00000000
  76. Block: [000f4000,000f5000) size=00001000 avail=00000000 max_avail=00000000
  77. Block: [000f5000,000f6000) size=00001000 avail=00000000 max_avail=00000000
  78. Block: [000f6000,000f7000) size=00001000 avail=00000000 max_avail=00000000
  79. Block: [000f7000,000f9000) size=00002000 avail=00000000 max_avail=00000000
  80. Block: [000f9000,000fa000) size=00001000 avail=00000000 max_avail=00000000
  81. Block: [000fa000,000fb000) size=00001000 avail=00000000 max_avail=00000000
  82. Block: [000fb000,000fc000) size=00001000 avail=00000000 max_avail=00000000
  83. Block: [000fc000,000fd000) size=00001000 avail=00000000 max_avail=00000000
  84. Block: [000fd000,000fe000) size=00001000 avail=00000000 max_avail=00000000
  85. Block: [000fe000,000ff000) size=00001000 avail=00000000 max_avail=00000000
  86. Block: [000ff000,00100000) size=00001000 avail=00000000 max_avail=00000000
  87. Block: [001cd000,0029d000) size=000d0000 avail=00000000 max_avail=00000000
  88. Block: [0029d000,0029e000) size=00001000 avail=00000000 max_avail=7fff400f8000
  89. Block: [0029e000,0029f000) size=00001000 avail=00000000 max_avail=00000000
  90. Block: [0029f000,002fc000) size=0005d000 avail=00000000 max_avail=00000000
  91. Block: [002fc000,00414000) size=00118000 avail=00000000 max_avail=00000000
  92. Block: [00414000,0048b000) size=00077000 avail=00000000 max_avail=00000000
  93. Block: [0048b000,004e0000) size=00055000 avail=00000000 max_avail=00000000
  94. Block: [004e0000,00540000) size=00060000 avail=00000000 max_avail=00000000
  95. Block: [00540000,005cb000) size=0008b000 avail=00000000 max_avail=00000000
  96. Block: [005cb000,00658000) size=0008d000 avail=00000000 max_avail=00000000
  97. Block: [00658000,006bf000) size=00067000 avail=00000000 max_avail=00000000
  98. Block: [006bf000,006c0000) size=00001000 avail=00000000 max_avail=00000000
  99. Block: [006c0000,006c1000) size=00001000 avail=00000000 max_avail=00000000
  100. Block: [006c1000,00723000) size=00062000 avail=00000000 max_avail=7fff400f8000
  101. Block: [00723000,00724000) size=00001000 avail=00000000 max_avail=00000000
  102. Block: [00724000,00725000) size=00001000 avail=00000000 max_avail=00000000
  103. Block: [00725000,00726000) size=00001000 avail=00000000 max_avail=00000000
  104. Block: [00726000,00b26000) size=00400000 avail=00000000 max_avail=00000000
  105. Block: [00b26000,00b28000) size=00002000 avail=00000000 max_avail=00000000
  106. Block: [00b28000,00b29000) size=00001000 avail=00000000 max_avail=7fff400f8000
  107. Block: [00b29000,00b2a000) size=00001000 avail=00000000 max_avail=00000000
  108. Block: [00b2a000,a0000000) size=9f4d6000 avail=9f4d6000 max_avail=9f4d6000
  109. Block: [b0000000,b005e000) size=0005e000 avail=00000000 max_avail=7fff400f8000
  110. Block: [b005e000,bfeff000) size=0fea1000 avail=0fea1000 max_avail=7fff400f8000
  111. Block: [bff04000,7fffffffc000) size=7fff400f8000 avail=7fff400f8000 max_avail=7fff400f8000
  112. => mem_size=140737219035136 (134217471 MB) / mem_avail=140737207791616 (134217460 MB)
  113. :phys_alloc: Allocator 18c080 dump:
  114. Block: [00001000,0008a000) size=00089000 avail=00089000 max_avail=00089000
  115. Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=76217000
  116. Block: [02800000,02801000) size=00001000 avail=00000000 max_avail=00000000
  117. Block: [02801000,78a18000) size=76217000 avail=76217000 max_avail=76217000
  118. Block: [794a7000,794a8000) size=00001000 avail=00000000 max_avail=76217000
  119. Block: [794a8000,795b7000) size=0010f000 avail=0010f000 max_avail=0010f000
  120. Block: [7960f000,79610000) size=00001000 avail=00000000 max_avail=0010f000
  121. Block: [79610000,79611000) size=00001000 avail=00000000 max_avail=0010f000
  122. Block: [79611000,79612000) size=00001000 avail=00000000 max_avail=00000000
  123. Block: [79612000,79613000) size=00001000 avail=00000000 max_avail=00000000
  124. Block: [79613000,79614000) size=00001000 avail=00000000 max_avail=76217000
  125. Block: [79614000,79615000) size=00001000 avail=00000000 max_avail=00000000
  126. Block: [79615000,79616000) size=00001000 avail=00000000 max_avail=00000000
  127. Block: [79616000,79617000) size=00001000 avail=00000000 max_avail=00000000
  128. Block: [79617000,79618000) size=00001000 avail=00000000 max_avail=00000000
  129. Block: [79618000,79619000) size=00001000 avail=00000000 max_avail=00000000
  130. Block: [79619000,7961a000) size=00001000 avail=00000000 max_avail=00000000
  131. Block: [7961a000,7961b000) size=00001000 avail=00000000 max_avail=00000000
  132. Block: [7961b000,7961c000) size=00001000 avail=00000000 max_avail=00000000
  133. Block: [7961c000,7961d000) size=00001000 avail=00000000 max_avail=00000000
  134. Block: [7961d000,7961e000) size=00001000 avail=00000000 max_avail=00000000
  135. Block: [7961e000,7961f000) size=00001000 avail=00000000 max_avail=00000000
  136. Block: [7961f000,79620000) size=00001000 avail=00000000 max_avail=76217000
  137. Block: [79620000,79621000) size=00001000 avail=00000000 max_avail=00000000
  138. Block: [79621000,79622000) size=00001000 avail=00000000 max_avail=00000000
  139. Block: [79622000,79623000) size=00001000 avail=00000000 max_avail=00000000
  140. Block: [79623000,79624000) size=00001000 avail=00000000 max_avail=00000000
  141. Block: [79624000,79625000) size=00001000 avail=00000000 max_avail=00000000
  142. Block: [79625000,79626000) size=00001000 avail=00000000 max_avail=0009a000
  143. Block: [79626000,79627000) size=00001000 avail=00000000 max_avail=00000000
  144. Block: [79627000,79628000) size=00001000 avail=00000000 max_avail=00000000
  145. Block: [79628000,79629000) size=00001000 avail=00000000 max_avail=0009a000
  146. Block: [79629000,7962a000) size=00001000 avail=00000000 max_avail=00000000
  147. Block: [7962a000,7962b000) size=00001000 avail=00000000 max_avail=0009a000
  148. Block: [7962b000,7962c000) size=00001000 avail=00000000 max_avail=00000000
  149. Block: [7962c000,796c6000) size=0009a000 avail=0009a000 max_avail=0009a000
  150. Block: [799ff000,79a00000) size=00001000 avail=00000000 max_avail=00000000
  151. => mem_size=1987481600 (1895 MB) / mem_avail=1987350528 (1895 MB)
  152. :io_mem_alloc: Allocator 18e1f8 dump:
  153. Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000
  154. Block: [0008a000,00100000) size=00076000 avail=00076000 max_avail=02400000
  155. Block: [00400000,02800000) size=02400000 avail=02400000 max_avail=02400000
  156. Block: [78a18000,78e63000) size=0044b000 avail=0044b000 max_avail=02400000
  157. Block: [78e64000,794a0000) size=0063c000 avail=0063c000 max_avail=0063c000
  158. Block: [794a1000,794a7000) size=00006000 avail=00006000 max_avail=ffffffff865ff000
  159. Block: [795b7000,7960f000) size=00058000 avail=00058000 max_avail=00058000
  160. Block: [796c6000,799ff000) size=00339000 avail=00339000 max_avail=ffffffff865ff000
  161. Block: [79a00000,fffffffffffff000) size=ffffffff865ff000 avail=ffffffff865ff000 max_avail=ffffffff865ff000
  162. => mem_size=18446744071722057728 (17592186042520 MB) / mem_avail=18446744071722057728 (17592186042520 MB)
  163. Genode 14.11
  164. int main(): --- create local services ---
  165. int main(): --- start init ---
  166. int main(): transferred 1894 MB to init
  167. [init] Could not open file "ld.lib.so"
  168. [init] parent provides
  169. [init] service "ROM"
  170. [init] service "RAM"
  171. [init] service "IRQ"
  172. [init] service "IO_MEM"
  173. [init] service "IO_PORT"
  174. [init] service "CAP"
  175. [init] service "PD"
  176. [init] service "RM"
  177. [init] service "CPU"
  178. [init] service "LOG"
  179. [init] service "SIGNAL"
  180. [init] child "timer"
  181. [init] RAM quota: 884736
  182. [init] ELF binary: timer
  183. [init] priority: 0
  184. [init] provides service Timer
  185. [init] child "rtc_drv"
  186. [init] RAM quota: 884736
  187. [init] ELF binary: rtc_drv
  188. [init] priority: 1
  189. [init] provides service Rtc
  190. [init] child "ps2_drv"
  191. [init] RAM quota: 2981888
  192. [init] ELF binary: ps2_drv
  193. [init] priority: 1
  194. [init] provides service Input
  195. Quota exceeded! amount=24576, size=4096, consumed=24576
  196. [init] upgrading quota donation for Env::CPU (8192 bytes)
  197. [init] child "rom_blk"
  198. [init] RAM quota: 16613376
  199. [init] ELF binary: rom_blk
  200. [init] priority: 1
  201. [init] provides service Block
  202. [init] child "iso9660"
  203. [init] RAM quota: 16613376
  204. [init] ELF binary: iso9660
  205. [init] priority: 1
  206. [init] provides service ROM
  207. Quota exceeded! amount=32768, size=4096, consumed=32768
  208. [init] upgrading quota donation for Env::CPU (8192 bytes)
  209. [init] child "acpi"
  210. [init] RAM quota: 8224768
  211. [init] ELF binary: acpi_drv
  212. [init] priority: 1
  213. [init] provides service PCI
  214. [init] provides service IRQ
  215. [init] child "nic_drv"
  216. [init] RAM quota: 2981888
  217. [init] ELF binary: nic_drv
  218. [init] priority: 2
  219. [init] provides service Nic
  220. Quota exceeded! amount=40960, size=4096, consumed=40960
  221. [init] upgrading quota donation for Env::CPU (8192 bytes)
  222. [init] child "fb_drv"
  223. [init] RAM quota: 8224768
  224. [init] ELF binary: fb_drv
  225. [init] priority: 1
  226. [init] provides service Framebuffer
  227. [init] child "seoul"
  228. [init] RAM quota: 134053888
  229. [init] ELF binary: seoul
  230. [init] priority: 3
  231. [init] child "timer" announces service "Timer"
  232. [init] child "rtc_drv" announces service "Rtc"
  233. [init] child "rom_blk" announces service "Block"
  234. [init -> rom_blk] Using file=genode.iso as device with block size 800.
  235. [init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 5464 kiB
  236. [init] child "iso9660" announces service "ROM"
  237. [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long unsigned int; Genode::uint32_t = unsigned int]: Found MADT
  238. [init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0
  239. [init -> acpi] MADT IRQ 9 -> GSI 9 flags: d
  240. [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long unsigned int; Genode::uint32_t = unsigned int]: Found MCFG
  241. [init -> acpi] MCFG BASE 0xe0000000 seg 00 bus 00-3f
  242. [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long unsigned int; Genode::uint32_t = unsigned int]: Found DMAR
  243. [init -> acpi] 36 bit DMA physical addressable
  244. [init -> acpi] RMRR: [0xfc226c00,0xfc2273ff] - DMA region reported by BIOS
  245. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate).
  246. [init -> acpi] RMRR: [0x79c00000,0x7bffffff] - DMA region reported by BIOS
  247. [init] child "ps2_drv" announces service "Input"
  248. [init -> acpi -> pci_drv] PCI driver started
  249. [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd starting ...
  250. [init -> acpi -> pci_drv -> pci_device_pd] PCI device pd started
  251. [init -> acpi -> pci_drv] 00 BDF start 0, functions: 0x4000, physical base 0xe0000000
  252. [init -> acpi] ACPI table format is supported - rewrite GSIs
  253. [init -> acpi] Rewriting 00:02.0 IRQ: 11 -> GSI: 16
  254. [init -> acpi] Rewriting 00:03.0 IRQ: 11 -> GSI: 16
  255. [init -> acpi] Rewriting 00:03.2 IRQ: 11 -> GSI: 18
  256. [init -> acpi] Rewriting 00:03.3 IRQ: 11 -> GSI: 17
  257. [init -> acpi] Rewriting 00:19.0 IRQ: 11 -> GSI: 20
  258. [init -> acpi] Rewriting 00:1a.0 IRQ: 11 -> GSI: 20
  259. [init -> acpi] Rewriting 00:1a.1 IRQ: 11 -> GSI: 21
  260. [init -> acpi] Rewriting 00:1a.2 IRQ: 11 -> GSI: 22
  261. [init -> acpi] Rewriting 00:1a.7 IRQ: 11 -> GSI: 23
  262. [init -> acpi] Rewriting 00:1b.0 IRQ: 11 -> GSI: 17
  263. [init -> acpi] Rewriting 00:1d.0 IRQ: 11 -> GSI: 16
  264. [init -> acpi] Rewriting 00:1d.1 IRQ: 11 -> GSI: 17
  265. [init -> acpi] Rewriting 00:1d.2 IRQ: 11 -> GSI: 18
  266. [init -> acpi] Rewriting 00:1d.7 IRQ: 11 -> GSI: 19
  267. [init -> acpi] Rewriting 00:1f.2 IRQ: 11 -> GSI: 16
  268. [init -> acpi] Rewriting 00:1f.3 IRQ: 11 -> GSI: 23
  269. [init -> acpi] Rewriting 03:00.0 IRQ: 11 -> GSI: 17
  270. [init -> acpi] Rewriting 15:00.0 IRQ: 11 -> GSI: 16
  271. [init -> acpi] Rewriting 15:00.1 IRQ: 11 -> GSI: 17
  272. [init -> acpi] Rewriting 15:00.2 IRQ: 11 -> GSI: 18
  273. [init -> acpi] Rewriting 15:00.3 IRQ: 11 -> GSI: 18
  274. [init -> acpi] Rewriting 15:00.4 IRQ: 11 -> GSI: 18
  275. [init -> acpi] Rewriting 15:00.5 IRQ: 11 -> GSI: 18
  276. [init] child "acpi" announces service "PCI"
  277. [init] child "acpi" announces service "IRQ"
  278. [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1000
  279. [init] child "fb_drv" announces service "Framebuffer"
  280. [init -> nic_drv] --- iPXE NIC driver started ---
  281. [init] child "nic_drv" announces service "Nic"
  282. [init -> seoul] --- Vancouver VMM starting ---
  283. unmapping of managed dataspaces not yet supported
  284. [init -> seoul] [0x000000000000, 0x000007720000) - 119 MiB - VM accessible memory
  285. [init -> seoul] [0x000008000000, 0x00000f320000) - 119 MiB - VMM accessible shadow mapping of VM memory
  286. [init -> seoul] [0x00000f320000, 0x00000f720000) - 4 MiB - VMM accessible framebuffer memory of VM
  287. [init -> seoul] [0x0000a0000000, 0x0000b0000000) - Genode thread context area
  288. [init -> seoul] [0x7fffff800000, 0x7fffff940f20) - VMM program image
  289. [init -> seoul]
  290. [init -> seoul] --- Setup VM ---
  291. [init -> fb_drv] Found: VESA BIOS version 3.0
  292. [init -> fb_drv] OEM: Intel(r)Cantiga Graphics Chip Accelerated VGA BIOS
  293. [init -> fb_drv] Found: physical frame buffer at 0xd0000000 size: 0x01ff0000
  294. [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1400000
  295. [init -> fb_drv] bytes_per_scanline 2048, linear_bytes_per_scanline 2048
  296. [init -> fb_drv] overriding width to 1024
  297. [init -> fb_drv] Using video mode: 1024 x 768 x 16
  298. [init -> fb_drv] Framebuffer::Session_component::Session_component(unsigned int, unsigned int, unsigned int, Genode::Dataspace_capability, bool): use buf size 1572864
  299. [init -> fb_drv] using buffered output
  300. [init -> seoul] device: mem
  301. [init -> seoul] arg[0]: 0x0
  302. [init -> seoul] arg[1]: 0x9a000
  303. [init -> seoul] VMM: physmem: 0 [0, 9a000]
  304. [init -> seoul] device: mem
  305. [init -> seoul] arg[0]: 0x100000
  306. [init -> seoul] arg[1]: 0xfffff000
  307. [init -> seoul] VMM: Hello, this is Vancouver_disk.
  308. [init -> seoul] VMM: physmem: 0 [100000, 7320000]
  309. [init -> seoul] device: nullio
  310. [init -> seoul] arg[0]: 0x80
  311. [init -> seoul] device: pic
  312. [init -> seoul] arg[0]: 0x20
  313. [init -> seoul] arg[2]: 0x4d0
  314. [init -> seoul] device: pic
  315. [init -> seoul] arg[0]: 0xa0
  316. [init -> seoul] arg[1]: 0x2
  317. [init -> seoul] arg[2]: 0x4d1
  318. [init -> seoul] device: pit
  319. [init -> seoul] arg[0]: 0x40
  320. [init -> seoul] arg[1]: 0x0
  321. [init -> seoul] VMM: Creating alarm thread
  322. [init -> seoul] device: scp
  323. [init -> seoul] arg[0]: 0x92
  324. [init -> seoul] arg[1]: 0x61
  325. [init -> seoul] device: kbc
  326. [init -> seoul] arg[0]: 0x60
  327. [init -> seoul] arg[1]: 0x1
  328. [init -> seoul] arg[2]: 0xc
  329. [init -> seoul] device: keyb
  330. [init -> seoul] arg[0]: 0x0
  331. [init -> seoul] arg[1]: 0x10000
  332. [init -> seoul] device: mouse
  333. [init -> seoul] arg[0]: 0x1
  334. [init -> seoul] arg[1]: 0x10001
  335. [init -> seoul] device: rtc
  336. [init -> seoul] arg[0]: 0x70
  337. [init -> seoul] arg[1]: 0x8
  338. [init -> seoul] VMM: Got time 50c33a4f5f080
  339. [init -> seoul] device: serial
  340. [init -> seoul] arg[0]: 0x3f8
  341. [init -> seoul] arg[1]: 0x4
  342. [init -> seoul] arg[2]: 0x4711
  343. [init -> seoul] device: hostsink
  344. [init -> seoul] arg[0]: 0x4712
  345. [init -> seoul] arg[1]: 0x50
  346. [init -> seoul] device: vga
  347. [init -> seoul] arg[0]: 0x3c0
  348. [init -> seoul] arg[1]: 0x1000
  349. [init -> seoul] VMM: _alloc_fb_mem -> len=0x400000, ptr=0x8000000
  350. [init -> seoul] VMM: VGA console 7320000+400000 f320000
  351. [init -> seoul] device: vbios_keyboard
  352. [init -> seoul] VMM: Ignored parameter: '<warning: unsupported format string argument>*s'
  353. [init -> seoul] device: vbios_mem
  354. [init -> seoul] device: vbios_time
  355. [init -> seoul] device: vbios_reset
  356. [init -> seoul] device: vbios_multiboot
  357. [init -> seoul] arg[0]: 0x2800000
  358. [init -> seoul] device: msi
  359. [init -> seoul] device: ioapic
  360. [init -> seoul] device: pcihostbridge
  361. [init -> seoul] arg[0]: 0x0
  362. [init -> seoul] arg[1]: 0x10
  363. [init -> seoul] arg[2]: 0xcf8
  364. [init -> seoul] arg[3]: 0xe0000000
  365. [init -> seoul] device: pmtimer
  366. [init -> seoul] arg[0]: 0x8000
  367. [init -> seoul] device: vcpu
  368. Quota exceeded! amount=24576, size=4096, consumed=24576
  369. [init -> seoul] upgrading quota donation for Env::CPU (8192 bytes)
  370. int main(): --- init created, waiting for exit condition ---
  371. [init -> seoul] device: halifax
  372. [init -> seoul] device: vbios
  373. [init -> seoul] device: lapic
  374. [init -> seoul] VMM: LAPIC freq 141341187
  375. [init -> seoul] device: intel82576vf
  376. [init -> nic_drv] --- init iPXE NIC
  377. [init -> nic_drv] scan_pci(): Found: 00:19.0 8086:10f5 (rev 03) IRQ 14
  378. [init -> nic_drv] probe_pci_device(): using driver 82567lm
  379. [init -> nic_drv] adjust_pci_device(): PCI device 00:19.0 latency timer is unreasonably low at 0. Setting to 32.
  380. [init -> nic_drv] ioremap(): bus_addr = fc000000 len = 20000
  381. [init -> seoul] VMM: Deactivated text buffer loop.
  382. [init -> nic_drv] snprintf not implemented
  383. Quota exceeded! amount=24576, size=4096, consumed=24576
  384. [init -> nic_drv] upgrading quota donation for Env::CPU (8192 bytes)
  385. [init -> nic_drv] number of devices: 1
  386. [init -> nic_drv] --- init rx_callbacks
  387. [init -> nic_drv] --- get MAC address 00:22:68:14:68:b2
  388. [init -> seoul] Our mac address is 00:22:68:14:68:ffffffb2
  389. Quota exceeded! amount=32768, size=4096, consumed=32768
  390. [init -> seoul] upgrading quota donation for Env::CPU (8192 bytes)
  391. [init -> seoul] VMM: Attached 82576VF model at f7ce0000+0x4000, f7cc0000+0x1000
  392. [init -> seoul]
  393. [init -> seoul] --- Booting VM ---
  394. [init -> seoul] VM and VMM are co-located. VM is starting with 1 vCPU.
  395. [init -> seoul] VMM: RESET device state
  396. [init -> seoul] VMM: MessageLegacy::RESET requested
  397. [init -> seoul] VMM: INIT done
  398. [init -> seoul] VMM: reset CPU from 9 mtr_in e0010
  399. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 0 cr0 10 efl 2
  400. [init -> iso9660] request for file /hypervisor
  401. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  402. [init -> iso9660] request for file /genode/core
  403. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  404. [init -> iso9660] request for file /genode/config
  405. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  406. [init -> iso9660] request for file /genode/init
  407. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  408. [init -> iso9660] request for file /genode/test-printf
  409. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  410. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  411. [init -> seoul] Logging::vprintf not implemented
  412. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  413. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  414. [init -> iso9660] cache hit for file /hypervisor
  415. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  416. [init -> iso9660] cache hit for file /genode/core
  417. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  418. [init -> iso9660] cache hit for file /genode/config
  419. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  420. [init -> iso9660] cache hit for file /genode/init
  421. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  422. [init -> iso9660] cache hit for file /genode/test-printf
  423. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  424. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  425. [init -> seoul] Logging::vprintf not implemented
  426. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  427. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  428. [init -> iso9660] cache hit for file /hypervisor
  429. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  430. [init -> iso9660] cache hit for file /genode/core
  431. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  432. [init -> iso9660] cache hit for file /genode/config
  433. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  434. [init -> iso9660] cache hit for file /genode/init
  435. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  436. [init -> iso9660] cache hit for file /genode/test-printf
  437. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  438. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  439. [init -> seoul] Logging::vprintf not implemented
  440. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  441. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  442. [init -> iso9660] cache hit for file /hypervisor
  443. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  444. [init -> iso9660] cache hit for file /genode/core
  445. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  446. [init -> iso9660] cache hit for file /genode/config
  447. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  448. [init -> iso9660] cache hit for file /genode/init
  449. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  450. [init -> iso9660] cache hit for file /genode/test-printf
  451. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  452. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  453. [init -> seoul] Logging::vprintf not implemented
  454. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  455. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  456. [init -> iso9660] cache hit for file /hypervisor
  457. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  458. [init -> iso9660] cache hit for file /genode/core
  459. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  460. [init -> iso9660] cache hit for file /genode/config
  461. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  462. [init -> iso9660] cache hit for file /genode/init
  463. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  464. [init -> iso9660] cache hit for file /genode/test-printf
  465. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  466. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  467. [init -> seoul] Logging::vprintf not implemented
  468. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  469. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  470. [init -> iso9660] cache hit for file /hypervisor
  471. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  472. [init -> iso9660] cache hit for file /genode/core
  473. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  474. [init -> iso9660] cache hit for file /genode/config
  475. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  476. [init -> iso9660] cache hit for file /genode/init
  477. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  478. [init -> iso9660] cache hit for file /genode/test-printf
  479. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  480. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  481. [init -> seoul] Logging::vprintf not implemented
  482. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  483. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  484. [init -> iso9660] cache hit for file /hypervisor
  485. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  486. [init -> iso9660] cache hit for file /genode/core
  487. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  488. [init -> iso9660] cache hit for file /genode/config
  489. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  490. [init -> iso9660] cache hit for file /genode/init
  491. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  492. [init -> iso9660] cache hit for file /genode/test-printf
  493. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  494. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  495. [init -> seoul] Logging::vprintf not implemented
  496. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  497. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  498. [init -> iso9660] cache hit for file /hypervisor
  499. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  500. [init -> iso9660] cache hit for file /genode/core
  501. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  502. [init -> iso9660] cache hit for file /genode/config
  503. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  504. [init -> iso9660] cache hit for file /genode/init
  505. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  506. [init -> iso9660] cache hit for file /genode/test-printf
  507. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  508. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  509. [init -> seoul] Logging::vprintf not implemented
  510. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  511. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  512. [init -> iso9660] cache hit for file /hypervisor
  513. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  514. [init -> iso9660] cache hit for file /genode/core
  515. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  516. [init -> iso9660] cache hit for file /genode/config
  517. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  518. [init -> iso9660] cache hit for file /genode/init
  519. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  520. [init -> iso9660] cache hit for file /genode/test-printf
  521. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  522. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  523. [init -> seoul] Logging::vprintf not implemented
  524. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  525. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  526. [init -> iso9660] cache hit for file /hypervisor
  527. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  528. [init -> iso9660] cache hit for file /genode/core
  529. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  530. [init -> iso9660] cache hit for file /genode/config
  531. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  532. [init -> iso9660] cache hit for file /genode/init
  533. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  534. [init -> iso9660] cache hit for file /genode/test-printf
  535. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  536. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  537. [init -> seoul] Logging::vprintf not implemented
  538. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  539. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  540. [init -> iso9660] cache hit for file /hypervisor
  541. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  542. [init -> iso9660] cache hit for file /genode/core
  543. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  544. [init -> iso9660] cache hit for file /genode/config
  545. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  546. [init -> iso9660] cache hit for file /genode/init
  547. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  548. [init -> iso9660] cache hit for file /genode/test-printf
  549. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  550. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  551. [init -> seoul] Logging::vprintf not implemented
  552. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  553. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  554. [init -> iso9660] cache hit for file /hypervisor
  555. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  556. [init -> iso9660] cache hit for file /genode/core
  557. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  558. [init -> iso9660] cache hit for file /genode/config
  559. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  560. [init -> iso9660] cache hit for file /genode/init
  561. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  562. [init -> iso9660] cache hit for file /genode/test-printf
  563. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  564. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  565. [init -> seoul] Logging::vprintf not implemented
  566. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  567. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  568. [init -> iso9660] cache hit for file /hypervisor
  569. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  570. [init -> iso9660] cache hit for file /genode/core
  571. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  572. [init -> iso9660] cache hit for file /genode/config
  573. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  574. [init -> iso9660] cache hit for file /genode/init
  575. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  576. [init -> iso9660] cache hit for file /genode/test-printf
  577. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  578. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  579. [init -> seoul] Logging::vprintf not implemented
  580. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  581. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  582. [init -> iso9660] cache hit for file /hypervisor
  583. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  584. [init -> iso9660] cache hit for file /genode/core
  585. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  586. [init -> iso9660] cache hit for file /genode/config
  587. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  588. [init -> iso9660] cache hit for file /genode/init
  589. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  590. [init -> iso9660] cache hit for file /genode/test-printf
  591. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  592. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  593. [init -> seoul] Logging::vprintf not implemented
  594. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  595. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  596. [init -> iso9660] cache hit for file /hypervisor
  597. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  598. [init -> iso9660] cache hit for file /genode/core
  599. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  600. [init -> iso9660] cache hit for file /genode/config
  601. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  602. [init -> iso9660] cache hit for file /genode/init
  603. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  604. [init -> iso9660] cache hit for file /genode/test-printf
  605. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  606. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  607. [init -> seoul] Logging::vprintf not implemented
  608. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  609. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  610. [init -> iso9660] cache hit for file /hypervisor
  611. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  612. [init -> iso9660] cache hit for file /genode/core
  613. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  614. [init -> iso9660] cache hit for file /genode/config
  615. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  616. [init -> iso9660] cache hit for file /genode/init
  617. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  618. [init -> iso9660] cache hit for file /genode/test-printf
  619. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  620. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  621. [init -> seoul] Logging::vprintf not implemented
  622. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  623. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  624. [init -> iso9660] cache hit for file /hypervisor
  625. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  626. [init -> iso9660] cache hit for file /genode/core
  627. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  628. [init -> iso9660] cache hit for file /genode/config
  629. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  630. [init -> iso9660] cache hit for file /genode/init
  631. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  632. [init -> iso9660] cache hit for file /genode/test-printf
  633. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  634. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  635. [init -> seoul] Logging::vprintf not implemented
  636. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  637. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  638. [init -> iso9660] cache hit for file /hypervisor
  639. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  640. [init -> iso9660] cache hit for file /genode/core
  641. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  642. [init -> iso9660] cache hit for file /genode/config
  643. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  644. [init -> iso9660] cache hit for file /genode/init
  645. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  646. [init -> iso9660] cache hit for file /genode/test-printf
  647. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  648. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  649. [init -> seoul] Logging::vprintf not implemented
  650. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  651. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  652. [init -> iso9660] cache hit for file /hypervisor
  653. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  654. [init -> iso9660] cache hit for file /genode/core
  655. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  656. [init -> iso9660] cache hit for file /genode/config
  657. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  658. [init -> iso9660] cache hit for file /genode/init
  659. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  660. [init -> iso9660] cache hit for file /genode/test-printf
  661. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  662. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  663. [init -> seoul] Logging::vprintf not implemented
  664. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  665. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  666. [init -> iso9660] cache hit for file /hypervisor
  667. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  668. [init -> iso9660] cache hit for file /genode/core
  669. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  670. [init -> iso9660] cache hit for file /genode/config
  671. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  672. [init -> iso9660] cache hit for file /genode/init
  673. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  674. [init -> iso9660] cache hit for file /genode/test-printf
  675. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  676. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  677. [init -> seoul] Logging::vprintf not implemented
  678. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  679. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  680. [init -> iso9660] cache hit for file /hypervisor
  681. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  682. [init -> iso9660] cache hit for file /genode/core
  683. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  684. [init -> iso9660] cache hit for file /genode/config
  685. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  686. [init -> iso9660] cache hit for file /genode/init
  687. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  688. [init -> iso9660] cache hit for file /genode/test-printf
  689. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  690. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  691. [init -> seoul] Logging::vprintf not implemented
  692. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  693. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  694. [init -> iso9660] cache hit for file /hypervisor
  695. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  696. [init -> iso9660] cache hit for file /genode/core
  697. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  698. [init -> iso9660] cache hit for file /genode/config
  699. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  700. [init -> iso9660] cache hit for file /genode/init
  701. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  702. [init -> iso9660] cache hit for file /genode/test-printf
  703. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  704. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  705. [init -> seoul] Logging::vprintf not implemented
  706. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  707. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  708. [init -> iso9660] cache hit for file /hypervisor
  709. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  710. [init -> iso9660] cache hit for file /genode/core
  711. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  712. [init -> iso9660] cache hit for file /genode/config
  713. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  714. [init -> iso9660] cache hit for file /genode/init
  715. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  716. [init -> iso9660] cache hit for file /genode/test-printf
  717. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  718. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  719. [init -> seoul] Logging::vprintf not implemented
  720. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  721. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  722. [init -> iso9660] cache hit for file /hypervisor
  723. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  724. [init -> iso9660] cache hit for file /genode/core
  725. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  726. [init -> iso9660] cache hit for file /genode/config
  727. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  728. [init -> iso9660] cache hit for file /genode/init
  729. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  730. [init -> iso9660] cache hit for file /genode/test-printf
  731. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  732. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  733. [init -> seoul] Logging::vprintf not implemented
  734. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  735. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  736. [init -> iso9660] cache hit for file /hypervisor
  737. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  738. [init -> iso9660] cache hit for file /genode/core
  739. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  740. [init -> iso9660] cache hit for file /genode/config
  741. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  742. [init -> iso9660] cache hit for file /genode/init
  743. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  744. [init -> iso9660] cache hit for file /genode/test-printf
  745. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  746. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  747. [init -> seoul] Logging::vprintf not implemented
  748. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  749. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  750. [init -> iso9660] cache hit for file /hypervisor
  751. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  752. [init -> iso9660] cache hit for file /genode/core
  753. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  754. [init -> iso9660] cache hit for file /genode/config
  755. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  756. [init -> iso9660] cache hit for file /genode/init
  757. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  758. [init -> iso9660] cache hit for file /genode/test-printf
  759. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  760. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  761. [init -> seoul] Logging::vprintf not implemented
  762. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  763. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  764. [init -> iso9660] cache hit for file /hypervisor
  765. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  766. [init -> iso9660] cache hit for file /genode/core
  767. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  768. [init -> iso9660] cache hit for file /genode/config
  769. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  770. [init -> iso9660] cache hit for file /genode/init
  771. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  772. [init -> iso9660] cache hit for file /genode/test-printf
  773. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  774. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  775. [init -> seoul] Logging::vprintf not implemented
  776. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  777. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  778. [init -> iso9660] cache hit for file /hypervisor
  779. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  780. [init -> iso9660] cache hit for file /genode/core
  781. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  782. [init -> iso9660] cache hit for file /genode/config
  783. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  784. [init -> iso9660] cache hit for file /genode/init
  785. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  786. [init -> iso9660] cache hit for file /genode/test-printf
  787. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  788. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  789. [init -> seoul] Logging::vprintf not implemented
  790. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  791. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  792. [init -> iso9660] cache hit for file /hypervisor
  793. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  794. [init -> iso9660] cache hit for file /genode/core
  795. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  796. [init -> iso9660] cache hit for file /genode/config
  797. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  798. [init -> iso9660] cache hit for file /genode/init
  799. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  800. [init -> iso9660] cache hit for file /genode/test-printf
  801. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  802. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  803. [init -> seoul] Logging::vprintf not implemented
  804. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  805. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  806. [init -> iso9660] cache hit for file /hypervisor
  807. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  808. [init -> iso9660] cache hit for file /genode/core
  809. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  810. [init -> iso9660] cache hit for file /genode/config
  811. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  812. [init -> iso9660] cache hit for file /genode/init
  813. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  814. [init -> iso9660] cache hit for file /genode/test-printf
  815. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  816. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  817. [init -> seoul] Logging::vprintf not implemented
  818. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  819. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  820. [init -> iso9660] cache hit for file /hypervisor
  821. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  822. [init -> iso9660] cache hit for file /genode/core
  823. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  824. [init -> iso9660] cache hit for file /genode/config
  825. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  826. [init -> iso9660] cache hit for file /genode/init
  827. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  828. [init -> iso9660] cache hit for file /genode/test-printf
  829. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  830. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  831. [init -> seoul] Logging::vprintf not implemented
  832. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  833. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  834. [init -> iso9660] cache hit for file /hypervisor
  835. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  836. [init -> iso9660] cache hit for file /genode/core
  837. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  838. [init -> iso9660] cache hit for file /genode/config
  839. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  840. [init -> iso9660] cache hit for file /genode/init
  841. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  842. [init -> iso9660] cache hit for file /genode/test-printf
  843. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  844. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  845. [init -> seoul] Logging::vprintf not implemented
  846. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  847. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  848. [init -> iso9660] cache hit for file /hypervisor
  849. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  850. [init -> iso9660] cache hit for file /genode/core
  851. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  852. [init -> iso9660] cache hit for file /genode/config
  853. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  854. [init -> iso9660] cache hit for file /genode/init
  855. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  856. [init -> iso9660] cache hit for file /genode/test-printf
  857. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  858. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  859. [init -> seoul] Logging::vprintf not implemented
  860. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  861. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  862. [init -> iso9660] cache hit for file /hypervisor
  863. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  864. [init -> iso9660] cache hit for file /genode/core
  865. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  866. [init -> iso9660] cache hit for file /genode/config
  867. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  868. [init -> iso9660] cache hit for file /genode/init
  869. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  870. [init -> iso9660] cache hit for file /genode/test-printf
  871. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  872. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  873. [init -> seoul] Logging::vprintf not implemented
  874. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  875. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  876. [init -> iso9660] cache hit for file /hypervisor
  877. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  878. [init -> iso9660] cache hit for file /genode/core
  879. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  880. [init -> iso9660] cache hit for file /genode/config
  881. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  882. [init -> iso9660] cache hit for file /genode/init
  883. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  884. [init -> iso9660] cache hit for file /genode/test-printf
  885. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  886. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  887. [init -> seoul] Logging::vprintf not implemented
  888. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  889. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  890. [init -> iso9660] cache hit for file /hypervisor
  891. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  892. [init -> iso9660] cache hit for file /genode/core
  893. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  894. [init -> iso9660] cache hit for file /genode/config
  895. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  896. [init -> iso9660] cache hit for file /genode/init
  897. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  898. [init -> iso9660] cache hit for file /genode/test-printf
  899. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  900. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  901. [init -> seoul] Logging::vprintf not implemented
  902. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  903. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  904. [init -> iso9660] cache hit for file /hypervisor
  905. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  906. [init -> iso9660] cache hit for file /genode/core
  907. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  908. [init -> iso9660] cache hit for file /genode/config
  909. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  910. [init -> iso9660] cache hit for file /genode/init
  911. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  912. [init -> iso9660] cache hit for file /genode/test-printf
  913. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  914. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  915. [init -> seoul] Logging::vprintf not implemented
  916. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  917. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  918. [init -> iso9660] cache hit for file /hypervisor
  919. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  920. [init -> iso9660] cache hit for file /genode/core
  921. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  922. [init -> iso9660] cache hit for file /genode/config
  923. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  924. [init -> iso9660] cache hit for file /genode/init
  925. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  926. [init -> iso9660] cache hit for file /genode/test-printf
  927. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  928. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  929. [init -> seoul] Logging::vprintf not implemented
  930. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  931. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  932. [init -> iso9660] cache hit for file /hypervisor
  933. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  934. [init -> iso9660] cache hit for file /genode/core
  935. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  936. [init -> iso9660] cache hit for file /genode/config
  937. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  938. [init -> iso9660] cache hit for file /genode/init
  939. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  940. [init -> iso9660] cache hit for file /genode/test-printf
  941. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  942. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  943. [init -> seoul] Logging::vprintf not implemented
  944. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  945. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  946. [init -> iso9660] cache hit for file /hypervisor
  947. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  948. [init -> iso9660] cache hit for file /genode/core
  949. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  950. [init -> iso9660] cache hit for file /genode/config
  951. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  952. [init -> iso9660] cache hit for file /genode/init
  953. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  954. [init -> iso9660] cache hit for file /genode/test-printf
  955. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  956. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  957. [init -> seoul] Logging::vprintf not implemented
  958. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  959. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  960. [init -> iso9660] cache hit for file /hypervisor
  961. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  962. [init -> iso9660] cache hit for file /genode/core
  963. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  964. [init -> iso9660] cache hit for file /genode/config
  965. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  966. [init -> iso9660] cache hit for file /genode/init
  967. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  968. [init -> iso9660] cache hit for file /genode/test-printf
  969. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  970. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  971. [init -> seoul] Logging::vprintf not implemented
  972. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  973. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  974. [init -> iso9660] cache hit for file /hypervisor
  975. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  976. [init -> iso9660] cache hit for file /genode/core
  977. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  978. [init -> iso9660] cache hit for file /genode/config
  979. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  980. [init -> iso9660] cache hit for file /genode/init
  981. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  982. [init -> iso9660] cache hit for file /genode/test-printf
  983. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  984. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  985. [init -> seoul] Logging::vprintf not implemented
  986. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  987. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  988. [init -> iso9660] cache hit for file /hypervisor
  989. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  990. [init -> iso9660] cache hit for file /genode/core
  991. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  992. [init -> iso9660] cache hit for file /genode/config
  993. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  994. [init -> iso9660] cache hit for file /genode/init
  995. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  996. [init -> iso9660] cache hit for file /genode/test-printf
  997. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  998. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  999. [init -> seoul] Logging::vprintf not implemented
  1000. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1001. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1002. [init -> iso9660] cache hit for file /hypervisor
  1003. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1004. [init -> iso9660] cache hit for file /genode/core
  1005. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1006. [init -> iso9660] cache hit for file /genode/config
  1007. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1008. [init -> iso9660] cache hit for file /genode/init
  1009. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1010. [init -> iso9660] cache hit for file /genode/test-printf
  1011. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1012. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1013. [init -> seoul] Logging::vprintf not implemented
  1014. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1015. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1016. [init -> iso9660] cache hit for file /hypervisor
  1017. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1018. [init -> iso9660] cache hit for file /genode/core
  1019. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1020. [init -> iso9660] cache hit for file /genode/config
  1021. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1022. [init -> iso9660] cache hit for file /genode/init
  1023. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1024. [init -> iso9660] cache hit for file /genode/test-printf
  1025. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1026. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1027. [init -> seoul] Logging::vprintf not implemented
  1028. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1029. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1030. [init -> iso9660] cache hit for file /hypervisor
  1031. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1032. [init -> iso9660] cache hit for file /genode/core
  1033. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1034. [init -> iso9660] cache hit for file /genode/config
  1035. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1036. [init -> iso9660] cache hit for file /genode/init
  1037. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1038. [init -> iso9660] cache hit for file /genode/test-printf
  1039. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1040. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1041. [init -> seoul] Logging::vprintf not implemented
  1042. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1043. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1044. [init -> iso9660] cache hit for file /hypervisor
  1045. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1046. [init -> iso9660] cache hit for file /genode/core
  1047. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1048. [init -> iso9660] cache hit for file /genode/config
  1049. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1050. [init -> iso9660] cache hit for file /genode/init
  1051. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1052. [init -> iso9660] cache hit for file /genode/test-printf
  1053. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1054. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1055. [init -> seoul] Logging::vprintf not implemented
  1056. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1057. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1058. [init -> iso9660] cache hit for file /hypervisor
  1059. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1060. [init -> iso9660] cache hit for file /genode/core
  1061. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1062. [init -> iso9660] cache hit for file /genode/config
  1063. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1064. [init -> iso9660] cache hit for file /genode/init
  1065. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1066. [init -> iso9660] cache hit for file /genode/test-printf
  1067. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1068. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1069. [init -> seoul] Logging::vprintf not implemented
  1070. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1071. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1072. [init -> iso9660] cache hit for file /hypervisor
  1073. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1074. [init -> iso9660] cache hit for file /genode/core
  1075. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1076. [init -> iso9660] cache hit for file /genode/config
  1077. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1078. [init -> iso9660] cache hit for file /genode/init
  1079. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1080. [init -> iso9660] cache hit for file /genode/test-printf
  1081. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1082. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1083. [init -> seoul] Logging::vprintf not implemented
  1084. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1085. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1086. [init -> iso9660] cache hit for file /hypervisor
  1087. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1088. [init -> iso9660] cache hit for file /genode/core
  1089. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1090. [init -> iso9660] cache hit for file /genode/config
  1091. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1092. [init -> iso9660] cache hit for file /genode/init
  1093. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1094. [init -> iso9660] cache hit for file /genode/test-printf
  1095. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1096. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1097. [init -> seoul] Logging::vprintf not implemented
  1098. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1099. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1100. [init -> iso9660] cache hit for file /hypervisor
  1101. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1102. [init -> iso9660] cache hit for file /genode/core
  1103. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1104. [init -> iso9660] cache hit for file /genode/config
  1105. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1106. [init -> iso9660] cache hit for file /genode/init
  1107. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1108. [init -> iso9660] cache hit for file /genode/test-printf
  1109. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1110. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1111. [init -> seoul] Logging::vprintf not implemented
  1112. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1113. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1114. [init -> iso9660] cache hit for file /hypervisor
  1115. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1116. [init -> iso9660] cache hit for file /genode/core
  1117. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1118. [init -> iso9660] cache hit for file /genode/config
  1119. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1120. [init -> iso9660] cache hit for file /genode/init
  1121. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1122. [init -> iso9660] cache hit for file /genode/test-printf
  1123. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1124. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1125. [init -> seoul] Logging::vprintf not implemented
  1126. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1127. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1128. [init -> iso9660] cache hit for file /hypervisor
  1129. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1130. [init -> iso9660] cache hit for file /genode/core
  1131. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1132. [init -> iso9660] cache hit for file /genode/config
  1133. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1134. [init -> iso9660] cache hit for file /genode/init
  1135. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1136. [init -> iso9660] cache hit for file /genode/test-printf
  1137. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1138. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1139. [init -> seoul] Logging::vprintf not implemented
  1140. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1141. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1142. [init -> iso9660] cache hit for file /hypervisor
  1143. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1144. [init -> iso9660] cache hit for file /genode/core
  1145. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1146. [init -> iso9660] cache hit for file /genode/config
  1147. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1148. [init -> iso9660] cache hit for file /genode/init
  1149. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1150. [init -> iso9660] cache hit for file /genode/test-printf
  1151. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1152. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1153. [init -> seoul] Logging::vprintf not implemented
  1154. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1155. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1156. [init -> iso9660] cache hit for file /hypervisor
  1157. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1158. [init -> iso9660] cache hit for file /genode/core
  1159. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1160. [init -> iso9660] cache hit for file /genode/config
  1161. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1162. [init -> iso9660] cache hit for file /genode/init
  1163. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1164. [init -> iso9660] cache hit for file /genode/test-printf
  1165. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1166. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1167. [init -> seoul] Logging::vprintf not implemented
  1168. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1169. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1170. [init -> iso9660] cache hit for file /hypervisor
  1171. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1172. [init -> iso9660] cache hit for file /genode/core
  1173. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1174. [init -> iso9660] cache hit for file /genode/config
  1175. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1176. [init -> iso9660] cache hit for file /genode/init
  1177. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1178. [init -> iso9660] cache hit for file /genode/test-printf
  1179. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1180. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1181. [init -> seoul] Logging::vprintf not implemented
  1182. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1183. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1184. [init -> iso9660] cache hit for file /hypervisor
  1185. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1186. [init -> iso9660] cache hit for file /genode/core
  1187. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1188. [init -> iso9660] cache hit for file /genode/config
  1189. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1190. [init -> iso9660] cache hit for file /genode/init
  1191. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1192. [init -> iso9660] cache hit for file /genode/test-printf
  1193. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1194. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1195. [init -> seoul] Logging::vprintf not implemented
  1196. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1197. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1198. [init -> iso9660] cache hit for file /hypervisor
  1199. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1200. [init -> iso9660] cache hit for file /genode/core
  1201. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1202. [init -> iso9660] cache hit for file /genode/config
  1203. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1204. [init -> iso9660] cache hit for file /genode/init
  1205. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1206. [init -> iso9660] cache hit for file /genode/test-printf
  1207. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1208. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1209. [init -> seoul] Logging::vprintf not implemented
  1210. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1211. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1212. [init -> iso9660] cache hit for file /hypervisor
  1213. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1214. [init -> iso9660] cache hit for file /genode/core
  1215. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1216. [init -> iso9660] cache hit for file /genode/config
  1217. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1218. [init -> iso9660] cache hit for file /genode/init
  1219. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1220. [init -> iso9660] cache hit for file /genode/test-printf
  1221. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1222. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1223. [init -> seoul] Logging::vprintf not implemented
  1224. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1225. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1226. [init -> iso9660] cache hit for file /hypervisor
  1227. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1228. [init -> iso9660] cache hit for file /genode/core
  1229. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1230. [init -> iso9660] cache hit for file /genode/config
  1231. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1232. [init -> iso9660] cache hit for file /genode/init
  1233. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1234. [init -> iso9660] cache hit for file /genode/test-printf
  1235. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1236. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1237. [init -> seoul] Logging::vprintf not implemented
  1238. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1239. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1240. [init -> iso9660] cache hit for file /hypervisor
  1241. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1242. [init -> iso9660] cache hit for file /genode/core
  1243. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1244. [init -> iso9660] cache hit for file /genode/config
  1245. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1246. [init -> iso9660] cache hit for file /genode/init
  1247. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1248. [init -> iso9660] cache hit for file /genode/test-printf
  1249. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1250. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1251. [init -> seoul] Logging::vprintf not implemented
  1252. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1253. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1254. [init -> iso9660] cache hit for file /hypervisor
  1255. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1256. [init -> iso9660] cache hit for file /genode/core
  1257. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1258. [init -> iso9660] cache hit for file /genode/config
  1259. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1260. [init -> iso9660] cache hit for file /genode/init
  1261. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1262. [init -> iso9660] cache hit for file /genode/test-printf
  1263. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1264. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1265. [init -> seoul] Logging::vprintf not implemented
  1266. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1267. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1268. [init -> iso9660] cache hit for file /hypervisor
  1269. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1270. [init -> iso9660] cache hit for file /genode/core
  1271. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1272. [init -> iso9660] cache hit for file /genode/config
  1273. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1274. [init -> iso9660] cache hit for file /genode/init
  1275. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1276. [init -> iso9660] cache hit for file /genode/test-printf
  1277. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1278. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1279. [init -> seoul] Logging::vprintf not implemented
  1280. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1281. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1282. [init -> iso9660] cache hit for file /hypervisor
  1283. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1284. [init -> iso9660] cache hit for file /genode/core
  1285. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1286. [init -> iso9660] cache hit for file /genode/config
  1287. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1288. [init -> iso9660] cache hit for file /genode/init
  1289. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1290. [init -> iso9660] cache hit for file /genode/test-printf
  1291. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1292. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1293. [init -> seoul] Logging::vprintf not implemented
  1294. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1295. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1296. [init -> iso9660] cache hit for file /hypervisor
  1297. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1298. [init -> iso9660] cache hit for file /genode/core
  1299. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1300. [init -> iso9660] cache hit for file /genode/config
  1301. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1302. [init -> iso9660] cache hit for file /genode/init
  1303. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1304. [init -> iso9660] cache hit for file /genode/test-printf
  1305. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1306. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1307. [init -> seoul] Logging::vprintf not implemented
  1308. [init -> seoul] VMM: reset CPU from 7 mtr_in effff
  1309. [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
  1310. [init -> iso9660] cache hit for file /hypervisor
  1311. [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial
  1312. [init -> iso9660] cache hit for file /genode/core
  1313. [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
  1314. [init -> iso9660] cache hit for file /genode/config
  1315. [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
  1316. [init -> iso9660] cache hit for file /genode/init
  1317. [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
  1318. [init -> iso9660] cache hit for file /genode/test-printf
  1319. [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
  1320. [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
  1321. [init -> seoul] Logging::vprintf not implemented
  1322. ...
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!