terminal log =======>
[init -> ahci_drv] --- Starting AHCI driver -> done right .-) --
[init -> nic_drv] --- iPXE NIC driver started ---
[init -> nic_drv] --- init iPXE NIC
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> l4android] Booting L4Linux ...
[init] child "timer" announces service "Timer"
[init -> kdb_uart_drv] --- Fiasco(.OC) KDB UART driver started ---
[init] child "kdb_uart_drv" announces service "Uart"
[init] child "kdb_uart_drv" announces service "Terminal"
[init -> l4android] ======> L4Linux starting... <========
[init -> l4android] Linux version 3.5.0-l4-gcea6e7a (root@...431...) (gcc version 4.9.2 (GCC) ) #441 SMP Sat Jul 9 23:15:32 IST 2016
[init -> l4android] Binary name: vmlinux
[init -> l4android] Linux kernel command line (4 args): mem=512M  l4x_rd=root-ginger.gz l4x_cpus=2 l4x_cpus_map=0,1
[init -> l4android] CPU mapping (l:p)[2]: 0:0, 1:1
[init -> l4android] Image: 00401000 - 0090f000 [5176 KiB].
[init -> l4android] Areas: Text:     00401000 - 00838000 [4316kB] (a bit longer)
[init -> l4android]        Data:     00838000 - 0085c620 [145kB]
[init -> l4android]        Initdata: 00870000 - 0089b000 [172kB]
[init -> l4android]        BSS:      0089c000 - 008ff000 [396kB]
[init -> l4android] l4util_cpu_capabilities: Not implemented yet!
[init -> l4android] gs=43   fs=43
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] Device scan:
[init -> l4android] l4io_iterate_devices: Not implemented yet!
[init -> l4android] Device scan done.
[init -> l4android] l4x_fiasco_gdt_entry_offset = 9
[init -> l4android] main thread will be 12
[init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 5304320
[init -> l4android] section-with-init: virt: 400000 to 90efff [5180 KiB]
[init -> l4android] Cannot determine physical address for dataspace Binary!
[init -> l4android] error: failed to get physical address for 400000.
[init -> l4android] Main thread running, waiting...
[init -> l4android] thread=12000 cpu=0
[init -> l4android] WARNING: Unknown wrmsr: 0000008b at 6e8181
[init -> l4android] l4x_setup_memory: Forcing superpages for main memory
[init -> l4android] l4re_global_env: 0
[init -> usb_drv] Services::Services(): Could not read screen resolution in config node
[init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service
[init -> usb_drv] Services::Services(): No <raw> config node found - not starting external USB service
[init -> usb_drv] Enabled EHCI (USB 2.0) support
[init -> l4android] Main memory size: 512MB
[init] child "usb_drv" announces service "Input"
unmapping of managed dataspaces not yet supported
[init -> l4android] Main memory: virt: 20000000 to 3fffffff [524288 KiB]
[init -> l4android] Main memory: Phys: 0x00000000 to 0x20000000, Size: 536870912
[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 -> usb_drv] Using configured mac: 54:35:30:58:a5:27
[init] child "platform_drv" announces service "Platform"
[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
[init -> l4android] Filling lower ptabs...
[init -> l4android] Done (0 entries).
[init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 5304320
[init -> l4android] text: virt: 400000 to 90efff [5180 KiB]
[init -> l4android] Cannot determine physical address for dataspace Binary!
[init -> l4android] error: failed to get physical address for 400000.
[init -> l4android] l4x_rd_path: root-ginger.gz
[init -> l4android] Loading: root-ginger.gz
[init] child "fb_drv" announces service "Framebuffer"
[init -> fb_drv] Could not open ROM session for module "config"
[init -> l4android] INITRD: Size of RAMdisk is 596KiB
[init -> fb_drv] Could not obtain config file
[init -> l4android] RAMdisk from 000a3000 to 00138000 [596KiB]
[init -> ahci_drv] AHCI found (vendor: 8086 device: 2922 class: 00010601)
[init -> ahci_drv] X86_hba::X86_hba(): base: febf1000 size: 1000
[init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b
[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 -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH
Quota exceeded! amount=65536, size=4096, consumed=65536
[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 -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> ahci_drv]     number of ports: 6 pi: 3f
[init -> nic_drv] using driver 82540em
[init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI command 0103->0107
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32.
[init] child "ps2_drv" announces service "Input"
[init -> nic_drv] bus_addr = febc0000 len = 20000
[init -> nic_drv] snprintf not implemented
[init -> platform_drv] Could not open ROM session for module "device_pd"
[init -> platform_drv] PCI device protection domain for IOMMU support is not available
[init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH
[init -> platform_drv] 0:3.0 uses IRQ, vector 0xb, non-maskable
[init -> nic_drv]     number of devices: 1
[init] child "nic_drv" announces service "Nic"
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: SeaBIOS VBE(C) 2011
[init -> l4android] l4timer: Using IRQ65
[init -> l4android] WARNING: Unknown wrmsr: 0000008b at 6e8181
[init -> l4android] WARNING: Unknown rdmsr: 00000186 at 8763de
[init -> l4android] WARNING: Unknown rdmsr: 00000187 at 8763de
[init -> l4android] WARNING: Unknown wrmsr: 000000c1 at 876468
[init -> l4android] Launching cpu1 on pcpu 1 at 6e65ac
[init -> l4android] l4x_cpu_threads[1] = 48000c00
[init -> l4android] thread=1b000 cpu=1
[init -> l4android] WARNING: Unknown wrmsr: 0000008b at 6e8181
[init -> fb_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000
[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 400000
[init -> fb_drv] Using video mode: 1280 x 1024 x 16
Quota exceeded! amount=65536, size=4096, consumed=65536
[init -> nitpicker] Could not open ROM session for module "config"
[init -> nitpicker] Could not obtain config file
[init] child "nitpicker" announces service "Nitpicker"
[init -> nitpicker] create session with args: label="android_fb", ram_quota=28672
[init -> nitpicker] no policy matching label "android_fb"
[init] child "android_fb" announces service "Framebuffer"
[init] child "android_fb" announces service "Input"
[init -> android_fb] using xywh=(0,0,640,480)
[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=741376, size=8192, consumed=741376
[init -> platform_drv] Quota exceeded! amount=1482752, size=8192, consumed=1478656
[init -> platform_drv] Could not open ROM session for module "device_pd"
[init -> platform_drv] PCI device protection domain for IOMMU support is not available
[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 -> ahci_drv] virtual void Ata_driver::handle_irq(): irq: 5 state: 3
[init -> ahci_drv]         model number: QEMU HARDDISK
[init -> ahci_drv]         serial number: QM00005
[init -> ahci_drv]         queue depth: 32 ncq: 1
[init -> ahci_drv]         numer of sectors: 1048576
[init -> ahci_drv]         multiple logical blocks per physical: yes
[init -> ahci_drv]         logical blocks per physical: 1
[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] child "ahci_drv" announces service "Block"
[init -> ahci_drv]        virtual void Ata_driver::handle_irq(): irq: 8 state: 4
[init -> part_blk]         Partition 1: LBA 1 (658664 blocks) type: 83
[init] child "part_blk" announces service "Block"
[init -> part_blk] session opened at partition 1 for 'l4android -> sda'
[init -> nic_drv] --- init callbacks
[init -> nic_drv] --- get MAC address 52:54:00:12:34:56
[init -> l4android] Terminating L4Linux.
[init -> l4android] Still alive, going zombie???