Re: Run Android on Pandaboard

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

Hi,

On 03/23/2015 04:18 AM, pyl wrote:
> Hi all,
> I have run L4Linux on Pandaboard using Genode(base-foc), and now I want 
> to run Android on Pandaboard. But Android can't run on Pandaboard.
> Is there anything wrong with my run script?  Or should I configure 
> something else?

Unfortunately, I cannot reproduce the page-fault you are experiencing.
When I use your script I get no page-fault at all. But I have to admit
L4android hangs at a certain point.
One problem in your run-script is that you lower the priority of the
'nic_bridge' solely in this scenario, which is unnecessary and might end
up in problems with the network configuration.
Instead I would recommend to lower the priority of L4Android as it
massively burns CPU time, and at least sometimes I could observe
time-critical initializations of the USB driver that failed. Of course
it is no final solution to lower L4Androids priority and we should
target the problem in general, but at least it helps to gain a lively
system in this case.

You can find my run-script proposal, which moreover enhances the
window-handling by using Genode's window manager together with a simple
floating-window policy here:

https://raw.githubusercontent.com/skalk/genode/l4android_panda/repos/ports-foc/run/l4android_panda.run

Nevertheless, although with this script at a certain point L4Android
hangs, and I did not find the root cause in a reasonable time. Since we
are planning to upgrade Fiasco.OC/L4Re/L4Linux (L4Linux including the
Android patches) anyway, I would like to stop investing time in bug
search at this point, having more time e.g.: to do the actual upgrade.
If you like to investigate the problem on your own, I would be delighted
:-).

Regards
Stefan

> 
> Here is my run script and log:
> #
> # Build
> #
> 
> if {[have_spec foc] == 0} {
>     puts "Runs on Fiasco.OC only"
>     exit 0
> }
> 
> # generic components
> set build_components {
>      core
>      init
>      drivers/timer
>      drivers/framebuffer
>      drivers/sd_card
>      drivers/usb
>      drivers/gpio
>      drivers/uart
>      server/nitpicker
>      server/nit_fb
>      server/nic_bridge
>      server/part_blk
>      server/terminal
>      server/terminal_log
>      l4android
> }
> 
> 
> build $build_components
> create_boot_directory
> 
> #
> # Config
> #
> 
> set config  {
> <config prio_levels="2">
>      <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="fb_drv">
>          <binary name="fb_drv"/>
>          <resource name="RAM" quantum="4M"/>
>          <provides><service name="Framebuffer"/></provides>
>      </start>
>      <start name="sd_card_drv">
>          <resource name="RAM" quantum="4M"/>
>          <provides><service name="Block"/></provides>
>      </start>
>      <start name="gpio_drv">
>          <resource name="RAM" quantum="4M"/>
>          <provides><service name="Gpio"/></provides>
>          <config/>
>      </start>
>      <start name="usb_drv">
>          <resource name="RAM" quantum="12M"/>
>          <provides>
>              <service name="Input"/>
>              <service name="Nic"/>
>          </provides>
>          <config ehci="yes">
>              <hid/>
>              <nic mac="2e:60:90:0c:4e:01" />
>          </config>
>      </start>
>      <start name="part_blk">
>          <resource name="RAM" quantum="2M"/>
>          <provides><service name="Block"/></provides>
>          <config>
>              <policy label="l4android -> sda" partition="2" />
>          </config>
>          <route>
>              <service name="Block"> <child name="sd_card_drv"/> </service>
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>      </start>
>      <start name="nic_bridge" priority="-1">
>          <resource name="RAM" quantum="2M"/>
>          <provides><service name="Nic"/></provides>
>          <route>
>              <service name="Nic"> <child name="usb_drv"/> </service>
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>      </start>
>      <!--<start name="uart_drv">
>          <binary name="kdb_uart_drv"/>
>          <resource name="RAM" quantum="1M"/>
>          <provides>
>              <service name="Uart"/>
>              <service name="Terminal"/>
>          </provides>
>          <config>
>               <policy label="l4android" uart="0" detect_size="yes"/>
>             </config>
>      </start>-->
>      <start name="nitpicker">
>          <resource name="RAM" quantum="2M"/>
>          <provides><service name="Nitpicker"/></provides>
>          <route>
>              <service name="Input">       <child name="usb_drv"/> </service>
>              <service name="Framebuffer"> <child name="fb_drv"/> </service>
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>                  <config>
>              <domain name=""        layer="1"/>
>              <policy label=""       domain=""/>
>          </config>
>      </start>
>      <start name="android_fb">
>          <binary name="nit_fb"/>
>          <resource name="RAM" quantum="32M"/>
>          <provides>
>              <service name="Framebuffer"/>
>              <service name="Input"/>
>          </provides>
>          <config xpos="0" ypos="0" width="640" height="480" 
> refresh_rate="25"/>
>      </start>
>      <!--<start name="android_term_fb">
>          <binary name="nit_fb"/>
>          <resource name="RAM" quantum="4M"/>
>          <provides>
>              <service name="Framebuffer"/>
>              <service name="Input"/>
>          </provides>
>          <config xpos="0" ypos="482" width="1024" height="268" 
> refresh_rate="25"/>
>      </start>
>      <start name="log_term_fb">
>          <binary name="nit_fb"/>
>          <resource name="RAM" quantum="4M"/>
>          <provides>
>              <service name="Framebuffer"/>
>              <service name="Input"/>
>          </provides>
>          <config xpos="642" ypos="0" width="380" height="480" 
> refresh_rate="25"/>
>      </start>
>      <start name="android_term">
>          <binary name="terminal"/>
>          <resource name="RAM" quantum="1M"/>
>          <provides><service name="Terminal"/></provides>
>          <route>
>              <service name="Input">       <child 
> name="android_term_fb"/> </service>
>              <service name="Framebuffer"> <child 
> name="android_term_fb"/> </service>
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>      </start>-->
>      <!--<start name="log_term">
>          <binary name="terminal"/>
>          <resource name="RAM" quantum="1M"/>
>          <provides><service name="Terminal"/></provides>
>          <route>
>              <service name="Input">       <child name="log_term_fb"/> 
> </service>
>              <service name="Framebuffer"> <child name="log_term_fb"/> 
> </service>
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>      </start>-->
>      <!--<start name="terminal_log">
>          <resource name="RAM" quantum="1M"/>
>          <provides><service name="LOG"/></provides>
>          <route>
>              <service name="Terminal"> <child name="log_term"/> </service>
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>      </start>-->
>      <start name="l4android">
>          <resource name="RAM" quantum="896M"/>
>          <config args="mem=768M console=ttyS0 l4x_rd=root-ginger.gz">
>              <block label="sda"/>
>          </config>
>          <route>
>              <service name="Input">       <child name="android_fb"/> 
> </service>
>              <service name="Framebuffer"> <child name="android_fb"/> 
> </service>
>              <service name="Block"> <child name="part_blk"/> </service>
>              <service name="Nic">   <child name="nic_bridge"/> </service>
>              <service name="Terminal">    <child name="LOG"/> </service>
>              <!--<service name="LOG">         <child 
> name="terminal_log"/> </service>-->
>              <any-service> <parent/> <any-child/> </any-service>
>          </route>
>      </start>
> </config>}
> 
> 
> 
> install_config $config
> 
> 
> #
> # Boot modules
> #
> 
> set boot_modules {
>      core
>      init
>      timer
>      nitpicker
>      nit_fb
>      nic_bridge
>      terminal
>      terminal_log
>      kdb_uart_drv
>      fb_drv
>      part_blk
>      sd_card_drv
>      gpio_drv
>      usb_drv
>      l4android
>      root-ginger.gz
>      ld.lib.so
> }
> 
> lappend_if [have_spec x86]     boot_modules nic_drv
> lappend_if [have_spec x86]     boot_modules atapi_drv
> lappend_if [have_spec pci]     boot_modules pci_drv
> lappend_if [have_spec ps2]     boot_modules ps2_drv
> lappend_if [have_spec pl11x]   boot_modules pl11x_drv
> lappend_if [have_spec lan9118] boot_modules nic_drv
> lappend_if [have_spec pl180]   boot_modules sd_card_drv
> lappend_if [have_spec vesa]    boot_modules vesa_drv
> 
> if {[have_spec x86]} {
>      set initrd_uri 
> "http://genode.org/files/release-11.11/l4lx/root-ia32-ginger.gz"
>      set system_uri 
> "http://genode.org/files/release-11.11/l4lx/system-ia32-ginger.img"
> } elseif {[have_spec arm]} {
>      set initrd_uri 
> "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz"
>      set system_uri 
> "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img"
> }
> if {![file exists bin/root-ginger.gz]} {
>      puts "Download initramfs ..."
>      exec curl $initrd_uri > bin/root-ginger.gz 2> /dev/null
> }
> if {![file exists bin/system-ginger.img]} {
>      puts "Download system image ..."
>      exec curl $system_uri > bin/system-ginger.img 2> /dev/null
> }
> 
> build_boot_image  [join $boot_modules " "]
> 
> append qemu_args " -m 512 "
> append qemu_args " -serial mon:stdio "
> append_if [have_spec     x86] qemu_args " -hda bin/system-ginger.img "
> append_if [have_spec     x86] qemu_args " -net nic,model=e1000 "
> append_if [have_spec   pl180] qemu_args " -drive 
> file=bin/system-ginger.img,if=sd,cache=writeback "
> append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 "
> append qemu_args " -net user -redir tcp:5555::5555 "
> run_genode_until forever
> 
> 
> my log:
> 
> 
>    B O O T I N G    G E N O D E / A R M    O N    P A N D A
> 
> reading image.elf
> 10211708 bytes read
> ## Starting application at 0x81000000 ...
> 
> L4 Bootstrapper
>    Build: #3 Sun Mar 22 21:45:03 CST 2015, 4.7.4
>    Scanning up to 1024 MB RAM
>    Memory size is 1024MB (80000000 - bfffffff)
>    RAM: 0000000080000000 - 00000000bfffffff: 1048576kB
>    Total RAM: 1024MB
>    mod19: 8193b000-819b4e9c: genode/ld.lib.so
>    mod18: 81903000-8193aa00: genode/root-ginger.gz
>    mod17: 8156f000-819027d4: genode/l4android
>    mod16: 814b4000-8156edf0: genode/usb_drv
>    mod15: 8146b000-814b3b94: genode/gpio_drv
>    mod14: 81422000-8146a1f8: genode/sd_card_drv
>    mod13: 813d9000-81421fa0: genode/part_blk
>    mod12: 8138e000-813d85f8: genode/fb_drv
>    mod11: 81346000-8138d5c8: genode/kdb_uart_drv
>    mod10: 81302000-81345d54: genode/terminal_log
>    mod09: 812a4000-81301d74: genode/terminal
>    mod08: 81254000-812a3b88: genode/nic_bridge
>    mod07: 81206000-812537ec: genode/nit_fb
>    mod06: 8119b000-81205fd8: genode/nitpicker
>    mod05: 81154000-8119a410: genode/timer
>    mod04: 81105000-811538c0: genode/init
>    mod03: 81103000-81104398: genode/config
>    mod02: 8108a000-811021dc: genode/core
>    mod01: 81080000-81089374: sigma0
>    mod00: 81016000-8107f26c: 
> /home/pyl/code/genode/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco
>    Moving up to 20 modules behind 81100000
>    moving module 00 { 81016000-8107f26b } -> { 81a9f000-81b0826b } [430700]
>    moving module 01 { 81080000-81089373 } -> { 81b09000-81b12373 } [37748]
>    moving module 02 { 8108a000-811021db } -> { 81b13000-81b8b1db } [491996]
>    moving module 03 { 81103000-81104397 } -> { 81100000-81101397 } [5016]
>    moving module 04 { 81105000-811538bf } -> { 81102000-811508bf } [321728]
>    moving module 05 { 81154000-8119a40f } -> { 81151000-8119740f } [287760]
>    moving module 06 { 8119b000-81205fd7 } -> { 81198000-81202fd7 } [438232]
>    moving module 07 { 81206000-812537eb } -> { 81203000-812507eb } [317420]
>    moving module 08 { 81254000-812a3b87 } -> { 81251000-812a0b87 } [326536]
>    moving module 09 { 812a4000-81301d73 } -> { 812a1000-812fed73 } [384372]
>    moving module 10 { 81302000-81345d53 } -> { 812ff000-81342d53 } [277844]
>    moving module 11 { 81346000-8138d5c7 } -> { 81343000-8138a5c7 } [292296]
>    moving module 12 { 8138e000-813d85f7 } -> { 8138b000-813d55f7 } [304632]
>    moving module 13 { 813d9000-81421f9f } -> { 813d6000-8141ef9f } [298912]
>    moving module 14 { 81422000-8146a1f7 } -> { 8141f000-814671f7 } [295416]
>    moving module 15 { 8146b000-814b3b93 } -> { 81468000-814b0b93 } [297876]
>    moving module 16 { 814b4000-8156edef } -> { 814b1000-8156bdef } [765424]
>    moving module 17 { 8156f000-819027d3 } -> { 8156c000-818ff7d3 } [3749844]
>    moving module 18 { 81903000-8193a9ff } -> { 81900000-819379ff } [227840]
>    moving module 19 { 8193b000-819b4e9b } -> { 81938000-819b1e9b } [499356]
>    Scanning 
> /home/pyl/code/genode/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco 
> -serial_esc
>    Scanning sigma0
>    Scanning genode/core
>    Relocated mbi to [0x8100f000-0x8100f31c]
>    Loading de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco
>    Loading sigma0
>    Loading genode/core
>    find kernel info page...
>    found kernel info page at 0x80002000
> Regions of list 'regions'
>      [ 80001000,  80001bff] {      c00} Kern 
> de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco
>      [ 80002000,  80076fff] {    75000 
> de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco
>      [ 80090000,  8009673b] {     673c} Sigma0 sigma0
>      [ 80098000,  8009e17b] {     617c} Sigma0 sigma0
>      [ 80140000,  8029172f] {   151730} Root   genode/core
>      [ 81000000,  810153f3] {    153f4} Boot   bootstrap
>      [ 8100f000,  8100f419] {      41a} Root   Multiboot info
>      [ 81100000,  819b1e9b] {   8b1e9c} Root   Module
>    API Version: (87) experimental
>    Sigma0 config    ip:80090100 sp:81014de4
>    Roottask config  ip:80140000 sp:00000000
>    Starting kernel 
> de/genode-master/build/foc_panda/kernel/fiasco.oc/fiasco at 800013c0
> Hello from Startup::stage2
> Per_cpu_data_alloc: (orig: 0xf00660d8-0xf0066a68)
> Number of IRQs available at this GIC: 160
> Cache config: ON
> ID_PFR[01]:  00001231 00000011 ID_[DA]FR0: 00010444 00000000
> ID_MMFR[04]: 00100103 20000000 01230000 00102111
> FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: 
> dbl/sngl
> L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0
> L2: Type L2C-310 Size = 1024kB
> SERIAL ESC: allocated IRQ 106 for serial uart
> Not using serial hack in slow timer handler.
> Welcome to Fiasco.OC (arm)!
> L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
> Rev: rUnversioned director compiled with gcc 4.7.4 for Pandaboard []
> Build: #2 Sun Mar 22 21:44:57 CST 2015
> 
> Per_cpu_data_alloc: (orig: 0xf00660d8-0xf0066a68)
> Allocate 2448 bytes (2KB) for CPU[4] local storage (offset=117ff28, 
> 0xf11e6000-0xf11e6990)
> Number of CPUs: 2
> Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00660d8-0xf0066a68)
> done.
> Allocate 2448 bytes (2KB) for CPU[1] local storage (offset=1180f28, 
> 0xf11e7000-0xf11e7990)
> SCache config: ON
> IID_PFR[01]:  00001231 00000011G ID_[DA]FR0: 00010444 00000000
> MID_MMFR[04]: 00100103 20000000 01230000 00102111
> AFPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: 
> dbl/sngl
> 0CPU[1]: goes to idle loop
> : Hello!
>    KIP @ 80002000
>    allocated 4KB for maintenance structures
> SIGMA0: Dump of all resource maps
> RAM:------------------------
> [0:80000000;80000fff]
> [0:80077000;8008ffff]
> [0:80097000;80097fff]
> [0:8009f000;8013ffff]
> [4:80140000;80291fff]
> [0:80292000;8100efff]
> [4:8100f000;8100ffff]
> [0:81010000;810fffff]
> [4:81100000;819b1fff]
> [0:819b2000;beffffff]
> IOMEM:----------------------
> [0:0;7fffffff]
> [0:c0000000;ffffffff]
> 
> KIP @ 80002000
>      magic: 4be6344c
>    version: 87024444
>           sigma0  esp: 81014de4  eip: 80090100
>           sigma1  esp: 00000000  eip: 00000000
>             root  esp: 00000000  eip: 80140000
> MBI @ 8100f000
>   mod[3] [8110000 mod[5] [81151000,81197410) timer
>   mod[6] [81198000,81202fd8) nitpicker
>   mod[7] [81203000,812507ec) nit_fb
>   mod[8] [81251000,812a0b88) nic_bridge
>   mod[9] [812a1000,812fed74) terminal
>   mod[10] [812ff000,81342d54) terminal_log
>   mod[11] [81343000,8138a5c8) kdb_uart_drv
>   mod[12] [8138b000,813d55f8) fb_drv
>   mod[13] [813d6000,8141efa0) part_blk
>   mod[14] [8141f000,814671f8) sd_card_drv
>   mod[15] [81468000,814b0b94) gpio_drv
>   mod[16] [814b1000,8156bdf0) usb_drv
>   mod[17] [8156c000,818ff7d4) l4android
>   mod[18] [81900000,81937a00) root-ginger.gz
>   mod[19] [81938000,819b1e9c) ld.lib.so
> :ram_alloc: Allocator 802826a8 dump:
>   Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000
>   Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80000038,80000438) size=00000400 avail=00000000 max_avail=00018fe4
>   Block: [80000438,80000454) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80000454,80000470) size=0000001c avail=00000000 max_avail=00000b90
>   Block: [80000470,80001000) size=00000b90 avail=00000b90 max_avail=00000b90
>   Block: [80077000,8007701c) size=0000001c av max_avail=00018fe4
>   Block: [8007701c,80090000) size=00018fe4 avail=00018fe4 max_avail=00018fe4
>   Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00018fe4
>   Block: [8009701c,80097038) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80097038,80097054) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80097054,80097070) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80097070,8009708c) size=0000001c avail=00000000 max_avail=00000000
>   Block: [8009708c,800970a8) size=0000001c avail=00000000 max_avail=00000000
>   Block: [800970a8,800970c4) size=0000001c avail=00000000 max_avail=00000000
>   Block: [800970c4,800970e0) size=0000001c avail=00000000 max_avail=00000000
>   Block: [800970e0,800970fc) size=0000001c avail=00000000 max_avail=3d64e000
>   Block: [800970fc,80097118) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80097118,80097134) size=0000001c avail=00000000 max_avail=00000eb0
>   Block: [80097134,80097150) size=0000001c avail=00000000 max_avail=00000000
>   Block: [80097150,80098000) size=00000eb0 avail=00000eb0 max_avail=00000eb0
>   Block: [8009f000,8009f01c) size=0000001c avail=00000000 max_avail=3d64e000
>   Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4
>   Block: [80292000,8100f000) size=00d7d000 avail=00d7d000 max_avail=3d64e000
>   Block: [81010000,81100000) size=000f0000 avail=000f0000 max_avail=3d64e000
>   Block: [819b2000,bf000000) size=3d64e000 avail=3d64e000 max_avail=3d64e000
>   => mem_size=1045917696 (997 MB) / mem_avail=1045916168 (997 MB)
> :region_alloc: Allocator 80283818 dump:
>   Block: [00001000,20000000) size=1ffff000 avail=1ffff000 max_avail=1ffff000
>   Block: [30000000,80000000) size=50000000 avail=50000000 max_avail=50000000
>   Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=00001000
>   Block: [80003000,80077000) size=00074000 avail=00074000 max_avail=50000000
>   Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00007000
>   Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=50000000
>   Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000
>   => mem_size=1896292352 (1808 MB) / mem_avail=1896292352 (1808 MB)
> :io_mem: Allocator 80282b04 dump:
>   Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000
>   Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000
>   Block: [80003000,80077000) size=00074000 avail=00074000 max_avail=00074000
>   Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00074000
>   Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000
>   Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff
>   => mem_size=3238539263 (3088 MB) / mem_avail=3238539263 (3088 MB)
> :io_port: Allocator 80282f60 dump:
> :irq: Allocator 802833bc dump:
>   Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100
>   => mem_size=256 (0 MB) / mem_avail=256 (0 MB)
> :rom_fs: Rom_fs 802840cc dump:
>   Rom: [80002000,80003000) l4v2_kip
>   Rom: [81102000,811508c0) init
>   Rom: [8138b000,813d55f8) fb_drv
>   Rom: [81100000,81101398) config
>   Rom: [81468000,814b0b94) gpio_drv
>   Rom: [80002000,80003000) kip
>   Rom: [81343000,8138a5c8) kdb_uart_drv
>   Rom: [8156c000,818ff7d4) l4android
>   Rom: [8141f000,814671f8) sd_card_drv
>   Rom: [81198000,81202fd8) nitpicker
>   Rom: [81251000,812a0b88) nic_bridge
>   Rom: [81938000,819b1e9c) ld.lib.so
>   Rom: [81203000,812507ec) nit_fb
>   Rom: [813d6000,8141efa0) part_blk
>   Rom: [81900000,81937a00) root-ginger.gz
>   Rom: [812ff000,81342d54) terminal_log
>   Rom: [812a1000,812fed74) terminal
>   Rom: [81151000,81197410) timer
>   Rom: [814b1000,8156bdf0) usb_drv
> :core ranges: Allocator 802860e0mp:
>   Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000
>   Block: [80077000,80090000) size=00019000 avail=00019000 max_avail=00019000
>   Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff0000
>   Block: [8009f000,8100f000) size=00f70000 avail=00f70000 max_avail=3dff0000
>   Block: [81010000,bf000000) size=3dff0000 avail=3dff0000 max_avail=3dff0000
>   => mem_size=1056419840 (1007 MB) / mem_avail=1056419840 (1007 MB)
> Genode 14.11
> int main(): --- create local services ---
> int main(): --- start init ---
> int main(): transferred 997 MB to init
> int main(): --- init created, waiting for exit condition ---
> Quota exceeded! amount=28672, size=4096, consumed=28672
> [init] upgrading quota donation for Env::CPU (8192 bytes)
> [init -> gpio_drv] --- omap4 gpio driver ---
> Insufficient quota for transfer: init -> part_blk
>    have 1564672, need 4206592
> [init] not enough quota for a donation of 4206592 bytes
> [init -> part_blk] resource_request: ram_quota=4206592
> [init -> part_blk] virtual void Genode::Platform_env::release(): used 
> before freeing emergency=290816
> [init -> part_blk] virtual void Genode::Platform_env::release(): used 
> after freeing emergency=286720
> [init] child "part_blk" requests resources: ram_quota=4206592
> [init -> fb_drv] Could not open file "config"
> [init -> fb_drv] Could not obtain config file
> [init -> sd_card_drv] --- OMAP4 SD card driver ---
> [init -> fb_drv] int main(int, char**): using default configuration: 
> HDMI@1024x768
> [init -> gpio_drv] No GPIO config
> [init -> l4android] Booting L4Linux ...
> [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] ======> L4Linux starting... <========
> [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (pyl@pyl) (gcc 
> version 4.7.4 (GCC) ) #3 SMP Sun Mar 22 21:44:43 CST 2015
> [init -> l4android] Binary name: vmlinux
> [init -> l4android]    This is an AEABI build.
> [init -> l4android] Linux kernel command line (3 args): mem=768M 
> console=ttyS0 l4x_rd=root-ginger.gz
> [init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 
> [4096 KiB].
> [init -> l4android] Areas: Text:     01000000 - 0135e000 [3448kB] (a bit 
> longer)
> [init -> l4android]        Data:     0135e000 - 0138b1b8 [180kB]
> [init -> l4android]        Initdata: 01338000 - 0135d4c0 [149kB]
> [init -> l4android]        BSS:      0138c000 - 013c96d8 [245kB]
> [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01
> [init -> l4android] l4io_get_root_device: Not implemented yet!
> [init -> l4android] Device scan:
> [init -> sd_card_drv] CID: 0x97009861 0x38caa862 0x44303847 0x02544d53
> [init -> l4android] l4io_iterate_devices: Not implemented yet!
> [init -> sd_card_drv] RCA: 0x895a
> [init -> l4android] Device scan done.
> [init -> usb_drv] void platform_hcd_init(Services*): register platform 
> device
> [init -> usb_drv] dev_info: EHCI Host Controller
> [init -> sd_card_drv] SD card detected
> [init -> sd_card_drv] capacity: 7600 MiB
> [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
> [init -> part_blk] Partition 1: LBA 63 (144522 blocks) type: c
> [init -> part_blk] Partition 2: LBA 144585 (15149295 blocks) type: c
> [init -> part_blk] Partition 3: LBA 15293880 (257040 blocks) type: c
> [init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00
> [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00
> [init -> usb_drv] dev_info: USB hub found
> [init -> l4android] main thread will be c
> [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 
> 4194304
> [init -> l4android] section-with-init: virt: 1000000 to 13fffff [4096 KiB]
> [init -> l4android] Cannot determine physical address for dataspace Binary!
> [init -> l4android] error: failed to get physical address for 1000000.
> [init -> usb_drv] dev_info: 3 ports detected
> [init -> l4android] thread=c000 cpu=0
> [init -> l4android] Main thread running, waiting...
> [init -> l4android] l4x_setup_memory: Forcing superpages for main memory
> [init -> l4android] l4re_global_env: 0
> [init -> l4android] Main memory size: 768MB
> unmapping of managed dataspaces not yet supported
> [init -> l4android] Main memory: virt: 40000000 to 6fffffff [786432 KiB]
> [init -> l4android] Main memory: Phys: 0x00000000 to 0x30000000, Size: 
> 805306368
> [init -> l4android] Filling lower ptabs...
> [init -> l4android] Done (0 entries).
> [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 
> 4194304
> [init -> l4android] text: virt: 1000000 to 13fffff [4096 KiB]
> [init -> l4android] Cannot determine physical address for dataspace Binary!
> [init -> l4android] error: failed to get physical address for 1000000.
> [init -> nitpicker] create session with args: label="android_fb", 
> ram_quota=28672
> [init -> l4androto_phys: Could not translate virt. address 1000000
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 1337fb3
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 135e000
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 13c96d7
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 1000000
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 13fffff
> [init -> l4android] l4x_rd_path: root-ginger.gz
> [init -> l4android] Loading: root-ginger.gz
> [init -> l4android] INITRD: Size of RAMdisk is 224KiB
> [init -> l4android] RAMdisk from 00005000 to 0003d000 [224KiB]
> [init -> usb_drv] dev_info: new high-speed USB device number 2 using 
> ehci-omap
> [init -> l4android] l4timer: Using IRQ210
> [init] l4android: invalid route to non-existing server "LOG"
> [init] l4android: lookup to child service "Terminal" failed
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 12359a0
> [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 
> 12359a0
> [init -> l4android] l4io_get_root_device: Not implemented yet!
> [init -> l4android] l4io_iterate_devices: Not implemented yet!
> [init -> nic_bridge] Could not open file "config"
> [init -> nic_bridge] Could not obtain config file
> Insufficient quota for transfer: init -> nic_bridge
>    have 1564672, need 3301376
> [init] not enough quota for a donation of 3301376 bytes
> [init -> nic_bridge] resource_request: ram_quota=3301376
> [init -> nic_bridge] virtual void Genode::Platform_env::release(): used 
> before freeing emergency=278528
> [init -> nic_bridge] virtual void Genode::Platform_env::release(): used 
> after freeing emergency=274432
> [init] child "nic_bridge" requests resources: ram_quota=3301376
> [init -> android_fb] using xywh=(0,0,640,480)
> [init -> usb_drv] dev_info: USB hub found
> [init -> usb_drv] dev_info: 5 ports detected
> no RM attachment (READ pf_addr=99000 pf_ip=1245880 from 3e5000)
> virtual void 
> Genode::Signal_session_component::submit(Genode::Signal_context_capability, 
> unsigned int): invalid signal-context capability
> virtual void Genode::Pager_activation_base::entry(): Could not resolve 
> pf=99000 ip=1245880
> [init -> usb_drv] dev_info: new high-speed USB device number 3 using 
> ehci-omap
> [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01
> [init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 
> 1500 simple framing
> [init -> usb_drv] nedev_info: hardware isn't capable of remote wakeup
> [init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, 
> smsc95xx USB 2.0 Ethernet, 10c4e04M
> [init -> nic_bridge] --- NIC bridge started (mac=2e:60:90:0c:4e:01) ---
> 
> Thanks
> Cooper
> 
> 
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming The Go Parallel Website, sponsored
> by Intel and developed in partnership with Slashdot Media, is your hub for all
> things parallel software development, from weekly thought leadership blogs to
> news, videos, case studies, tutorials and more. Take a look and join the 
> conversation now. http://goparallel.sourceforge.net/
> _______________________________________________
> genode-main mailing list
> gen...@li...
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Re: Run Android on Pandaboard

Tool kit for building highly secure special-purpose operating systems

Re: Run Android on Pandaboard