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?
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@...311... [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@...317...) (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
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-f...
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@...311... [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@...317...) (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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
pyl -
Stefan Kalkowski