hello Genodians

i am new to genode as i know that current version of genode does not support the l4android but i want to run it so according to the description of previous run script and some help form you guys i have created a run script in which i have used ahci to access ata driver ,i have created a partition using sfdisk and got access to this using part_blk but i am not able to access it my file is being attached with this mail.my terminal log are given below 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???