AHCI driver problem

Igor freescalereg at ...129...
Thu Feb 4 11:23:08 CET 2016


03.02.2016, 18:52, "Igor" <freescalereg at ...129...>:
> Hello list!
>
> Description: AHCI driver do not announce service "Block"
>
> Environment:
> Genode: 15.11
> MB: ASUS Sabertooth Z87
>
> Driver successfully finds my HD, creates appropriate ATA_driver, and that's all. With verbose messages turning on all went ok but it's impossible to work normally in that mode.
>
> Thanks.
>
> ------------------------------------------------------------------------------
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

Additional information:

Config:

====================================================================
<config verbose="yes" prio_levels="4">
	<parent-provides>
		<service name="ROM"/>
		<service name="RAM"/>
		<service name="IRQ"/>
		<service name="IO_MEM"/>
		<service name="IO_PORT"/>
		<service name="CAP"/>
		<service name="PD"/>
		<service name="RM"/>
		<service name="CPU"/>
		<service name="LOG"/>
		<service name="SIGNAL"/>
	</parent-provides>
	<default-route>
		<any-service> <parent/> <any-child/> </any-service>
	</default-route>
	<start name="timer">
		<resource name="RAM" quantum="1M"/>
		<provides><service name="Timer"/></provides>
	</start>
	<start name="ahci_drv" priority="-1">
		<resource name="RAM" quantum="10M" />
		<provides><service name="Block" /></provides>
		<config>
			<policy label="part_blk" device="3" />
		</config>
		<route>
			<service name="IRQ"><child name="acpi_drv" /></service>
			<any-service> <parent /> <any-child /></any-service>
		</route>
	</start>
	<start name="part_blk" priority="-1">
		<resource name="RAM" quantum="10M" />
		<provides><service name="Block" /></provides>
		<route>
			<any-service><child name="ahci_drv"/> <parent/><any-child/></any-service>
		</route>
		<config>
			<policy label="rump_fs" partition="1"/>
		</config>
	</start>
	<start name="rump_fs" priority="-1">
		<resource name="RAM" quantum="32M" />
		<provides><service name="File_system"/></provides>
		<config fs="ext2fs"><policy root="/" writeable="yes"/></config>
		<route>
			<any-service><child name="part_blk"/> <parent/><any-child/></any-service>
		</route>
	</start>
	<start name="acpi_drv"  priority="-1">
		<resource name="RAM" quantum="2M"/>
		<route>
			<service name="LOG"> <parent/> </service>
			<service name="IO_MEM"> <parent/> </service>
			<service name="RM"> <parent/> </service>
			<service name="Report"> <child name="acpi_report_rom"/> </service>
		</route>
	</start>
	<start name="acpi_report_rom"  priority="-1">
		<binary name="report_rom"/>
		<resource name="RAM" quantum="2M"/>
		<provides>
			<service name="ROM" />
			<service name="Report" />
		</provides>
		<config>
			<rom> <policy label="platform_drv -> acpi" report="acpi_drv -> acpi"/> </rom>
		</config>
		<route>
			<service name="LOG"> <parent/> </service>
			<service name="SIGNAL"> <parent/> </service>
			<service name="CAP"> <parent/> </service>
			<service name="RM"> <parent/> </service>
		</route>
	</start>
	<start name="platform_drv"  priority="-1">
		<resource name="RAM" quantum="4M" constrain_phys="yes"/>
		<provides>
			<service name="Platform"/>
		</provides>
		<route>
			<service name="ROM">
				<if-arg key="label" value="acpi"/> <child name="acpi_report_rom"/>
			</service>
			<any-service> <parent/> </any-service>
		</route>
		<config>
			<policy label="ps2_drv">  <device name="PS2"/> </policy>
			<policy label="nic_drv">  <pci class="ETHERNET"/> </policy>
			<policy label="fb_drv">   <pci class="VGA"/> </policy>
			<policy label="wifi_drv"> <pci class="WIFI"/> </policy>
			<policy label="usb_drv">  <pci class="USB"/> </policy>
			<policy label="ahci_drv"> <pci class="AHCI"/> </policy>
			<policy label="audio_drv"> <pci class="AUDIO"/> <pci class="HDAUDIO"/> </policy>
			<policy label="intel_fb_drv" irq_mode="nomsi">
				<pci class="VGA"/>
				<pci bus="0" device="0" function="0"/>
				<pci class="ISABRIDGE"/>
			</policy>
		</config>
	</start>
	<start name="usb_drv" priority="-1">
		<resource name="RAM" quantum="8M"/>
		<provides>
			<service name="Input"/>
			<service name="Usb" />
		</provides>
		<config uhci="yes" ehci="yes" xhci="yes">
			<hid/>
			<raw>
				<report devices="yes"/>
			</raw>
		</config>
		<route>
			<service name="IRQ"><child name="acpi_drv" /></service>
			<service name="Report"><child name="report_rom" /></service>
			<any-service> <parent /> <any-child /></any-service>
		</route>
	</start>

	<start name="fb_drv" priority="-1">
		<resource name="RAM" quantum="16M"/>
		<provides><service name="Framebuffer"/></provides>
		<config buffered="yes" />
	</start>
	<start name="rtc_drv" priority="-1">
		<resource name="RAM" quantum="1M"/>
		<provides>
			<service name="Rtc"/>
		</provides>
	</start>

	<start name="input_merger">
		<resource name="RAM" quantum="1M" />
		<provides>
			<service name="Input" />
		</provides>
		<config>
			<input label="usb_hid" />
		</config>
		<route> 
			<service name="Input">
				<if-arg key="label" value="usb_hid" /> <child name="usb_drv" />
			</service> 
			<any-service> <parent /> <any-child /> </any-service>
		</route>
	</start>

	<!--
		Note: to get network access in the VM, the virtual network adapter
		      needs to be enabled in the .vbox file (disabled by default)
	-->
	<start name="nic_drv" priority="-1">
		<resource name="RAM" quantum="8M" />
		<provides>
			<service name="Nic" />
		</provides>
	</start>

	<!--
		Note: to use audio in the VM, the virtual audio adapter
		needs to be enabled in the .vbox file (disabled by default).
		(Recording is configured to use the external mic.)
	-->
	<start name="audio_drv">
		<resource name="RAM" quantum="9M"/>
		<provides>
			<service name="Audio_out"/>
			<service name="Audio_in"/>
		</provides>
		<config recording="yes">
			<mixer field="outputs.master" value="255"/>
			<mixer field="record.adc-0:1_source" value="sel2"/>
			<mixer field="record.adc-0:1" value="255"/>
		</config>
	</start>

	<start name="report_rom">
		<resource name="RAM" quantum="1M"/>
		<provides> <service name="Report"/> <service name="ROM"/> </provides>
		<config>
			<rom>
				<policy label="vbox -> usb_devices"   report="usb_drv -> devices"/>
			</rom>
		</config>
	</start>

	<start name="nitpicker" priority="-1">
		<resource name="RAM" quantum="16M"/>
		<provides><service name="Nitpicker"/></provides>
		<route>
			<service name="Framebuffer"> <child name="fb_drv" /> </service>
			<service name="Input"> <child name="input_merger" /> </service>
			<service name="Report"> <child name="report_rom" /> </service>
			<any-service> <parent/> <any-child /> </any-service>
		</route>
		<config>
			<report focus="yes" hover="yes" xray="yes" />

			<domain name="vbox"    layer="1" content="client" label="no" focus="click" hover="always" />
			<domain name=""        layer="1" content="client" focus="click" hover="always" />

			<policy label="nit_fb" domain="vbox"/>
			<policy domain=""/>
		</config>
	</start>

	<start name="nit_fb" priority="-1">
		<resource name="RAM" quantum="8M" />
		<provides>
			<service name="Framebuffer" />
			<service name="Input" />
		</provides>
		<config/>
	</start>

	<start name="vbox" priority="-2">
		<binary name="virtualbox" />
		<resource name="RAM" quantum="1280M"/>
			<config ld_verbose="yes" vbox_file="vm_win7.vbox" vm_name="win7">
			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc">
				<vfs>
					<dir name="dev"> <log/> <rtc/> </dir>
					<fs/>
				</vfs>
			</libc>
		</config>
		<route>
			<service name="File_system"> <child name="rump_fs"/> </service>
			<service name="Framebuffer"> <child name="nit_fb" /> </service>
			<service name="Input"> <child name="nit_fb" /> </service>
			<service name="Report"><child name="report_rom" /></service>
			<service name="ROM">
				<if-arg key="label" value="usb_devices"/> <child name="report_rom"/>
			</service>
			<any-service> <parent/> <any-child /> </any-service>
		</route>
	</start>

</config>
====================================================================



Serial output:
====================================================================
Hypervisor features VMX
Hypervisor reports 8x1 CPUs - boot CPU is 0
Hypervisor info page contains 52 memory descriptors:
detected physical memory: 0x0000000000000000 - size: 0x9d800
use      physical memory: 0x0000000000000000 - size: 0x9d000
detected physical memory: 0x0000000000100000 - size: 0xc785c000
use      physical memory: 0x0000000000100000 - size: 0xc785c000
detected physical memory: 0x00000000c7963000 - size: 0x45a000
use      physical memory: 0x00000000c7963000 - size: 0x45a000
detected physical memory: 0x00000000c822e000 - size: 0x154ac000
use      physical memory: 0x00000000c822e000 - size: 0x154ac000
detected physical memory: 0x00000000defff000 - size: 0x1000
use      physical memory: 0x00000000defff000 - size: 0x1000
detected physical memory: 0x0000000100000000 - size: 0x31f000000
use      physical memory: 0x0000000100000000 - size: 0x31f000000
map multi-boot module: physical 0x7e866000+0x000e7400 - core
map multi-boot module: physical 0x7e94e000+0x00001c68 - config
map multi-boot module: physical 0x7e950000+0x0005c740 - input_merger
map multi-boot module: physical 0x7e9ad000+0x0007e048 - nic_drv
map multi-boot module: physical 0x7ea2c000+0x0009cc40 - audio_drv
map multi-boot module: physical 0x7eac9000+0x0007e550 - nitpicker
map multi-boot module: physical 0x7eb48000+0x00062820 - nit_fb
map multi-boot module: physical 0x7ebab000+0x000611e0 - report_rom
map multi-boot module: physical 0x7ec0d000+0x0005ff08 - init
map multi-boot module: physical 0x7ec6d000+0x0005adf8 - timer
map multi-boot module: physical 0x7ecc8000+0x0005bd48 - part_blk
map multi-boot module: physical 0x7ed24000+0x00072f20 - ahci_drv
map multi-boot module: physical 0x7ed97000+0x0009bad8 - ld.lib.so
map multi-boot module: physical 0x7ee33000+0x001098c8 - libc.lib.so
map multi-boot module: physical 0x7ef3d000+0x000285f0 - libm.lib.so
map multi-boot module: physical 0x7ef66000+0x00009a00 - pthread.lib.so
map multi-boot module: physical 0x7ef70000+0x00005db8 - libc_lock_pipe.lib.so
map multi-boot module: physical 0x7ef76000+0x00013238 - libc_terminal.lib.so
map multi-boot module: physical 0x7ef8a000+0x000e71e8 - libiconv.lib.so
map multi-boot module: physical 0x7f072000+0x000deaf0 - stdcxx.lib.so
map multi-boot module: physical 0x7f151000+0x001cdc30 - rump.lib.so
map multi-boot module: physical 0x7f31f000+0x0012bd78 - rump_fs.lib.so
map multi-boot module: physical 0x7f44b000+0x00025358 - rump_fs
map multi-boot module: physical 0x7f471000+0x0081e310 - virtualbox
map multi-boot module: physical 0x7fc90000+0x0010fba8 - usb_drv
map multi-boot module: physical 0x7fda0000+0x00089380 - fb_drv
map multi-boot module: physical 0x7fe2a000+0x0005ef98 - rtc_drv
map multi-boot module: physical 0x7fe89000+0x00073260 - platform_drv
map multi-boot module: physical 0x7fefd000+0x0004e7a0 - acpi_drv
map multi-boot module: physical 0x7ff4c000+0x000611e0 - report_rom
map multi-boot module: physical 0x7ffae000+0x00051bc0 - device_pd
:virt_alloc: Allocator 18ebe0 dump:
 Block: [00002000,000a0000) size=0009e000 avail=0009e000 max_avail=0009e000
 Block: [000a0000,000a1000) size=00001000 avail=00000000 max_avail=0009e000
 Block: [000a1000,00100000) size=0005f000 avail=0005f000 max_avail=0005f000
 Block: [001e7000,001e8000) size=00001000 avail=00000000 max_avail=0005f000
 Block: [001e8000,001e9000) size=00001000 avail=00000000 max_avail=0009e000
 Block: [001e9000,001ea000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001ea000,001eb000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001eb000,001ec000) size=00001000 avail=00000000 max_avail=0009e000
 Block: [001ec000,001ed000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001ed000,001ee000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001ee000,001ef000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001ef000,001f0000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f0000,001f1000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f1000,001f2000) size=00001000 avail=00000000 max_avail=0009e000
 Block: [001f2000,001f3000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f3000,001f4000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f4000,001f5000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f5000,001f6000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f6000,001f7000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f7000,001f8000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f8000,001f9000) size=00001000 avail=00000000 max_avail=00000000
 Block: [001f9000,001fa000) size=00001000 avail=00000000 max_avail=00027000
 Block: [001fa000,00221000) size=00027000 avail=00027000 max_avail=00027000
 Block: [00221000,00222000) size=00001000 avail=00000000 max_avail=00027000
 Block: [00222000,00223000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00223000,00224000) size=00001000 avail=00000000 max_avail=00027000
 Block: [00224000,00225000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00225000,00226000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00226000,00227000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00227000,00228000) size=00001000 avail=00000000 max_avail=00027000
 Block: [00228000,00229000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00229000,0022a000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0022a000,0022b000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0022b000,0022c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0022c000,0022d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0022d000,0022e000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0022e000,0022f000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0022f000,00230000) size=00001000 avail=00000000 max_avail=00014000
 Block: [00230000,00231000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00231000,00232000) size=00001000 avail=00000000 max_avail=00014000
 Block: [00232000,00233000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00233000,00234000) size=00001000 avail=00000000 max_avail=00014000
 Block: [00234000,00248000) size=00014000 avail=00014000 max_avail=00014000
 Block: [00248000,00249000) size=00001000 avail=00000000 max_avail=7fff000f9000
 Block: [00249000,0024a000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0024a000,0024b000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0024b000,0024c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0024c000,0024d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0024d000,0024e000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0024e000,0024f000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0024f000,00250000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00250000,00251000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00251000,00252000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00252000,00253000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00253000,00254000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00254000,00255000) size=00001000 avail=00000000 max_avail=7fff000f9000
 Block: [00255000,00256000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00256000,00257000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00257000,00258000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00258000,00259000) size=00001000 avail=00000000 max_avail=0000f000
 Block: [00259000,0025a000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0025a000,0025b000) size=00001000 avail=00000000 max_avail=0000f000
 Block: [0025b000,0025c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0025c000,0026b000) size=0000f000 avail=0000f000 max_avail=0000f000
 Block: [0026b000,0026c000) size=00001000 avail=00000000 max_avail=7fff000f9000
 Block: [0026c000,0026d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0026d000,0026e000) size=00001000 avail=00000000 max_avail=00061000
 Block: [0026e000,0026f000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0026f000,002d0000) size=00061000 avail=00061000 max_avail=00061000
 Block: [002d0000,002d1000) size=00001000 avail=00000000 max_avail=7fff000f9000
 Block: [002d1000,002d2000) size=00001000 avail=00000000 max_avail=00000000
 Block: [002d2000,a0000000) size=9fd2e000 avail=9fd2e000 max_avail=7fff000f9000
 Block: [b0000000,bfeff000) size=0feff000 avail=0feff000 max_avail=7fff000f9000
 Block: [bff04000,7fffbfffd000) size=7fff000f9000 avail=7fff000f9000 max_avail=7fff000f9000
 => mem_size=140736145190912 (134216447 MB) / mem_avail=140736144924672 (134216446 MB)
:phys_alloc: Allocator 18db20 dump:
 Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00002000,00003000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00003000,00004000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00006000,00007000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00007000,00008000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00008000,00009000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00009000,0000a000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0000a000,0000b000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0000b000,0000c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0000c000,0000d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0000d000,0000e000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0000e000,0000f000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0000f000,00010000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00010000,00011000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00011000,00012000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00012000,00013000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00013000,00014000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00014000,00015000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00015000,00016000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00016000,00017000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00017000,00018000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00018000,00019000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00019000,0001a000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0001a000,0001b000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0001b000,0001c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0001c000,0001d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0001d000,0001e000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0001e000,0001f000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0001f000,00020000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00020000,00021000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00021000,00022000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00022000,00023000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00023000,00024000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00024000,00025000) size=00001000 avail=00000000 max_avail=31f000000
 Block: [00025000,00026000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00026000,00027000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00027000,00028000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00028000,00029000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00029000,0002a000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0002a000,0002b000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0002b000,0002c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0002c000,0002d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0002d000,0002e000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0002e000,0002f000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0002f000,00030000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00030000,00031000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00031000,00032000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00032000,00033000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00033000,00034000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00034000,00035000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00035000,00036000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00036000,00037000) size=00001000 avail=00000000 max_avail=31f000000
 Block: [00037000,00038000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00038000,00039000) size=00001000 avail=00000000 max_avail=00000000
 Block: [00039000,0003a000) size=00001000 avail=00000000 max_avail=002ff000
 Block: [0003a000,0003b000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0003b000,0003c000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0003c000,0003d000) size=00001000 avail=00000000 max_avail=00000000
 Block: [0003d000,0009d000) size=00060000 avail=00060000 max_avail=002ff000
 Block: [00100000,00101000) size=00001000 avail=00000000 max_avail=002ff000
 Block: [00101000,00400000) size=002ff000 avail=002ff000 max_avail=002ff000
 Block: [02800000,02801000) size=00001000 avail=00000000 max_avail=31f000000
 Block: [02801000,02802000) size=00001000 avail=00000000 max_avail=00000000
 Block: [02802000,7e866000) size=7c064000 avail=7c064000 max_avail=7c064000
 Block: [80001000,80002000) size=00001000 avail=00000000 max_avail=7c064000
 Block: [80002000,c795c000) size=4795a000 avail=4795a000 max_avail=4795a000
 Block: [c7963000,c7964000) size=00001000 avail=00000000 max_avail=31f000000
 Block: [c7964000,c7dbd000) size=00459000 avail=00459000 max_avail=00459000
 Block: [c822e000,c822f000) size=00001000 avail=00000000 max_avail=31f000000
 Block: [c822f000,dd6da000) size=154ab000 avail=154ab000 max_avail=154ab000
 Block: [defff000,df000000) size=00001000 avail=00001000 max_avail=31f000000
 Block: [100000000,41f000000) size=31f000000 avail=31f000000 max_avail=31f000000
 => mem_size=17052352512 (16262 MB) / mem_avail=17052082176 (16262 MB)
:io_mem_alloc: Allocator 18fcb8 dump:
 Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000
 Block: [0009d000,00100000) size=00063000 avail=00063000 max_avail=00063000
 Block: [c795c000,c7963000) size=00007000 avail=00007000 max_avail=00471000
 Block: [c7dbd000,c822e000) size=00471000 avail=00471000 max_avail=00471000
 Block: [dd6da000,defff000) size=01925000 avail=01925000 max_avail=fffffffbe0fff000
 Block: [df000000,100000000) size=21000000 avail=21000000 max_avail=fffffffbe0fff000
 Block: [41f000000,fffffffffffff000) size=fffffffbe0fff000 avail=fffffffbe0fff000 max_avail=fffffffbe0fff000
 => mem_size=18446744056594694144 (17592186028094 MB) / mem_avail=18446744056594694144 (17592186028094 MB)
Genode 15.11
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 16261 MB to init
[init] parent provides
[init]   service "ROM"
[init]   service "RAM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "IO_PORT"
[init]   service "CAP"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "LOG"
[init]   service "SIGNAL"
[init] child "timer"
[init]   RAM quota:  876544
[init]   ELF binary: timer
[init]   priority:   0
[init]   provides service Timer
[init] child "ahci_drv"
[init]   RAM quota:  10313728
[init]   ELF binary: ahci_drv
[init]   priority:   1
[init]   provides service Block
[init] child "part_blk"
[init]   RAM quota:  10313728
[init]   ELF binary: part_blk
[init]   priority:   1
[init]   provides service Block
Quota exceeded! amount=24576, size=4096, consumed=24576
[init] upgrading quota donation for Env::CPU (8192 bytes)
[init] child "rump_fs"
[init]   RAM quota:  33382400
[init]   ELF binary: rump_fs
[init]   priority:   1
[init]   provides service File_system
[init] child "acpi_drv"
[init]   RAM quota:  1925120
[init]   ELF binary: acpi_drv
[init]   priority:   1
Quota exceeded! amount=32768, size=4096, consumed=32768
[init] upgrading quota donation for Env::CPU (8192 bytes)
[init] child "acpi_report_rom"
[init]   RAM quota:  1925120
[init]   ELF binary: report_rom
[init]   priority:   1
[init]   provides service ROM
[init]   provides service Report
[init] child "platform_drv"
[init]   RAM quota:  4022272
[init]   ELF binary: platform_drv
[init]   priority:   1
[init]   provides service Platform
Quota exceeded! amount=40960, size=4096, consumed=40960
[init] upgrading quota donation for Env::CPU (8192 bytes)
[init] child "usb_drv"
[init]   RAM quota:  8216576
[init]   ELF binary: usb_drv
[init]   priority:   1
[init]   provides service Input
[init]   provides service Usb
[init] child "fb_drv"
[init]   RAM quota:  16605184
[init]   ELF binary: fb_drv
[init]   priority:   1
[init]   provides service Framebuffer
Quota exceeded! amount=49152, size=4096, consumed=49152
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=61440, size=4096, consumed=61440
[init] upgrading quota donation for Env::RM (8192 bytes)
[init] child "rtc_drv"
[init]   RAM quota:  876544
[init]   ELF binary: rtc_drv
[init]   priority:   1
[init]   provides service Rtc
[init] child "input_merger"
[init]   RAM quota:  876544
[init]   ELF binary: input_merger
[init]   priority:   0
[init]   provides service Input
Quota exceeded! amount=57344, size=4096, consumed=57344
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=69632, size=4096, consumed=69632
[init] upgrading quota donation for Env::RM (8192 bytes)
[init] child "nic_drv"
[init]   RAM quota:  8216576
[init]   ELF binary: nic_drv
[init]   priority:   1
[init]   provides service Nic
[init] child "audio_drv"
[init]   RAM quota:  9265152
[init]   ELF binary: audio_drv
[init]   priority:   0
[init]   provides service Audio_out
[init]   provides service Audio_in
Quota exceeded! amount=65536, size=4096, consumed=65536
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=77824, size=4096, consumed=77824
[init] upgrading quota donation for Env::RM (8192 bytes)
[init] child "report_rom"
[init]   RAM quota:  876544
[init]   ELF binary: report_rom
[init]   priority:   0
[init]   provides service Report
[init]   provides service ROM
Quota exceeded! amount=86016, size=4096, consumed=86016
[init] upgrading quota donation for Env::RM (8192 bytes)
[init] child "nitpicker"
[init]   RAM quota:  16605184
[init]   ELF binary: nitpicker
[init]   priority:   1
[init]   provides service Nitpicker
Quota exceeded! amount=73728, size=4096, consumed=73728
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=94208, size=4096, consumed=94208
[init] upgrading quota donation for Env::RM (8192 bytes)
[init] child "nit_fb"
[init]   RAM quota:  8216576
[init]   ELF binary: nit_fb
[init]   priority:   1
[init]   provides service Framebuffer
[init]   provides service Input
[init] child "vbox"
[init]   RAM quota:  1342005248
[init]   ELF binary: virtualbox
[init]   priority:   2
[init] child "timer" announces service "Timer"
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init -> audio_drv] --- probe drivers ---
[init -> ahci_drv] --- Starting AHCI driver -> done right .-) --
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> nic_drv] --- iPXE NIC driver started ---
[init -> nic_drv] --- init iPXE NIC
[init -> rump_fs] Using ext2fs as file system
[init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17
[init -> platform_drv] platform driver started
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREADS
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOSE
[init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32
_t = unsigned int]: Found MADT
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_NCPU
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> rump_fs] Asserting rump kernel 27536 KB of RAM
Quota exceeded! amount=24576, size=4096, consumed=24576
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d
[init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32
_t = unsigned int]: Found MCFG
[init -> acpi_drv] MCFG BASE 0xf0000000 seg 00 bus 00-7f
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=32768, size=4096, consumed=32768
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> rump_fs] BOOTSTRAP
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODES
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAIL
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSECTSHIFT
[init] child "platform_drv" announces service "Platform"
Quota exceeded! amount=40960, size=4096, consumed=40960
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> audio_drv] azalia0 at pci0
Quota exceeded! amount=49152, size=4096, consumed=49152
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> platform_drv -> device_pd] Device protection domain starting ...
Quota exceeded! amount=61440, size=4096, consumed=61440
[init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes)
[init -> platform_drv -> device_pd] assignment of PCI device failed
[init -> platform_drv] 0:1b:0 write access to address=4 value=0x100206  size=0x2 got dropped
[init -> platform_drv] 0:1b.0 adjust IRQ as reported by ACPI: 4 -> 22
[init -> platform_drv] 0:1b.0 uses MSI 64bit, vector 0x9f, address 0xfee00000
[init -> audio_drv] : <NULL>
[init -> platform_drv -> device_pd] Device protection domain started
[init -> nic_drv] Found: 00:19.0 8086:153b (rev 04) IRQ 03
[init -> nic_drv] no driver found
[init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::D
ataspace_capability*): fb mapped to 1000
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE
Quota exceeded! amount=57344, size=4096, consumed=57344
[init -> nic_drv] Found: 04:00.0 8086:10d3 (rev 00) IRQ 0a
[init -> ahci_drv] AHCI found (vendor: 8086 device: 8c02 class: 00010601)
[init] child "fb_drv" announces service "Framebuffer"
[init -> usb_drv] Services::Services(): Could not read screen resolution in config node
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> nic_drv] Io_port_connection already open
[init -> ahci_drv] X86_hba::X86_hba(): base: ef536000 size: 800
[init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service
Quota exceeded! amount=69632, size=4096, consumed=69632
[init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes)
[init -> platform_drv -> device_pd] Device protection domain starting ...
[init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service
Quota exceeded! amount=65536, size=4096, consumed=65536
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> platform_drv -> device_pd] Device protection domain started
[init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support
[init -> usb_drv] Enabled EHCI (USB 2.0) support
Quota exceeded! amount=77824, size=4096, consumed=77824
[init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes)
[init -> platform_drv -> device_pd] assignment of PCI device failed
[init -> usb_drv] Enabled XHCI (USB 3.0) support
[init] child "usb_drv" announces service "Input"
[init] child "usb_drv" announces service "Usb"
[init -> platform_drv] Quota exceeded! amount=663552, size=8192, consumed=663552
[init -> platform_drv] Quota exceeded! amount=1323008, size=8192, consumed=1318912
Quota exceeded! amount=73728, size=4096, consumed=73728
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> platform_drv -> device_pd] Device protection domain starting ...
Quota exceeded! amount=86016, size=4096, consumed=86016
[init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes)
[init -> platform_drv -> device_pd] assignment of PCI device failed
[init -> usb_drv] dev_info: xHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[init -> platform_drv] 0:14.0 adjust IRQ as reported by ACPI: 15 -> 21
[init -> platform_drv] 0:14.0 uses MSI 64bit, vector 0x9e, address 0xfee00000
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 14 ports detected
[init -> usb_drv] dev_info: xHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 2
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 6 ports detected
[init -> platform_drv -> device_pd] assignment of PCI device failed
[init -> usb_drv] dev_info: EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 3
[init -> usb_drv] dev_warn: Enabling legacy PCI PM
[init -> platform_drv] 0:1a.0 adjust IRQ as reported by ACPI: 11 -> 16
[init -> platform_drv] 0:1a.0 uses IRQ, vector 0x10
[init -> usb_drv] dev_info: irq 289, io mem 0xef538000
[init -> platform_drv -> device_pd] Device protection domain started
[init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 2 ports detected
[init -> platform_drv -> device_pd] assignment of PCI device failed
[init -> usb_drv] dev_info: EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 4
[init -> usb_drv] dev_warn: Enabling legacy PCI PM
[init -> platform_drv] 0:1d.0 adjust IRQ as reported by ACPI: 6 -> 23
[init -> platform_drv] 0:1d.0 uses IRQ, vector 0x17
[init -> usb_drv] dev_info: irq 290, io mem 0xef537000
[init -> platform_drv] 0:1f.2 adjust IRQ as reported by ACPI: 5 -> 19
[init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 2 ports detected
[init -> platform_drv] 0:1f.2 uses MSI 32bit, vector 0x9d, address 0xfee00000
[init] child "input_merger" announces service "Input"
[init -> ahci_drv] 	version: 1.0300
[init -> ahci_drv] 	command slots: 32
[init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME
[init -> ahci_drv] 	native command queuing: yes
[init -> ahci_drv] 	64 bit support: yes
Quota exceeded! amount=81920, size=4096, consumed=81920
[init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)
[init -> ahci_drv] 	number of ports: 6 pi: 3f
[init -> ahci_drv] 		#0: off
[init -> ahci_drv] 		#1: ATA
[init -> ahci_drv] 		#2: off
[init -> ahci_drv] 		#3: ATA
[init -> ahci_drv] 		#4: off
[init -> ahci_drv] 		#5: off
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 3
[init -> usb_drv] dev_info: new low-speed USB device number 2 using xhci_hcd
[init -> ahci_drv] 		queue depth: 32 ncq: 1
[init -> ahci_drv] 		numer of sectors: 976773168
[init -> ahci_drv] 		multiple logical blocks per physical: yes
[init -> ahci_drv] 		logical blocks per physical: 8
[init -> ahci_drv] 		logical block size is above 512 byte: no
[init -> ahci_drv] 		words (16bit) per logical block: 0
[init -> ahci_drv] 		offset of first logical block within physical: 0
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 3
[init -> ahci_drv] 		queue depth: 32 ncq: 1
[init -> ahci_drv] 		numer of sectors: 1953525168
[init -> ahci_drv] 		multiple logical blocks per physical: yes
[init -> ahci_drv] 		logical blocks per physical: 8
[init -> ahci_drv] 		logical block size is above 512 byte: no
[init -> ahci_drv] 		words (16bit) per logical block: 0
[init -> usb_drv] dev_warn: ep <warning: unsupported format string argument>x - rounding interval to 128 microframes, ep
 desc says 192 microframes
[init -> ahci_drv] 		offset of first logical block within physical: 0
[init] child "ahci_drv" announces service "Block"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: L U
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> part_blk] Partition 1: LBA 2048 (63488 blocks) type: 83
[init -> usb_drv] dev_info: input: USB HID v1.10 Keyboard [L U] on usb-dummy-5/input0
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init] child "part_blk" announces service "Block"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> part_blk] session opened at partition 1 for 'rump_fs'
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> rump_fs] Backend::Backend(): Backend blk_size 512
Quota exceeded! amount=94208, size=4096, consumed=94208
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes)
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: new full-speed USB device number 3 using xhci_hcd
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: NVIDIA
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 8 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 8 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 8 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_warn: ep <warning: unsupported format string argument>x - rounding interval to 64 microframes, ep 
desc says 80 microframes
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 8 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: A A
[init -> usb_drv] dev_info: input: USB HID v1.11 Mouse [A A] on usb-dummy-6/input0
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_error: usage index exceeded
[init -> usb_drv] dev_error: usage index exceeded
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 8 state: 4
[init -> usb_drv] dev_error: item 0 2 2 2 parsing failed
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init] child "rump_fs" announces service "File_system"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: new high-speed USB device number 4 using xhci_hcd
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init] child "rtc_drv" announces service "Rtc"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> fb_drv] Found: physical frame buffer at 0xe9000000 size: 0x00e00000
[init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::D
ataspace_capability*): fb mapped to 1800000
[init -> fb_drv] Using video mode: 1280 x 1024 x 16
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> fb_drv] Framebuffer::Session_component::Session_component(unsigned int, unsigned int, unsigned int, Genode::Dat
aspace_capability, bool): use buf size 2621440
[init -> fb_drv] using buffered output
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init] child "nitpicker" announces service "Nitpicker"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> nitpicker] create session with args: label="nit_fb", ram_quota=28672
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init] child "nit_fb" announces service "Framebuffer"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init] child "nit_fb" announces service "Input"
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci
[init -> nit_fb] using xywh=(0,0,1280,1024)
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: USB hub found
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> usb_drv] dev_info: 6 ports detected
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
[init -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 2 state: 4
====================================================================

An so on (I mean, "irq 2 state: 4). Seems like unhandled IRQ, either AHCI or shared. MB carries three AHCI controllers, all three shares one IRQ.




More information about the users mailing list