$ qemu-system-x86_64 -boot d -hdb var/run/heeselicht.img -drive id=disk,file=/home/parfait/VirtualBox\ VMs/ubuntu14_64/ubuntu14_64.vdi,if=none -device ahci,id=ahci -device ide-drive,drive=disk,bus=ahci.0 -m 8192 -serial mon:stdio WARNING: Image format was not specified for 'var/run/heeselicht.img' and probing guessed raw. Automatically detecting the format is dangerous for raw images, write operations on block 0 will be restricted. Specify the 'raw' format explicitly to remove the restrictions. Bender: Hello World. Need 023b8000 bytes to relocate modules. Relocating to 7dc48000: Copying 2351636 bytes... Copying 1384500 bytes... Copying 1180356 bytes... Copying 1049284 bytes... Copying 679436 bytes... Copying 677296 bytes... Copying 454608 bytes... Copying 90776 bytes... Copying 461000 bytes... Copying 451072 bytes... Copying 210128 bytes... Copying 504464 bytes... Copying 1710488 bytes... Copying 65328 bytes... Copying 33824 bytes... Copying 465016 bytes... Copying 1281392 bytes... Copying 450464 bytes... Copying 421632 bytes... Copying 151040 bytes... Copying 412312 bytes... Copying 534808 bytes... Copying 1878064 bytes... Copying 1228152 bytes... Copying 130504 bytes... Copying 425832 bytes... Copying 433168 bytes... Copying 443312 bytes... Copying 454760 bytes... Copying 470568 bytes... Copying 440472 bytes... Copying 572184 bytes... Copying 452528 bytes... Copying 575280 bytes... Copying 457400 bytes... Copying 582312 bytes... Copying 448480 bytes... Copying 452544 bytes... Copying 171112 bytes... Copying 165360 bytes... Copying 66000 bytes... Copying 1957520 bytes... Copying 28904 bytes... Copying 1125976 bytes... Copying 703200 bytes... Copying 1587808 bytes... Copying 432256 bytes... Copying 483248 bytes... Copying 442336 bytes... Copying 479160 bytes... Copying 79720 bytes... Copying 402904 bytes... Copying 533400 bytes... Copying 358192 bytes... Copying 88464 bytes... Copying 676688 bytes... Copying 541936 bytes... Copying 434104 bytes... Copying 954112 bytes... Copying 28595 bytes... Copying 997480 bytes... Copying 138776 bytes... NOVA Microhypervisor v7-a1dc2f7 (x86_64): Jul 23 2016 11:26:11 [gcc 4.9.2] [ 0] CORE:0:0:0 6:6:3:0 [0] QEMU Virtual CPU version 2.4.0 core config acpica acpi_drv ahci_drv audio_drv backdrop cli_monitor decorator device_pd file_terminal floating_window_layouter fs_rom init input_merger intel_fb_drv ld.lib.so libc.lib.so libc_pipe.lib.so libcrypto.lib.so libc_terminal.lib.so libm.lib.so libpng.lib.so libssl.lib.so mixer nic_drv nit_fb nitpicker part_blk platform_drv pointer ps2_drv ram_fs report_rom rom_filter rtc_drv rump_fs rump_fs.lib.so rump.lib.so terminal terminal_log themed_decorator timer trace_subject_reporter usb_drv vbox_pointer vfs_jitterentropy.lib.so wifi_drv wifi.lib.so wm wpa_driver_nl80211.lib.so wpa_supplicant.lib.so xray_trigger zlib.lib.so iwlwifi-6000-4.ucode iwlwifi-6000g2a-6.ucode iwlwifi-6000g2b-6.ucode iwlwifi-7260-16.ucode iwlwifi-7265-16.ucode iwlwifi-7265D-16.ucode iwlwifi-8000C-16.ucode Genode 16.05-70-gcd1076a int main(): --- create local services --- int main(): --- start init --- int main(): transferred 8118 MB to init Quota exceeded! amount=135168, size=4096, consumed=135168 Quota exceeded! amount=151552, size=8192, consumed=147456 Quota exceeded! amount=151552, size=8192, consumed=147456 [init] upgrading quota donation for Env::PD (8192 bytes) Quota exceeded! amount=159744, size=4096, consumed=159744 Quota exceeded! amount=176128, size=4096, consumed=176128 Quota exceeded! amount=192512, size=4096, consumed=192512 Quota exceeded! amount=208896, size=4096, consumed=208896 Quota exceeded! amount=225280, size=4096, consumed=225280 Quota exceeded! amount=241664, size=4096, consumed=241664 [init -> acpica] wait for platform drv [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: d [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: d [init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: d [init -> ahci_drv] --- Starting AHCI driver -> done right .-) -- [init -> wm_report_rom] parsing legacy policies [init -> wm_report_rom] parsing legacy policies [init -> cli_terminal] int main(int, char**): --- terminal service started --- [init -> wm_report_rom] parsing legacy policies [init -> wm_report_rom] parsing legacy policies [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No config node found - not starting the USB Nic (Network) service [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> audio_drv] --- probe drivers --- [init -> config_rom] connection for file 'fb_drv.config' requested [init -> config_rom] connection for file 'system' requested [init -> intel_fb_drv] --- intel framebuffer driver --- [init -> intel_fb_drv] Before postcore [init -> intel_fb_drv] lx_drm_device 0x0 [init -> intel_fb_drv] INFO: i2c-core: driver [dummy] registered [init -> intel_fb_drv] After postcore [init -> intel_fb_drv] lx_drm_device 0x0 [init -> acpica] wait for platform drv - done [init -> config_rom] connection for file 'system' requested [init -> acpica] SCI IRQ: 9 detach: no attachment at 1000 [init -> intel_fb_drv] After module_i915_init [init -> intel_fb_drv] lx_drm_device 0x0 no RM attachment (READ pf_addr=30 pf_ip=1018450 from 3c37e0 'init -> intel_fb_drv':'ep') static void Genode::Pager_object::_page_fault_handler(Genode::addr_t): page fault, pd 'init -> intel_fb_drv', thread 'ep', cpu 0, ip=1018450, fault address=0x30 [init -> config_rom] connection for file 'trace_subject_reporter.config' requested [init -> config_rom] connection for file 'nitpicker.config' requested [init -> config_rom] connection for file 'decorator.config' requested [init -> wm_report_rom] parsing legacy policies [init -> trace_subject_reporter] period_ms=1000, report_activity=1, report_affinity=1 [init -> wm_report_rom] parsing legacy policies [init -> ps2_drv] Could not open ROM session for module "config" [init -> ps2_drv] Could not obtain config file [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> decorator_config] top-level node missing in input ROM xray [init -> decorator_config] could not obtain input value for input xray_enabled [init -> nitpicker_config] top-level node missing in input ROM xray [init -> nitpicker_config] could not obtain input value for input xray_enabled [init -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> ahci_drv] AHCI found (vendor: 8086 device: 2922 class: 00010601) [init -> platform_drv] PS2 uses IRQ, vector 0xc [init -> log_file_terminal] --- file terminal started --- [init -> audio_drv] Error: no supported sound card found [init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH [init -> platform_drv] 0:4.0 uses IRQ, vector 0xb, MSI 64bit capable, non-maskable [init -> ahci_drv] version: 1.0000 [init -> ahci_drv] command slots: 32 [init -> ahci_drv] native command queuing: yes [init -> ahci_drv] 64 bit support: no [init -> ahci_drv] number of ports: 6 pi: 3f [init -> rump_fs] a0000000 .. afffffff: stack area [init -> rump_fs] 30000 .. 119fff: ld.lib.so [init -> rump_fs] 1020000 .. 11e7fff: rump.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> ahci_drv] failed to stop command list processing [init -> ahci_drv] CMD.ST bit set during device reset --> unknown behavior [init -> ahci_drv] #0: ATA [init -> platform_drv] Quota exceeded! amount=749568, size=12288, consumed=749568 [init -> platform_drv] Quota exceeded! amount=1490944, size=12288, consumed=1486848 [init -> platform_drv] Quota exceeded! amount=2232320, size=12288, consumed=2224128 [ 0] sys_sc_ctrl: Bad SC CAP (0x15ae) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x15ae) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [init -> ahci_drv] #1: off [init -> ahci_drv] #2: off [init -> ahci_drv] #3: off [init -> ahci_drv] #4: off [init -> ahci_drv] #5: off [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 -> 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 -> rump_fs] Asserting rump kernel 27676 KB of RAM [init -> rump_fs] 1020000 .. 11e7fff: rump.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] 1020000 .. 11e7fff: rump.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [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 -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE [init -> config_rom] connection for file 'wlan_configuration' requested [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 int main(): --- init created, waiting for exit condition --- [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x173e) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4