i have applied whatever you said but i think i am missing something regarding part_blk which uses ahci i have read some previous mails on mailing list but i am not getting right thing i have routed block session og l4android to the part_blk then ahci but it is not working please give me some hint so that i can solve this my run script is being attached with email my terminal log is given below: : [init -> nic_drv] --- iPXE NIC driver started --- [init -> l4android] Booting L4Linux ... [init -> nic_drv] --- init iPXE NIC [init -> ahci_drv] --- Starting AHCI driver -> done right .-) -- [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 (rishabh@...431...) (gcc version 4.9.2 (GCC) ) #188 SMP Thu Jul 7 15:25:54 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 - 00865000 [4496 KiB]. [init -> l4android] Areas: Text: 00401000 - 00795000 [3664kB] (a bit longer) [init -> l4android] Data: 00795000 - 007b8820 [142kB] [init -> l4android] Initdata: 007cc000 - 007f3000 [156kB] [init -> l4android] BSS: 007f4000 - 00855000 [388kB] [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 -> 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] child "usb_drv" announces service "Input" [init -> l4android] main thread will be 12 [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000 [init -> l4android] section-with-init: virt: 400000 to 864fff [4500 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 668141 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [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 -> l4android] Main memory size: 512MB 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 -> usb_drv] Using configured mac: 54:35:30:58:a5:27 [init] child "platform_drv" announces service "Platform" [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000 [init -> l4android] text: virt: 400000 to 864fff [4500 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 -> 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] INITRD: Size of RAMdisk is 596KiB [init -> l4android] RAMdisk from 000a3000 to 00138000 [596KiB] Quota exceeded! amount=65536, size=4096, consumed=65536 [init] child "fb_drv" announces service "Framebuffer" [init -> fb_drv] Could not open ROM session for module "config" [init -> fb_drv] Could not obtain config file [init -> ahci_drv] AHCI found (vendor: 8086 device: 2922 class: 00010601) [init -> ahci_drv] X86_hba::X86_hba(): base: febf1000 size: 1000 [init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH [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 -> platform_drv] 0:4.0 uses IRQ, vector 0xb, MSI 64bit capable, non-maskable [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> platform_drv] PS2 uses IRQ, vector 0x1 [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 -> platform_drv] PS2 uses IRQ, vector 0xc [init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b [init] child "ps2_drv" announces service "Input" [init -> nic_drv] using driver 82540em [init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI command 0103->0107 [init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32. [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 668141 [init -> l4android] WARNING: Unknown rdmsr: 00000186 at 7d23de [init -> l4android] WARNING: Unknown rdmsr: 00000187 at 7d23de [init -> l4android] WARNING: Unknown wrmsr: 000000c1 at 7d2468 [init -> l4android] Launching cpu1 on pcpu 1 at 66656c [init -> l4android] l4x_cpu_threads[1] = 48000c00 [init -> l4android] thread=1b000 cpu=1 [init -> l4android] WARNING: Unknown wrmsr: 0000008b at 668141 [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: 162696 [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] Uncaught exception of type 'Genode::Xml_node::Nonexistent_sub_node' [init -> ahci_drv] Warning: abort called - thread: ep [init] virtual void Genode::Child_policy::exit(int): child "ahci_drv" exited with exit value 1 [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???
On Wed, Jul 6, 2016 at 11:52 AM, Norman Feske <norman.feske@...1...> wrote:
Hello John,
On 05.07.2016 17:47, john stokes wrote:
in my opinion the system-ginger.img image is not being loading so please provide me a way resolve this
that is plausible. Your run script attaches the system-ginger.img as harddisk to Qemu (via the -hda argument) but your scenario lacks a harddisk driver. To let L4Android access the image as virtual harddisk, you may use the ahci_drv as block-device driver. Take a look at os/run/ahci_blk.run as reference. The old IDE driver that we used in the original run script does not exist anymore. Note that the AHCI driver accesses a virtual SATA disk, not an IDE disk as in your run script. You will need to adjust the Qemu arguments accordingly. As intermediate step, I would create a simple run script that uses the AHCI driver to access your system-ginger.img image but does nothing else. I.e., you will also need to integrate and configure the platform driver to assign the AHCI controller to the AHCI driver.
Once you have validated that the AHCI driver is doing the right thing, you can route the "Block" session of L4Android to the driver. Note that you will need to adjust the driver's config (define a <policy>) to hand out the correct device to L4Android.
Good luck! Norman
-- Dr.-Ing. Norman Feske Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San Francisco, CA to explore cutting-edge tech and listen to tech luminaries present their vision of the future. This family event has something for everyone, including kids. Get more information and register today. http://sdm.link/attshape _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main