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@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
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
