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