Menu
▾
▴
genode-main
|
From: longjks <lo...@16...> - 2013-03-25 14:38:25
|
hi, I had build an image.elf with the l4android.run in the directory ports-foc/run on genode13.02 . I build with the platform foc_panda. When I run the image.elf on Pandaboard, it goes to some errors. here is the Error log: ////////////////////////////////////////////////////// [init] nitpicker: invalid route to non-existing server "fb-drv" ///////////////////////////////////////// so I added the follow into l4android.run: <start name="fb_drv"> <binary name="omap4_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="usb_drv"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config> <hid/> <nic mac="2e:60:90:0c:4e:01" /> </config> </start> after that, I can start the l4android on Pandaboard. I can see something on "log_term" part and "terminal_log" part,but there are nothing on "android_term " part, l4android can not work rightly and system-ginger.img can not be started on Pandaboard ? How I can do to fix these problems? 2013-03-25 longjks |
|
From: Stefan K. <ste...@ge...> - 2013-03-28 12:39:51
|
Hi,
On 03/25/2013 03:38 PM, longjks wrote:
> hi,
> I had build an image.elf with the l4android.run in the directory
> ports-foc/run on genode13.02 . I build with the platform foc_panda. When
> I run the image.elf on Pandaboard, it goes to some errors. here is the
> Error log:
> //////////////////////////////////////////////////////
> [init] nitpicker: invalid route to non-existing server "fb-drv"
> /////////////////////////////////////////
ok, I've to admit this script is used to test L4Android on top of
Fiasco.OC x86 32bit QEMU and Fiasco.OC ARM pbxa9 QEMU only!
So it's not tested on top of the Pandaboard, that's why some driver
configuration data are missing. So you're exploring new frontiers ;-).
Nevertheless, all necessary tools exist to run the scenario on top of
Pandaboard.
> so I added the follow into l4android.run:
> <start name="fb_drv">
> <binary name="omap4_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="usb_drv">
> <resource name="RAM" quantum="12M"/>
> <provides>
> <service name="Input"/>
> <service name="Nic"/>
> </provides>
> <config>
> <hid/>
> <nic mac="2e:60:90:0c:4e:01" />
> </config>
> </start>
ok, that looks fine!
> after that, I can start the l4android on Pandaboard. I can see something
> on "log_term" part and "terminal_log" part,but there are nothing on
> "android_term " part, l4android can not work rightly and
> system-ginger.img can not be started on Pandaboard ? How I can do to fix
> these problems?
Well, the debug messages in "terminal_log" should help you to solve
problems of Linux booting the android stuff. Without having that
information, my first guess is that your Android system image
(system-ginger.img) is not in the place like Linux is expecting it.
If you're looking at the unmodified "l4android.run" script, you'll see
that QEMU is instructed to provide the system image as a sd-card. If you
are booting the scenario on real Pandaboard hardware, you're forced to
use a sd-card with a partition-table, where the bootloader stuff is
located on the first bootable vfat partition. So here lies the first
problem. You'll have to prepare a second partition holding the Android
system image. Moreover, you've to either modify the Android initramfs to
take the second partition of the sd-card as root filesystem, or FMPOV
even easier: add Genode's partition server ("part_blk") to your setup.
That will enable you to give exactly one of the partitions, containing
the system image, as a block device to Linux. It might look like the
following, assuming you copied the system image to the second partition:
<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>
As already said, I can only guess what's missing without some logs, your
sd-card layout, or/and a complete script.
Best regards
Stefan
> 2013-03-25
> ------------------------------------------------------------------------
> longjks
>
>
> ------------------------------------------------------------------------------
> Everyone hates slow websites. So do we.
> Make your web apps faster with AppDynamics
> Download AppDynamics Lite for free today:
> http://p.sf.net/sfu/appdyn_d2d_mar
>
>
>
> _______________________________________________
> Genode-main mailing list
> Gen...@li...
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
Stefan Kalkowski
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
|
|
From: longjks <lo...@16...> - 2013-03-30 07:04:09
Attachments:
diffs
|
## Starting application at 0x82000000 ...
L4 Bootstrapper
Build: #35 Fri Mar 29 18:39:38 CST 2013, 4.7.2
Scanning up to 1024 MB RAM
Memory size is 1024MB (80000000 - c0000000)
RAM: 0000000080000000 - 00000000bfffffff: 1048576kB
Total RAM: 1024MB
mod17: 81807000-8184b6ec: genode/nic_bridge
mod16: 817a2000-81806278: genode/ld.lib.so
mod15: 8175d000-817a10a0: genode/part_blk
mod14: 816c6000-8175c7a4: genode/usb_drv
mod13: 81687000-816c5c2c: genode/sd_card_drv
mod12: 8164c000-816862e0: genode/omap4_fb_drv
mod11: 81614000-8164ba00: genode/root-ginger.gz
mod10: 81292000-816132d8: genode/l4android
mod09: 81257000-81291bac: genode/terminal_log
mod08: 81201000-81256c14: genode/terminal
mod07: 811c1000-81200dc4: genode/nit_fb
mod06: 81172000-811c0bf0: genode/nitpicker
mod05: 81137000-81171dc0: genode/timer
mod04: 810f1000-811366e0: genode/init
mod03: 810ef000-810f01ac: genode/config
mod02: 81089000-810ee030: genode/core
mod01: 8107f000-81088374: sigma0
mod00: 81015000-8107e330: /home/android/Genode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco
Moving up to 18 modules behind 81100000
moving module 00 { 81015000-8107e32f } -> { 81937000-819a032f } [430896]
moving module 01 { 8107f000-81088373 } -> { 819a1000-819aa373 } [37748]
moving module 02 { 81089000-810ee02f } -> { 819ab000-81a1002f } [413744]
moving module 03 { 810ef000-810f01ab } -> { 8184c000-8184d1ab } [4524]
moving module 04 { 810f1000-811366df } -> { 8184e000-818936df } [284384]
moving module 05 { 81137000-81171dbf } -> { 81100000-8113adbf } [241088]
moving module 06 { 81172000-811c0bef } -> { 8113b000-81189bef } [322544]
moving module 07 { 811c1000-81200dc3 } -> { 8118a000-811c9dc3 } [261572]
moving module 08 { 81201000-81256c13 } -> { 811ca000-8121fc13 } [351252]
moving module 09 { 81257000-81291bab } -> { 81220000-8125abab } [240556]
moving module 10 { 81292000-816132d7 } -> { 8125b000-815dc2d7 } [3674840]
moving module 11 { 81614000-8164b9ff } -> { 815dd000-816149ff } [227840]
moving module 12 { 8164c000-816862df } -> { 81615000-8164f2df } [238304]
moving module 13 { 81687000-816c5c2b } -> { 81650000-8168ec2b } [257068]
moving module 14 { 816c6000-8175c7a3 } -> { 8168f000-817257a3 } [616356]
moving module 15 { 8175d000-817a109f } -> { 81726000-8176a09f } [278688]
moving module 16 { 817a2000-81806277 } -> { 8176b000-817cf277 } [410232]
moving module 17 { 81807000-8184b6eb } -> { 817d0000-818146eb } [280300]
moving module 03 { 8184c000-8184d1ab } -> { 81815000-818161ab } [4524]
moving module 04 { 8184e000-818936df } -> { 81817000-8185c6df } [284384]
Scanning /home/android/Genode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco -serial_esc
Scanning sigma0
Scanning genode/core
Relocated mbi to [0x8100e000-0x8100e2db]
Loading ode/genode-13.02/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, 80001a7f] { a80} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80002000, 80078fff] { 77000} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80090000, 8009673b] { 673c} Sigma0 sigma0
[ 80098000, 8009e17b] { 617c} Sigma0 sigma0
[ 80140000, 80285adf] { 145ae0} Root genode/core
[ 81000000, 810143f3] { 143f4} Boot bootstrap
[ 8100e000, 8100e3d8] { 3d9} Root Multiboot info
[ 81100000, 8185c6df] { 75c6e0} Root Module
API Version: (87) experimental
Sigma0 config ip:80090100 sp:81013d24
Roottask config ip:80189e58 sp:00000000
Starting kernel ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco at 800011c4
L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB
Hello from Startup::stage2
Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)
Boot_alloc: size=0xc
Boot_alloc: allocated extra memory block @0xf13e1000 (size=400)
Boot_alloc: @ 0xf13e1000
Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0)
Boot_alloc: size=0x80
Boot_alloc: @ 0xf13e1010
Boot_alloc: remaining free block @ 0xf13e1090 (size=370)
Number of IRQs available at this GIC: 160
Boot_alloc: size=0x280
Boot_alloc: @ 0xf13e1090
Boot_alloc: remaining free block @ 0xf13e1310 (size=f0)
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
Startup::stage2 finished
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: rexporte compiled with gcc 4.7.2 for Pandaboard []
Build: #35 Fri Mar 29 18:39:31 CST 2013
Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)
Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fe48, 0xf11e6000-0xf11e6970)
Number of CPUs: 2
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)
done.
Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180e48, 0xf11e7000-0xf11e7970)
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:80079000;8008ffff]
[0:80097000;80097fff]
[0:8009f000;8013ffff]
[4:80140000;80285fff]
[0:80286000;8100dfff]
[4:8100e000;8100efff]
[0:8100f000;810fffff]
[4:81100000;8185cfff]
[0:8185d000;beffffff]
IOMEM:----------------------
[0:0;7fffffff]
[0:c0000000;ffffffff]
KIP @ 80002000
magic: 4be6344c
version: 87014444
sigma0 esp: 81013d24 eip: 80090100
sigma1 esp: 00000000 eip: 00000000
root esp: 00000000 eip: 80189e58
MBI @ 8100e000
mod[3] [81815000,818161ac) config
mod[4] [81817000,8185c6e0) init
mod[5] [81100000,8113adc0) timer
mod[6] [8113b000,81189bf0) nitpicker
mod[7] [8118a000,811c9dc4) nit_fb
mod[8] [811ca000,8121fc14) terminal
mod[9] [81220000,8125abac) terminal_log
mod[10] [8125b000,815dc2d8) l4android
mod[11] [815dd000,81614a00) root-ginger.gz
mod[12] [81615000,8164f2e0) omap4_fb_drv
mod[13] [81650000,8168ec2c) sd_card_drv
mod[14] [8168f000,817257a4) usb_drv
mod[15] [81726000,8176a0a0) part_blk
mod[16] [8176b000,817cf278) ld.lib.so
mod[17] [817d0000,818146ec) nic_bridge
:ram_alloc: Allocator 8026f494 dump:
Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000
Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000fc8
Block: [80000038,80001000) size=00000fc8 avail=00000fc8 max_avail=00000fc8
Block: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4
Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4
Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4
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=3d7a3000
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=3d7a3000
Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4
Block: [80286000,8100e000) size=00d88000 avail=00d88000 max_avail=3d7a3000
Block: [8100f000,81100000) size=000f1000 avail=000f1000 max_avail=3d7a3000
Block: [8185d000,bf000000) size=3d7a3000 avail=3d7a3000 max_avail=3d7a3000
=> mem_size=1047355392 (998 MB) / mem_avail=1047354944 (998 MB)
:region_alloc: Allocator 80270604 dump:
Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000
Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000
Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000
Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000
=> mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB)
:io_mem: Allocator 8026f8f0 dump:
Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000
Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff
=> mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB)
:io_port: Allocator 8026fd4c dump:
:irq: Allocator 802701a8 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 80270eb8 dump:
Rom: [8113b000,81189bf0) nitpicker
Rom: [80002000,80003000) l4v2_kip
Rom: [81817000,8185c6e0) init
Rom: [81815000,818161ac) config
Rom: [8125b000,815dc2d8) l4android
Rom: [80002000,80003000) kip
Rom: [817d0000,818146ec) nic_bridge
Rom: [8176b000,817cf278) ld.lib.so
Rom: [8118a000,811c9dc4) nit_fb
Rom: [811ca000,8121fc14) terminal
Rom: [815dd000,81614a00) root-ginger.gz
Rom: [81615000,8164f2e0) omap4_fb_drv
Rom: [81726000,8176a0a0) part_blk
Rom: [81650000,8168ec2c) sd_card_drv
Rom: [81100000,8113adc0) timer
Rom: [81220000,8125abac) terminal_log
Rom: [8168f000,817257a4) usb_drv
')ore ranges: Allocator 80272c18 dump:
[init -> log_term] CODE 109 (0x6d 'm')avail=00001000 max_avail=00001000
[init -> log_term] NUMBER 0 (0x0 '17000 avail=00017000 max_avail=00017000
[init -> log_term] CODE 61 (0x3d '=') avail=00001000 max_avail=3dff1000
[init -> log_term] NUMBER 0 (0x0 '6f000 avail=00f6f000 max_avail=3dff1000
[init -> log_term] CODE 61 (0x3d '=') avail=3dff1000 max_avail=3dff1000
[init -> log_term] NUMBER 0 (0x0 'mem_avail=1056411648 (1007 MB)
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 'g for exit condition ---
[init -> log_term] CODE 61 (0x3d '=')river ---
[init -> log_term] Error: escape stack overflowquota=4096'
[init -> log_term] --- escape stack follows ---erminal service started ---
[init -> log_term] CODE 61 (0x3d '=')"config"
[init -> log_term] NUMBER 0 (0x0 'n config file
[init -> log_term] CODE 62 (0x3e '>')_quota=4096'
[init -> log_term] NUMBER 0 (0x0 'component::submit(Genode::Signal_context_capability, unsigned int): invalid signal-context capability
[init -> log_term] CODE 32 (0x20 ' ')e::entry(): Could not resolve pf=400feff8 ip=10004b8
[init -> log_term] NUMBER 0 (0x0 '", ram_quota=4096'
[init -> log_term] CODE 76 (0x4c 'L')ram_quota=4096'
[init -> log_term] NUMBER 4 (0x4 '')ar**): --- terminal service started ---
[init -> log_term] CODE 76 (0x4c 'L'): No <storage> config node found - not starting the USB Storage (Block) service
[init -> log_term] NUMBER 0 (0x0 '", ram_quota=4096'
[init -> log_term] CODE 105 (0x69 'i'):60:90:0c:4e:02
[init -> log_term] NUMBER 0 (0x0 '024x768@1
[init -> log_term] CODE 110 (0x6e 'n')gs: fb_width=640, fb_height=480, fb_format=1, label="android_fb", ram_quota=622592
[init -> log_term] NUMBER 0 (0x0 ' allocators
[init -> log_term] CODE 117 (0x75 'u')onfig"
[init -> log_term] Error: escape stack overflowe
[init -> log_term] --- escape stack follows ---b_width=1024, fb_height=268, fb_format=1, label="android_term_fb", ram_quota=557056
[init -> log_term] CODE 120 (0x78 'x')gs: fb_width=380, fb_height=480, fb_format=1, label="log_term_fb", ram_quota=372992
[init -> log_term] NUMBER 0 (0x0 ',640,480) refresh_rate=25
[init -> log_term] CODE 32 (0x20 ' ')82,1024,268) refresh_rate=25
[init -> log_term] NUMBER 0 (0x0 '2,0,380,480) refresh_rate=25
[init -> log_term] CODE 115 (0x73 's')ram_quota=4096'
[init -> log_term] NUMBER 0 (0x0 '_term", ram_quota=4096'
[init -> log_term] CODE 116 (0x74 't')fb", ram_quota=4096'
[init -> log_term] NUMBER 0 (0x0 'm", ram_quota=4096'
[init -> log_term] CODE 97 (0x61 'a'), ram_quota=4096'
[init -> log_term] NUMBER 0 (0x0 'n file "config"
[init -> log_term] CODE 114 (0x72 'r')nfig file
[init -> log_term] NUMBER 0 (0x0 '8x16
[init -> log_term] CODE 116 (0x74 't')nfig"
[init -> log_term] NUMBER 0 (0x0 'config file
[init -> log_term] CODE 105 (0x69 'i')
[init -> log_term] Error: escape stack overflow
[init -> log_term] --- escape stack follows ---
[init -> log_term] CODE 110 (0x6e 'n')80 pixels
[init -> log_term] NUMBER 0 (0x0 'is 8x16 pixels
[init -> log_term] CODE 103 (0x67 'g')0 characters
[init -> log_term] NUMBER 0 (0x0 'ck overflow
[init -> log_term] CODE 46 (0x2e '.')ws ---
[init -> log_term] NUMBER 0 (0x0 ' '[')
[init -> log_term] CODE 46 (0x2e '.')
[init -> log_term] NUMBER 0 (0x0 ' ';')
[init -> log_term] CODE 46 (0x2e '.')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 32 (0x20 ' ')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 60 (0x3c '<')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] Error: escape stack overflow
[init -> log_term] --- escape stack follows ---
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 61 (0x3d '=')
[init -> log_term] NUMBER 0 (0x0 '
[init -> log_term] CODE 27 (0x1b ')
[init -> timer] args='label="l4android", ram_quota=4096'
unmapping of managed dataspaces not yet supported
[init -> timer] args='label="l4android", ram_quota=4096'
[init -> android_term] create terminal session
[init -> android_term] new terminal session:
[init -> android_term] framebuffer has 1024x268 pixels
[init -> android_term] character size is 8x16 pixels
[init -> android_term] terminal size is 128x16 characters
[init -> usb_drv] dev_info: OMAP-EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] Registered 14 zone allocators
[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: New USB device found, idVendor=1d6b, idProduct=0002
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 3 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] dev_info: USB hub found
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: 5 ports detected
[init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-omap
[init -> usb_drv] No DMA phys addr for a010ec zone: -1
[init -> usb_drv] No DMA phys addr for a010ec zone: -1
[init -> usb_drv] No DMA phys addr for a010ec zone: -1
[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0
[init -> usb_drv] dev_info: new high-speed USB device number 4 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing
[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10a3500M
Quota exceeded! amount=12288, size=4096, consumed=12288
[init -> usb_drv] upgrading quota donation for SIGNAL session
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> nic_bridge] upgrading quota donation for SIGNAL session
|
|
From: Stefan K. <ste...@ge...> - 2013-04-02 11:56:14
|
Hi,
On 03/30/2013 08:03 AM, longjks wrote:
> Like Stefan said , I can started L4Android on top of Fiasco.OC x86 32bit
> QEMU. It is exciting to see that Android is runing on genode. Then I
> decided to modify the 'l4android.run' script to started L4Andaroid on
> PandaBoard.
> I have add the necessary driver into the 'l4android.run' script and
> copy the system image(system-ginger.img)to the second partition. But
> l4android still can not run rightly. I can see the last log in
> 'terminal_log' is that:
> !io scheduler cfq registered(default)
> !brd:module loaded
> !mousedev: PS/2 mouse device common for all mice
> !ashemen: initialized
> !logger:created 256K log 'log_main'
> !logger:created 256K log 'log_events'
> !logger:created 256K log 'log_radio'
> !logger:created 256K log 'log_system'
> !ttyS0 at MMIO 0x1(irq=211) is a L4
> !rtc-genode rtc-genode.0: rtc core:registered rtc-genode as rtc0
> !genode_fb:framebuffer at 0x00000000, size 600k
> !genode_fb:mode is 640x480x16
> !Console:switching to colour frame buffer device 80x30
> ! input: Genode input key as /devices/virtual/input/input0
> !intput:Genode intput mouse as /devices/virtual/intput/intput!
> Then it stops. What is the problem? and how can I get the whole log from
> "terminal_log"?
You can get the whole log by removing the log_term, and use core's LOG
service for all children instead. Then all logs will appear on serial
line. We've put the log_term in place in some run-scripts only for
demonstration purposes, when there is no serial line available. For
debugging it's often more convenient to use only the serial line.
>
> You can get the log and l4android.run I modified in attachment.
The patch you've sent is not complete, it won't build all necessary
components. Anyway, what I could see from your log file is an unresolved
pagefault from one component:
"Could not resolve pf=400feff8 ip=10004b8"
After rebuilding your scenario myself, and entering the kernel debugger
(via escape on the serial console) after the boot process completes,
I've seen it is the sd_card driver that caused the fault.
The address 0x400feff8 immediately set off my alarm bells. In Genode at
address 0x40000000 normally the thread context area starts including the
thread's stacks. Moreover, the pagefault address is nearby a page
boundary. When looking at the instruction that raised the fault ("push
{r3,lr}") it gets obvious that a stack overflow occured.
The problem was the usleep function implemented in the omap4 sd_card
driver. When this driver was written, there was no usleep function
existent in the timer session interface. Therefore, usleep was provided
in this driver by simply wrapping the msleep function of the timer session.
Some time ago, the timer session interface was rewritten to use an
asynchronous signal mechanism. The msleep call in this interface was
replaced by a simple wrapper around the latterly available usleep
function. When usleep got available in the timer session interface,
nobody removed the superfluous function in the sd-card driver.
Now, when either usleep or msleep were called in the Omap4 sd-card
driver, that function called the other one, and vice versa in an endless
loop.
I've opened a corresponding issue in our tracker:
https://github.com/genodelabs/genode/issues/705
There you'll find a patch to resolve that problem. With that patch in
place Android boots fine on my Pandaboard.
Regards
Stefan
>
> thanks.
>
> longjks
>
>
>
>
>
>
>
>
>
>
>
>
>
> ------------------------------------------------------------------------------
> Own the Future-Intel(R) Level Up Game Demo Contest 2013
> Rise to greatness in Intel's independent game demo contest. Compete
> for recognition, cash, and the chance to get your game on Steam.
> $5K grand prize plus 10 genre and skill prizes. Submit your demo
> by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2
>
>
>
> _______________________________________________
> Genode-main mailing list
> Gen...@li...
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
Stefan Kalkowski
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
|
|
From: longjks <lo...@16...> - 2013-04-10 12:08:22
|
hi, Stefan wrote >Maybe, you're not using a high capacity card? The driver only supports >SDHC cards. You are right! I used a sdcard, not SDHC card. Now I used SDHC card to start l4Android on PandaBoard. However it still can not boot well. some error like this: "virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400fef3c ip=1023ad0" Just like you mail said before,you put a patch on the Internet(https://github.com/genodelabs/genode/issues/705). Before I use this batch, the sdcard_driver can not find the SDHC card. After I use this patch, the sdcard_driver can find the SDHC card, but there are another error like above. I used the l4android.run script your said, this error is still there. I am finding the way to solving this error, maybe you can help me to fix this error. You can get the log of using my l4android.run script, my l4android run script. and the log of using your l4android.run script in the attachment. By the way, my genode version is 13.02, that is same with you ? My SDHC card's capacity is 4G. It has three partitions. The first partition is bootable FAT32 partition, 128M,where I put MIO and uboot.bin. The second partition is EXTS partition, 256M, where I put Android system image. The third partition is EXTS partititon, 1000M. that is OK? thanks |
|
From: longjks <lo...@16...> - 2013-04-10 12:11:45
|
L4 Bootstrapper
Build: #102 Wed Apr 10 16:53:10 CST 2013, 4.7.2
Scanning up to 1024 MB RAM
Memory size is 1024MB (80000000 - c0000000)
RAM: 0000000080000000 - 00000000bfffffff: 1048576kB
Total RAM: 1024MB
mod17: 817e7000-8184b278: genode/ld.lib.so
mod16: 817af000-817e6a00: genode/root-ginger.gz
mod15: 8142d000-817ae2d8: genode/l4android
mod14: 813f2000-8142cba8: genode/terminal_log
mod13: 8139c000-813f1c10: genode/terminal
mod12: 81357000-8139b140: genode/part_blk
mod11: 81317000-81356dc0: genode/nit_fb
mod10: 812c8000-81316bec: genode/nitpicker
mod09: 81283000-812c76e8: genode/nic_bridge
mod08: 811ec000-812827a0: genode/usb_drv
mod07: 811ad000-811ebc14: genode/sd_card_drv
mod06: 81172000-811ac2dc: genode/omap4_fb_drv
mod05: 81137000-81171dbc: genode/timer
mod04: 810f1000-811366dc: genode/init
mod03: 810ef000-810f0123: genode/config
mod02: 81089000-810ee048: genode/core
mod01: 8107f000-81088374: sigma0
mod00: 81015000-8107e330: /home/android/Genode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco
Moving up to 18 modules behind 81100000
moving module 00 { 81015000-8107e32f } -> { 81937000-819a032f } [430896]
moving module 01 { 8107f000-81088373 } -> { 819a1000-819aa373 } [37748]
moving module 02 { 81089000-810ee047 } -> { 819ab000-81a10047 } [413768]
moving module 03 { 810ef000-810f0122 } -> { 8184c000-8184d122 } [4387]
moving module 04 { 810f1000-811366db } -> { 8184e000-818936db } [284380]
moving module 05 { 81137000-81171dbb } -> { 81100000-8113adbb } [241084]
moving module 06 { 81172000-811ac2db } -> { 8113b000-811752db } [238300]
moving module 07 { 811ad000-811ebc13 } -> { 81176000-811b4c13 } [257044]
moving module 08 { 811ec000-8128279f } -> { 811b5000-8124b79f } [616352]
moving module 09 { 81283000-812c76e7 } -> { 8124c000-812906e7 } [280296]
moving module 10 { 812c8000-81316beb } -> { 81291000-812dfbeb } [322540]
moving module 11 { 81317000-81356dbf } -> { 812e0000-8131fdbf } [261568]
moving module 12 { 81357000-8139b13f } -> { 81320000-8136413f } [278848]
moving module 13 { 8139c000-813f1c0f } -> { 81365000-813bac0f } [351248]
moving module 14 { 813f2000-8142cba7 } -> { 813bb000-813f5ba7 } [240552]
moving module 15 { 8142d000-817ae2d7 } -> { 813f6000-817772d7 } [3674840]
moving module 16 { 817af000-817e69ff } -> { 81778000-817af9ff } [227840]
moving module 17 { 817e7000-8184b277 } -> { 817b0000-81814277 } [410232]
moving module 03 { 8184c000-8184d122 } -> { 81815000-81816122 } [4387]
moving module 04 { 8184e000-818936db } -> { 81817000-8185c6db } [284380]
Scanning /home/android/Genode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco -serial_esc
Scanning sigma0
Scanning genode/core
Relocated mbi to [0x8100e000-0x8100e2db]
Loading ode/genode-13.02/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, 80001a7f] { a80} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80002000, 80078fff] { 77000} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80090000, 8009673b] { 673c} Sigma0 sigma0
[ 80098000, 8009e17b] { 617c} Sigma0 sigma0
[ 80140000, 80285aff] { 145b00} Root genode/core
[ 81000000, 810143f3] { 143f4} Boot bootstrap
[ 8100e000, 8100e3d8] { 3d9} Root Multiboot info
[ 81100000, 8185c6db] { 75c6dc} Root Module
API Version: (87) experimental
Sigma0 config ip:80090100 sp:81013d24
Roottask config ip:80189f2c sp:00000000
Starting kernel ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco at 800011c4
L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB
Hello from Startup::stage2
Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)
Boot_alloc: size=0xc
Boot_alloc: allocated extra memory block @0xf13e1000 (size=400)
Boot_alloc: @ 0xf13e1000
Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0)
Boot_alloc: size=0x80
Boot_alloc: @ 0xf13e1010
Boot_alloc: remaining free block @ 0xf13e1090 (size=370)
Number of IRQs available at this GIC: 160
Boot_alloc: size=0x280
Boot_alloc: @ 0xf13e1090
Boot_alloc: remaining free block @ 0xf13e1310 (size=f0)
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
Startup::stage2 finished
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: rexporte compiled with gcc 4.7.2 for Pandaboard []
Build: #16 Wed Apr 10 16:53:05 CST 2013
Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)
Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fe48, 0xf11e6000-0xf11e6970)
Number of CPUs: 2
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)
done.
Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180e48, 0xf11e7000-0xf11e7970)
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:80079000;8008ffff]
[0:80097000;80097fff]
[0:8009f000;8013ffff]
[4:80140000;80285fff]
[0:80286000;8100dfff]
[4:8100e000;8100efff]
[0:8100f000;810fffff]
[4:81100000;8185cfff]
[0:8185d000;beffffff]
IOMEM:----------------------
[0:0;7fffffff]
[0:c0000000;ffffffff]
KIP @ 80002000
magic: 4be6344c
version: 87014444
sigma0 esp: 81013d24 eip: 80090100
sigma1 esp: 00000000 eip: 00000000
root esp: 00000000 eip: 80189f2c
MBI @ 8100e000
mod[3] [81815000,81816123) config
mod[4] [81817000,8185c6dc) init
mod[5] [81100000,8113adbc) timer
mod[6] [8113b000,811752dc) omap4_fb_drv
mod[7] [81176000,811b4c14) sd_card_drv
mod[8] [811b5000,8124b7a0) usb_drv
mod[9] [8124c000,812906e8) nic_bridge
mod[10] [81291000,812dfbec) nitpicker
mod[11] [812e0000,8131fdc0) nit_fb
mod[12] [81320000,81364140) part_blk
mod[13] [81365000,813bac10) terminal
mod[14] [813bb000,813f5ba8) terminal_log
mod[15] [813f6000,817772d8) l4android
mod[16] [81778000,817afa00) root-ginger.gz
mod[17] [817b0000,81814278) ld.lib.so
:ram_alloc: Allocator 8026f4b4 dump:
Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000
Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000fc8
Block: [80000038,80001000) size=00000fc8 avail=00000fc8 max_avail=00000fc8
Block: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4
Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4
Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4
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=3d7a3000
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=3d7a3000
Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4
Block: [80286000,8100e000) size=00d88000 avail=00d88000 max_avail=3d7a3000
Block: [8100f000,81100000) size=000f1000 avail=000f1000 max_avail=3d7a3000
Block: [8185d000,bf000000) size=3d7a3000 avail=3d7a3000 max_avail=3d7a3000
=> mem_size=1047355392 (998 MB) / mem_avail=1047354944 (998 MB)
:region_alloc: Allocator 80270624 dump:
Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000
Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000
Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000
Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000
=> mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB)
:io_mem: Allocator 8026f910 dump:
Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000
Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff
=> mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB)
:io_port: Allocator 8026fd6c dump:
:irq: Allocator 802701c8 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 80270ed8 dump:
Rom: [8113b000,811752dc) omap4_fb_drv
Rom: [8124c000,812906e8) nic_bridge
Rom: [813f6000,817772d8) l4android
Rom: [81817000,8185c6dc) init
Rom: [81815000,81816123) config
Rom: [80002000,80003000) kip
Rom: [80002000,80003000) l4v2_kip
Rom: [817b0000,81814278) ld.lib.so
Rom: [81291000,812dfbec) nitpicker
Rom: [812e0000,8131fdc0) nit_fb
Rom: [81365000,813bac10) terminal
Rom: [81778000,817afa00) root-ginger.gz
Rom: [81320000,81364140) part_blk
Rom: [81176000,811b4c14) sd_card_drv
Rom: [81100000,8113adbc) timer
Rom: [813bb000,813f5ba8) terminal_log
Rom: [811b5000,8124b7a0) usb_drv
:core ranges: Allocator 80272c38 dump:
Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000
Block: [80079000,80090000) size=00017000 avail=00017000 max_avail=00017000
Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff1000
Block: [8009f000,8100e000) size=00f6f000 avail=00f6f000 max_avail=3dff1000
Block: [8100f000,bf000000) size=3dff1000 avail=3dff1000 max_avail=3dff1000
=> mem_size=1056411648 (1007 MB) / mem_avail=1056411648 (1007 MB)
##########################Native_capability
int main(): --- create local services ---
int main(): ###########################################My--- create local services ---
##########################Native_capability
##########################Native_capability
int main(): --- start init ---
int main(): transferred 998 MB to init
##########################Native_capability
int main(): --- init created, waiting for exit condition ---
[init -> sd_card_drv] --- OMAP4 SD card driver ---
[init -> timer] args='label="sd_card_drv", ram_quota=4096'
[init -> timer] args='label="fb_drv", ram_quota=4096'
[init -> timer] args='label="usb_drv", ram_quota=4096'
[init -> log_term] int main(int, char**): --- terminal service started ---
[init -> nic_bridge] Could not open file "config"
[init -> nic_bridge] Could not obtain config file
[init -> timer] args='label="nitpicker", ram_quota=4096'
[init -> android_term] int main(int, char**): --- terminal service started ---
[init -> usb_drv] void start_usb_driver(): No <storage> config node found - not starting the USB Storage (Block) service
[init -> timer] args='label="usb_drv", ram_quota=4096'
[init -> l4android] Booting L4Linux ...
[init -> sd_card_drv] ###########Sd_card::Card_info _init Card_info card_info = _detect() before
[init -> sd_card_drv] CID: 0xb400d3f3 0x80060f63 0x55303447 0x03534453
[init -> sd_card_drv] RCA: 0xaaaa
[init -> sd_card_drv] Csd3::Version::get(csd.csd3) = 1
[init -> sd_card_drv] ###########Sd_card::Card_info _init Card_info card_info = _detect()
[init -> sd_card_drv] ###########Sd_card::Card_info _init Set_bus_width(FOUR_BITS)
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> nitpicker] framebuffer is 1024x768@1
[init -> sd_card_drv] ###########Sd_card::Card_info _init _delayer.usleep
[init -> sd_card_drv] ###########Sd_card::Card_info _init set_and_enable_clock(CLOCK_DIV_0, _delayer)
[init -> sd_card_drv] ###########Sd_card::Card_info _init before return card_info
##########################Native_capability
##########################Native_capability
[init -> sd_card_drv] SD card detected
[init -> sd_card_drv] capacity: 3781 MiB
[init -> nitpicker] create session with args: fb_width=640, fb_height=480, fb_format=1, label="android_fb", ram_quota=622592
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=400fef3c ip=1023ad0
[init -> l4android] ======> L4Linux starting... <========
[init -> l4android] Linux version 3.5.0-l4-gbf83cc8-dirty (android@ubuntu) (gcc version 4.7.2 (GCC) ) #16 SMP Wed Apr 10 16:52:50 CST 2013
[init -> l4android] Binary name: vmlinux
[init -> l4android] This is an AEABI build.
[init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0 l4x_rd=root-ginger.gz
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB].
[init -> l4android] Areas: Text: 01000000 - 0134c000 [3376kB] (a bit longer)
[init -> l4android] Data: 0134c000 - 01378cc0 [179kB]
[init -> l4android] Initdata: 01326000 - 0134b4c0 [149kB]
[init -> l4android] BSS: 01379000 - 013bdddc [275kB]
[init -> nitpicker] create session with args: fb_width=1024, fb_height=268, fb_format=1, label="android_term_fb", ram_quota=557056
[init -> nitpicker] create session with args: fb_width=380, fb_height=480, fb_format=1, label="log_term_fb", ram_quota=372992
[init -> usb_drv] Registered 14 zone allocators
[init -> android_fb] using xywh=(0,0,640,480) refresh_rate=25
[init -> android_term_fb] using xywh=(0,482,1024,268) refresh_rate=25
[init -> log_term_fb] using xywh=(642,0,380,480) refresh_rate=25
[init -> timer] args='label="android_fb", ram_quota=4096'
[init -> timer] args='label="android_term", ram_quota=4096'
[init -> timer] args='label="android_term_fb", ram_quota=4096'
[init -> timer] args='label="log_term", ram_quota=4096'
[init -> timer] args='label="log_term_fb", ram_quota=4096'
[init -> android_term] Could not open file "config"
[init -> android_term] Could not obtain config file
[init -> android_term] cell size is 8x16
[init -> log_term] Could not open file "config"
[init -> log_term] Could not obtain config file
[init -> log_term] cell size is 8x16
[init -> log_term] create terminal session
[init -> log_term] new terminal session:
[init -> log_term] framebuffer has 380x480 pixels
[init -> log_term] character size is 8x16 pixels
[init -> log_term] terminal size is 47x30 characters
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] Device scan:
[init -> l4android] l4io_iterate_devices: Not implemented yet!
[init -> l4android] Device scan done.
[init -> l4android] attach failed start=10000
[init -> timer] args='label="l4android", ram_quota=4096'
[init -> l4android] main thread will be f
[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 -> l4android] Main thread running, waiting...
[init -> l4android] thread=f000 cpu=0
[init -> l4android] l4x_setup_memory: Forcing superpages for main memory
[init -> l4android] l4re_global_env: 0
[init -> l4android] Main memory size: 128MB
unmapping of managed dataspaces not yet supported
[init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB]
[init -> l4android] Main memory: Phys: 0x88000000 to 0x90000000, Size: 134217728
[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 -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1325eef
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 134c000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13bdddb
[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 00020000 to 00058000 [224KiB]
[init -> l4android] l4timer: Using IRQ210
[init -> timer] args='label="l4android", ram_quota=4096'
[init -> android_term] create terminal session
[init -> android_term] new terminal session:
[init -> android_term] framebuffer has 1024x268 pixels
[init -> android_term] character size is 8x16 pixels
[init -> android_term] terminal size is 128x16 characters
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bc8
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bc8
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] l4io_iterate_devices: Not implemented yet!
[init -> l4android] ###########################genode_block_count=0 start 2
[init -> l4android] ###########################genode_block_count=1 2
[init -> l4android] ###########################genode_block_count=1 env()->heap()->alloc 2
[init -> l4android] ###########################sn_cnt=1 2
[init -> l4android] ###########################label=sda 2
[init -> usb_drv] dev_info: OMAP-EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] Registered 14 zone allocators
##########################Native_capability
[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: New USB device found, idVendor=1d6b, idProduct=0002
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 3 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] dev_info: USB hub found
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: 5 ports detected
[init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-omap
[init -> usb_drv] No DMA phys addr for a010ec zone: -1
[init -> usb_drv] No DMA phys addr for a010ec zone: -1
[init -> usb_drv] No DMA phys addr for a010ec zone: -1
[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0
[init -> usb_drv] dev_info: new high-speed USB device number 4 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing
[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10a3568M
Quota exceeded! amount=12288, size=4096, consumed=12288
[init -> usb_drv] upgrading quota donation for SIGNAL session
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> nic_bridge] upgrading quota donation for SIGNAL session
|
|
From: longjks <lo...@16...> - 2013-04-11 14:31:18
|
hi, Stefan wrote: >I've used current master branch of Genode's Github repository. You can >simply checkout the branch, where I've put the run-script into: >repo: git://github.com/skalk/genode.git >branch: l4android-panda Using the current master branch fo Genode's Github repository, I can run Android on my PandaBoard. thanks for you help.^-^ From the l4android.run script, I know that I got root-arm-ginger.gz and systemarm-ginger.img from the url below: "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz" "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img" Do you modify the source code of Android ( Gingerbread) and initramfs? Can I run other version of Android（like Ice Cream Sandwich）on Pandaboard? thanks, longjks |
|
From: Stefan K. <ste...@ge...> - 2013-04-11 16:13:07
|
Hi, On 04/11/2013 04:31 PM, longjks wrote: > hi, > > Stefan wrote: > >>I've used current master branch of Genode's Github repository. You can > >>simply checkout the branch, where I've put the run-script into: >>repo: git://github.com/skalk/genode.git >>branch: l4android-panda > > Using the current master branch fo Genode's Github repository, I can run > Android on my PandaBoard. > thanks for you help.^-^ > From the l4android.run script, I know that I got root-arm-ginger.gz and > systemarm-ginger.img from the url below: > "http://genode.org/files/release-11.11/l4lx/root-arm-ginger.gz" > "http://genode.org/files/release-11.11/l4lx/system-arm-ginger.img" > Do you modify the source code of Android ( Gingerbread) and initramfs? The images are taken from the L4Android project: http://l4android.org/ I think I've modified the initramfs a bit, so that it will use our block device. But to be honest: I can't remember anymore. > Can I run other version of Android（like Ice Cream Sandwich）on Pandaboard? I've never tried that before. It'll depend on, whether the L4Android patch contains all necessary Android patches. Moreover, you'll probably have to build an own Android system image. Maybe you should ask that question on the L4Android mailing list, there is some chance somebody did that work before: http://lists.l4android.org/mailman/listinfo/l4android-dev Regards Stefan > > thanks, > longjks > > > > > > > > > ------------------------------------------------------------------------------ > Precog is a next-generation analytics platform capable of advanced > analytics on semi-structured data. The platform includes APIs for building > apps and a phenomenal toolset for data science. Developers can use > our toolset for easy data analysis & visualization. Get a free account! > http://www2.precog.com/precogplatform/slashdotnewsletter > > > > _______________________________________________ > Genode-main mailing list > Gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ |
|
From: longjks <lo...@16...> - 2013-04-15 12:00:06
|
L4 Bootstrapper
Build: #25 Mon Apr 15 14:00:19 CST 2013, 4.7.2
Scanning up to 1024 MB RAM
Memory size is 1024MB (80000000 - c0000000)
RAM: 0000000080000000 - 00000000bfffffff: 1048576kB
Total RAM: 1024MB
mod17: 817ec000-81850278: genode/ld.lib.so
mod16: 817b4000-817eba00: genode/root-ginger.gz
mod15: 8142e000-817b3250: genode/l4android
mod14: 813f2000-8142dbfc: genode/terminal_log
mod13: 8139c000-813f1ca4: genode/terminal
mod12: 81357000-8139b0f8: genode/part_blk
mod11: 81317000-81356e1c: genode/nit_fb
mod10: 812c8000-81316c48: genode/nitpicker
mod09: 81283000-812c7734: genode/nic_bridge
mod08: 811ed000-81282920: genode/usb_drv
mod07: 811ae000-811ecc78: genode/sd_card_drv
mod06: 81173000-811ad338: genode/omap4_fb_drv
mod05: 81138000-81172e3c: genode/timer
mod04: 810f2000-81137738: genode/init
mod03: 810f0000-810f1123: genode/config
mod02: 81089000-810ef31c: genode/core
mod01: 8107f000-81088374: sigma0
mod00: 81015000-8107e370: /home/android/Genode/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
Moving up to 18 modules behind 81100000
moving module 00 { 81015000-8107e36f } -> { 8193c000-819a536f } [430960]
moving module 01 { 8107f000-81088373 } -> { 819a6000-819af373 } [37748]
moving module 02 { 81089000-810ef31b } -> { 819b0000-81a1631b } [418588]
moving module 03 { 810f0000-810f1122 } -> { 81851000-81852122 } [4387]
moving module 04 { 810f2000-81137737 } -> { 81853000-81898737 } [284472]
moving module 05 { 81138000-81172e3b } -> { 81100000-8113ae3b } [241212]
moving module 06 { 81173000-811ad337 } -> { 8113b000-81175337 } [238392]
moving module 07 { 811ae000-811ecc77 } -> { 81176000-811b4c77 } [257144]
moving module 08 { 811ed000-8128291f } -> { 811b5000-8124a91f } [612640]
moving module 09 { 81283000-812c7733 } -> { 8124b000-8128f733 } [280372]
moving module 10 { 812c8000-81316c47 } -> { 81290000-812dec47 } [322632]
moving module 11 { 81317000-81356e1b } -> { 812df000-8131ee1b } [261660]
moving module 12 { 81357000-8139b0f7 } -> { 8131f000-813630f7 } [278776]
moving module 13 { 8139c000-813f1ca3 } -> { 81364000-813b9ca3 } [351396]
moving module 14 { 813f2000-8142dbfb } -> { 813ba000-813f5bfb } [244732]
moving module 15 { 8142e000-817b324f } -> { 813f6000-8177b24f } [3691088]
moving module 16 { 817b4000-817eb9ff } -> { 8177c000-817b39ff } [227840]
moving module 17 { 817ec000-81850277 } -> { 817b4000-81818277 } [410232]
moving module 03 { 81851000-81852122 } -> { 81819000-8181a122 } [4387]
moving module 04 { 81853000-81898737 } -> { 8181b000-81860737 } [284472]
Scanning /home/android/Genode/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco -serial_esc
Scanning sigma0
Scanning genode/core
Relocated mbi to [0x8100e000-0x8100e2dd]
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, 80001a7f] { a80} Kern de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80002000, 80078fff] { 77000} Kern de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80090000, 8009673b] { 673c} Sigma0 sigma0
[ 80098000, 8009e17b] { 617c} Sigma0 sigma0
[ 80140000, 8028743f] { 147440} Root genode/core
[ 81000000, 810143f3] { 143f4} Boot bootstrap
[ 8100e000, 8100e3da] { 3db} Root Multiboot info
[ 81100000, 81860737] { 760738} Root Module
API Version: (87) experimental
Sigma0 config ip:80090100 sp:81013d24
Roottask config ip:8018af84 sp:00000000
Starting kernel de/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco at 800011c4
L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB
Hello from Startup::stage2
Per_cpu_data_alloc: (orig: 0xf00661f8-0xf0066b68)
Boot_alloc: size=0xc
Boot_alloc: allocated extra memory block @0xf13e1000 (size=400)
Boot_alloc: @ 0xf13e1000
Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0)
Boot_alloc: size=0x80
Boot_alloc: @ 0xf13e1010
Boot_alloc: remaining free block @ 0xf13e1090 (size=370)
Number of IRQs available at this GIC: 160
Boot_alloc: size=0x280
Boot_alloc: @ 0xf13e1090
Boot_alloc: remaining free block @ 0xf13e1310 (size=f0)
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
Startup::stage2 finished
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: rexporte compiled with gcc 4.7.2 for Pandaboard []
Build: #24 Mon Apr 15 14:00:13 CST 2013
Per_cpu_data_alloc: (orig: 0xf00661f8-0xf0066b68)
Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fe08, 0xf11e6000-0xf11e6970)
Number of CPUs: 2
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00661f8-0xf0066b68)
done.
Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180e08, 0xf11e7000-0xf11e7970)
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:80079000;8008ffff]
[0:80097000;80097fff]
[0:8009f000;8013ffff]
[4:80140000;80287fff]
[0:80288000;8100dfff]
[4:8100e000;8100efff]
[0:8100f000;810fffff]
[4:81100000;81860fff]
[0:81861000;beffffff]
IOMEM:----------------------
[0:0;7fffffff]
[0:c0000000;ffffffff]
KIP @ 80002000
magic: 4be6344c
version: 87014444
sigma0 esp: 81013d24 eip: 80090100
sigma1 esp: 00000000 eip: 00000000
root esp: 00000000 eip: 8018af84
MBI @ 8100e000
mod[3] [81819000,8181a123) config
mod[4] [8181b000,81860738) init
mod[5] [81100000,8113ae3c) timer
mod[6] [8113b000,81175338) omap4_fb_drv
mod[7] [81176000,811b4c78) sd_card_drv
mod[8] [811b5000,8124a920) usb_drv
mod[9] [8124b000,8128f734) nic_bridge
mod[10] [81290000,812dec48) nitpicker
mod[11] [812df000,8131ee1c) nit_fb
mod[12] [8131f000,813630f8) part_blk
mod[13] [81364000,813b9ca4) terminal
mod[14] [813ba000,813f5bfc) terminal_log
mod[15] [813f6000,8177b250) l4android
mod[16] [8177c000,817b3a00) root-ginger.gz
mod[17] [817b4000,81818278) ld.lib.so
:ram_alloc: Allocator 80270784 dump:
Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000
Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000fc8
Block: [80000038,80001000) size=00000fc8 avail=00000fc8 max_avail=00000fc8
Block: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4
Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4
Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4
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=3d79f000
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=3d79f000
Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4
Block: [80288000,8100e000) size=00d86000 avail=00d86000 max_avail=3d79f000
Block: [8100f000,81100000) size=000f1000 avail=000f1000 max_avail=3d79f000
Block: [81861000,bf000000) size=3d79f000 avail=3d79f000 max_avail=3d79f000
=> mem_size=1047330816 (998 MB) / mem_avail=1047330368 (998 MB)
:region_alloc: Allocator 802718f4 dump:
Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000
Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000
Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000
Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000
=> mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB)
:io_mem: Allocator 80270be0 dump:
Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000
Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff
=> mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB)
:io_port: Allocator 8027103c dump:
:irq: Allocator 80271498 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 802721a8 dump:
Rom: [8113b000,81175338) omap4_fb_drv
Rom: [8124b000,8128f734) nic_bridge
Rom: [813f6000,8177b250) l4android
Rom: [8181b000,81860738) init
Rom: [81819000,8181a123) config
Rom: [80002000,80003000) kip
Rom: [80002000,80003000) l4v2_kip
Rom: [817b4000,81818278) ld.lib.so
Rom: [81290000,812dec48) nitpicker
Rom: [812df000,8131ee1c) nit_fb
Rom: [81364000,813b9ca4) terminal
Rom: [8177c000,817b3a00) root-ginger.gz
Rom: [8131f000,813630f8) part_blk
Rom: [81176000,811b4c78) sd_card_drv
Rom: [81100000,8113ae3c) timer
Rom: [813ba000,813f5bfc) terminal_log
Rom: [811b5000,8124a920) usb_drv
:core ranges: Allocator 80273f08 dump:
Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000
Block: [80079000,80090000) size=00017000 avail=00017000 max_avail=00017000
Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff1000
Block: [8009f000,8100e000) size=00f6f000 avail=00f6f000 max_avail=3dff1000
Block: [8100f000,bf000000) size=3dff1000 avail=3dff1000 max_avail=3dff1000
=> mem_size=1056411648 (1007 MB) / mem_avail=1056411648 (1007 MB)
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 998 MB to init
int main(): --- init created, waiting for exit condition ---
[init -> sd_card_drv] --- OMAP4 SD card driver ---
[init -> log_term] int main(int, char**): --- terminal service started ---
[init -> android_term] int main(int, char**): --- terminal service started ---
[init -> nic_bridge] Could not open file "config"
[init -> nic_bridge] Could not obtain config file
[init -> usb_drv] void start_usb_driver(): No <storage> config node found - not starting the USB Storage (Block) service
[init -> l4android] Booting L4Linux ...
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> sd_card_drv] CID: 0x3300d3f1 0x80060f63 0x55303447 0x03534453
[init -> sd_card_drv] RCA: 0xaaaa
[init -> l4android] ======> L4Linux starting... <========
[init -> l4android] Linux version 3.5.0-l4-gbf83cc8-dirty (android@ubuntu) (gcc version 4.7.2 (GCC) ) #26 SMP Mon Apr 15 13:59:57 CST 2013
[init -> l4android] Binary name: vmlinux
[init -> l4android] This is an AEABI build.
[init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0 l4x_rd=root-ginger.gz
[init -> sd_card_drv] SD card detected
[init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB].
[init -> sd_card_drv] capacity: 3781 MiB
[init -> l4android] Areas: Text: 01000000 - 01350000 [3392kB] (a bit longer)
[init -> nitpicker] framebuffer is 1024x768@1
[init -> l4android] Data: 01350000 - 0137cc38 [179kB]
[init -> l4android] Initdata: 0132a000 - 0134f4c0 [149kB]
[init -> l4android] BSS: 0137d000 - 013c24dc [277kB]
[init -> nitpicker] create session with args: fb_width=640, fb_height=480, fb_format=1, label="android_fb", ram_quota=622592
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init -> nitpicker] create session with args: fb_width=1024, fb_height=268, fb_format=1, label="android_term_fb", ram_quota=557056
[init -> nitpicker] create session with args: fb_width=380, fb_height=480, fb_format=1, label="log_term_fb", ram_quota=372992
[init -> android_fb] using xywh=(0,0,640,480) refresh_rate=25
[init -> android_term_fb] using xywh=(0,482,1024,268) refresh_rate=25
[init -> log_term_fb] using xywh=(642,0,380,480) refresh_rate=25
[init -> part_blk] Partition 1: LBA 2048 (262144 blocks) type: b
[init -> part_blk] Partition 2: LBA 264192 (1048576 blocks) type: 83
[init -> part_blk] Partition 3: LBA 1312768 (2097152 blocks) type: 83
[init -> android_term] Could not open file "config"
[init -> android_term] Could not obtain config file
[init -> android_term] cell size is 8x16
[init -> log_term] Could not open file "config"
[init -> log_term] Could not obtain config file
[init -> log_term] cell size is 8x16
[init -> log_term] create terminal session
[init -> log_term] new terminal session:
[init -> log_term] framebuffer has 380x480 pixels
[init -> log_term] character size is 8x16 pixels
[init -> log_term] terminal size is 47x30 characters
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] Device scan:
[init -> l4android] l4io_iterate_devices: Not implemented yet!
[init -> l4android] Device scan done.
[init -> l4android] 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 -> l4android] thread=c000 cpu=0
[init -> l4android] l4x_setup_memory: Forcing superpages for main memory
[init -> l4android] l4re_global_env: 0
[init -> l4android] Main thread running, waiting...
[init -> l4android] Main memory size: 128MB
unmapping of managed dataspaces not yet supported
[init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB]
[init -> l4android] Main memory: Phys: 0x00000000 to 0x08000000, Size: 134217728
[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 -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1329e43
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1350000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13c24db
[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 -> l4android] l4timer: Using IRQ210
[init -> android_term] create terminal session
[init -> android_term] new terminal session:
[init -> android_term] framebuffer has 1024x268 pixels
[init -> android_term] character size is 8x16 pixels
[init -> android_term] terminal size is 128x16 characters
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bb8
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bb8
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] l4io_iterate_devices: Not implemented yet!
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> part_blk] upgrading quota donation for SIGNAL session
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> l4android] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: OMAP-EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> usb_drv] upgrading quota donation for SIGNAL session
[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: New USB device found, idVendor=1d6b, idProduct=0002
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 3 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] dev_info: USB hub found
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> usb_drv] upgrading quota donation for SIGNAL session
[init -> usb_drv] dev_info: 5 ports detected
[init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-omap
[init -> usb_drv] translation virt->phys 18010f0->ffffffff failed, return ip 1059a10
[init -> usb_drv] translation virt->phys 18010f0->ffffffff failed, return ip 1059a10
[init -> usb_drv] translation virt->phys 18010f0->ffffffff failed, return ip 1059a10
[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0
[init -> usb_drv] dev_info: new high-speed USB device number 4 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02
[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing
[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10a1ea4M
Quota exceeded! amount=12288, size=4096, consumed=12288
[init -> usb_drv] upgrading quota donation for SIGNAL session
Quota exceeded! amount=4096, size=4096, consumed=4096
[init -> nic_bridge] upgrading quota donation for SIGNAL session
[init -> nic_bridge] virtual Net::Session_component* Net::Root::_create_session(const char*): Invalid session request, no matching policy
Quota exceeded! amount=8192, size=4096, consumed=8192
[init -> l4android] upgrading quota donation for SIGNAL session
[init -> l4android] Terminating L4Linux.
[init -> l4android] Still alive, going zombie???
|
|
From: Stefan K. <ste...@ge...> - 2013-04-26 12:49:03
|
Hi, sorry for my late response! On 04/15/2013 01:59 PM, longjks wrote: > hi, > I am working to make Android4.0.4 boot on PandaBoard. However the > l4android stop unexpected. > I can see some page-fault error in the android_term, but I can not save > it from android_term. > !WARN: rild: Page-fault above task size: pfa=ffff00c0 pc=b7b02758 > !0:ffff00b4 00000005 00000000 ffff00b4 4:b7b2e004 00000005 00000004 0000ab1c > !8:b0012fa8 b7b31000 00050000 b7aec000 12:00000000 bf4d56d8 b0003a43 > b7ba5758 > !CPSR:40000130 Err:0041000f > What does this error mean? Well, that error is printed by the Linux kernel, and informs you about the pagefault of one of its user tasks. The rild process (radio interface layer daemon of Android) caused a pagefault. I recommend to first examine the corresponding binary (/system/bin/rild ?) what's going on at address 0xb7b02758. > last mail, Stefan said: >>well, from the log I only can see, there is probably still a thread that >>exceeds its stack. You can enter the kernel-debugger yourself (pressing >>ESC in the serial terminal), and press "lp" to show the process list. >>One thread will wait for the pager of the system, thereby you can >>identify the component that raised the fault. > How to decide which thread is waiting for the pager of the system? You've to distinct L4Linux processes here from native L4 processes. As I said, above error message comes from the Linux kernel. The para-virtualized L4Linux kernel uses a special feature of the Fiasco.OC kernel, namely the VCPU, to implement its own scheduling, and exception mechanisms. A virtual CPU, or short VCPU, is a special thread. When associated with Fiasco.OC IRQ objects, its execution can be interrupted. Moreover, it's possible to run one and the same VCPU in different address spaces (L4 tasks). Therefore, VCPUs enable implementation of CPU virtualization in L4Linux, more easily and effectively in contrast to the formerly used model, where all Linux processes where mapped to L4 threads. As a consequence, all Linux threads (including kernel threads) that run on top of the same CPU in Linux are seen as one and the same thread in the Fiasco.OC kernel debugger. Thereby the Fiasco.OC kernel debugger mostly isn't the right place to debug Linux userland problems. Instead you should either try the Android Debug Bridge, or strace, gdb etc. from within your Android initramfs. If that all doesn't help, you might instrument the L4Linux kernel to find out what happens. > Do you have some help doc for debugging？ I'm afraid no we haven't. In fact we're just users of the Fiasco.OC kernel too. The actual development of the Fiasco.OC and L4Linux kernel isn't done by the Genode community, but by TU-Dresden and the l4-hackers community. Nevertheless, AFAIK there isn't such a document available. > > By the way, You can see my log in attachment. > > thanks. > > > > > > > > > ------------------------------------------------------------------------------ > Precog is a next-generation analytics platform capable of advanced > analytics on semi-structured data. The platform includes APIs for building > apps and a phenomenal toolset for data science. Developers can use > our toolset for easy data analysis & visualization. Get a free account! > http://www2.precog.com/precogplatform/slashdotnewsletter > > > > _______________________________________________ > Genode-main mailing list > Gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ |
|
From: longjks <lo...@16...> - 2013-04-16 13:17:49
|
hi, I am working on genode-13.02, from the source code, I can find that it used the l4android 3.5. >From the l4android.org, I can see that l4android has update to 3.6. Do you have plan to update l4android to 3.6 in the next version of genode? |
|
From: longjks <lo...@16...> - 2013-05-29 15:13:31
Attachments:
l4android.run
|
U-Boot 2013.01.-rc1 (Mar 07 2013 - 09:44:14)
CPU : OMAP4460 ES1.1
Board: OMAP4 Panda
I2C: ready
DRAM: 1 GiB
MMC: OMAP SD/MMC: 0
Using default environment
In: serial
Out: serial
Err: serial
Net: No ethernet found.
checking for preEnv.txt
reading preEnv.txt
** Unable to read file preEnv.txt **
Hit any key to stop autoboot: 3 2 0
Panda # s usb start
(Re)start USB...
USB0: USB EHCI 1.00
scanning bus 0 for devices... 4 USB Device(s) found
scanning usb for storage devices... 0 Storage Device(s) found
scanning usb for ethernet devices... 1 Ethernet Device(s) found
Panda # dhcp
Waiting for Ethernet connection... done.
BOOTP broadcast 1
*** Unhandled DHCP Option in OFFER/ACK: 7
*** Unhandled DHCP Option in OFFER/ACK: 44
*** Unhandled DHCP Option in OFFER/ACK: 7
*** Unhandled DHCP Option in OFFER/ACK: 44
DHCP client bound to address 192.168.1.200
Using sms0 device
TFTP from server 192.168.1.8; our IP address is 192.168.1.200
Filename 'image.elf'.
Load address: 0x82000000
Loading: *#################################################################
#################################################################
#################################################################
#################################################################
#################################################################
#################################################################
#################################################################
#################################################################
#################################################################
########################################################
done
Bytes transferred = 9396604 (8f617c hex)
Panda # go 82000000
## Starting application at 0x82000000 ...
L4 Bootstrapper
Build: #36 Thu May 16 17:17:38 CST 2013, 4.7.2
Scanning up to 1024 MB RAM
Memory size is 1024MB (80000000 - c0000000)
RAM: 0000000080000000 - 00000000bfffffff: 1048576kB
Total RAM: 1024MB
mod19: 81889000-818ed278: genode/ld.lib.so
mod18: 81843000-81888c00: genode/root-ginger.gz
mod17: 814b2000-81842250: genode/l4android
mod16: 81476000-814b1bfc: genode/terminal_log
mod15: 81420000-81475ca4: genode/terminal
mod14: 813db000-8141f0f8: genode/part_blk
mod13: 8139b000-813dae1c: genode/nit_fb
mod12: 8134c000-8139ac48: genode/nitpicker
mod11: 81307000-8134b734: genode/nic_bridge
mod10: 812c7000-8130658c: genode/kdb_uart_drv
mod09: 8122f000-812c6e90: genode/usb_drv
mod08: 811f0000-8122ec78: genode/sd_card_drv
mod07: 811b3000-811ef984: genode/omap4_fb_drv
mod06: 81173000-811b2748: genode/omap4_gpio_drv
mod05: 81138000-81172e3c: genode/timer
mod04: 810f2000-81137738: genode/init
mod03: 810f0000-810f1319: genode/config
mod02: 81089000-810ef31c: genode/core
mod01: 8107f000-81088374: sigma0
mod00: 81015000-8107e4b0: /home/android/longjks_new/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
Moving up to 20 modules behind 81100000
moving module 00 { 81015000-8107e4af } -> { 819d9000-81a424af } [431280]
moving module 01 { 8107f000-81088373 } -> { 81a43000-81a4c373 } [37748]
moving module 02 { 81089000-810ef31b } -> { 81a4d000-81ab331b } [418588]
moving module 03 { 810f0000-810f1318 } -> { 818ee000-818ef318 } [4889]
moving module 04 { 810f2000-81137737 } -> { 818f0000-81935737 } [284472]
moving module 05 { 81138000-81172e3b } -> { 81100000-8113ae3b } [241212]
moving module 06 { 81173000-811b2747 } -> { 8113b000-8117a747 } [259912]
moving module 07 { 811b3000-811ef983 } -> { 8117b000-811b7983 } [248196]
moving module 08 { 811f0000-8122ec77 } -> { 811b8000-811f6c77 } [257144]
moving module 09 { 8122f000-812c6e8f } -> { 811f7000-8128ee8f } [622224]
moving module 10 { 812c7000-8130658b } -> { 8128f000-812ce58b } [259468]
moving module 11 { 81307000-8134b733 } -> { 812cf000-81313733 } [280372]
moving module 12 { 8134c000-8139ac47 } -> { 81314000-81362c47 } [322632]
moving module 13 { 8139b000-813dae1b } -> { 81363000-813a2e1b } [261660]
moving module 14 { 813db000-8141f0f7 } -> { 813a3000-813e70f7 } [278776]
moving module 15 { 81420000-81475ca3 } -> { 813e8000-8143dca3 } [351396]
moving module 16 { 81476000-814b1bfb } -> { 8143e000-81479bfb } [244732]
moving module 17 { 814b2000-8184224f } -> { 8147a000-8180a24f } [3736144]
moving module 18 { 81843000-81888bff } -> { 8180b000-81850bff } [285696]
moving module 19 { 81889000-818ed277 } -> { 81851000-818b5277 } [410232]
moving module 03 { 818ee000-818ef318 } -> { 818b6000-818b7318 } [4889]
moving module 04 { 818f0000-81935737 } -> { 818b8000-818fd737 } [284472]
Scanning /home/android/longjks_new/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco -serial_esc
Scanning sigma0
Scanning genode/core
Relocated mbi to [0x8100e000-0x8100e32c]
Loading ew/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, 80001a7f] { a80} Kern ew/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80002000, 80078fff] { 77000} Kern ew/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco
[ 80090000, 8009673b] { 673c} Sigma0 sigma0
[ 80098000, 8009e17b] { 617c} Sigma0 sigma0
[ 80140000, 8028743f] { 147440} Root genode/core
[ 81000000, 810143f3] { 143f4} Boot bootstrap
[ 8100e000, 8100e429] { 42a} Root Multiboot info
[ 81100000, 818fd737] { 7fd738} Root Module
API Version: (87) experimental
Sigma0 config ip:80090100 sp:81013d24
Roottask config ip:8018af84 sp:00000000
Starting kernel ew/genode-master/build.foc_panda/kernel/fiasco.oc/fiasco at 800011c4
L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0
L2: Type L2C-310 Size = 1024kB
Hello from Startup::stage2
Per_cpu_data_alloc: (orig: 0xf0066338-0xf0066ca8)
Boot_alloc: size=0xc
Boot_alloc: allocated extra memory block @0xf13e1000 (size=400)
Boot_alloc: @ 0xf13e1000
Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0)
Boot_alloc: size=0x80
Boot_alloc: @ 0xf13e1010
Boot_alloc: remaining free block @ 0xf13e1090 (size=370)
Number of IRQs available at this GIC: 160
Boot_alloc: size=0x280
Boot_alloc: @ 0xf13e1090
Boot_alloc: remaining free block @ 0xf13e1310 (size=f0)
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
Startup::stage2 finished
SERIAL ESC: allocated IRQ 106 for serial uart
Not using serial hack in slow timer handler.
[1;32mWelcome to Fiasco.OC (arm)!
[0;32mL4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden
Rev: rexporte compiled with gcc 4.7.2 for Pandaboard []
Build: #2 Thu May 16 15:26:19 CST 2013
[0m
Per_cpu_data_alloc: (orig: 0xf0066338-0xf0066ca8)
Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fcc8, 0xf11e6000-0xf11e6970)
Number of CPUs: 2
Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf0066338-0xf0066ca8)
done.
Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180cc8, 0xf11e7000-0xf11e7970)
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:80079000;8008ffff]
[0:80097000;80097fff]
[0:8009f000;8013ffff]
[4:80140000;80287fff]
[0:80288000;8100dfff]
[4:8100e000;8100efff]
[0:8100f000;810fffff]
[4:81100000;818fdfff]
[0:818fe000;beffffff]
IOMEM:----------------------
[0:0;7fffffff]
[0:c0000000;ffffffff]
KIP @ 80002000
magic: 4be6344c
version: 87014444
sigma0 esp: 81013d24 eip: 80090100
sigma1 esp: 00000000 eip: 00000000
root esp: 00000000 eip: 8018af84
MBI @ 8100e000
mod[3] [818b6000,818b7319) config
mod[4] [818b8000,818fd738) init
mod[5] [81100000,8113ae3c) timer
mod[6] [8113b000,8117a748) omap4_gpio_drv
mod[7] [8117b000,811b7984) omap4_fb_drv
mod[8] [811b8000,811f6c78) sd_card_drv
mod[9] [811f7000,8128ee90) usb_drv
mod[10] [8128f000,812ce58c) kdb_uart_drv
mod[11] [812cf000,81313734) nic_bridge
mod[12] [81314000,81362c48) nitpicker
mod[13] [81363000,813a2e1c) nit_fb
mod[14] [813a3000,813e70f8) part_blk
mod[15] [813e8000,8143dca4) terminal
mod[16] [8143e000,81479bfc) terminal_log
mod[17] [8147a000,8180a250) l4android
mod[18] [8180b000,81850c00) root-ginger.gz
mod[19] [81851000,818b5278) ld.lib.so
:ram_alloc: Allocator 80270784 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=00016fe4
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: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4
Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4
Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4
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=3d702000
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=3d702000
Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4
Block: [80288000,8100e000) size=00d86000 avail=00d86000 max_avail=3d702000
Block: [8100f000,81100000) size=000f1000 avail=000f1000 max_avail=3d702000
Block: [818fe000,bf000000) size=3d702000 avail=3d702000 max_avail=3d702000
=> mem_size=1046687744 (998 MB) / mem_avail=1046686216 (998 MB)
:region_alloc: Allocator 802718f4 dump:
Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000
Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000
Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000
Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000
=> mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB)
:io_mem: Allocator 80270be0 dump:
Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000
Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000
Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000
Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000
Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000
Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff
=> mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB)
:io_port: Allocator 8027103c dump:
:irq: Allocator 80271498 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 802721a8 dump:
Rom: [81314000,81362c48) nitpicker
Rom: [80002000,80003000) l4v2_kip
Rom: [818b8000,818fd738) init
Rom: [818b6000,818b7319) config
Rom: [80002000,80003000) kip
Rom: [8128f000,812ce58c) kdb_uart_drv
Rom: [8147a000,8180a250) l4android
Rom: [812cf000,81313734) nic_bridge
Rom: [81851000,818b5278) ld.lib.so
Rom: [81363000,813a2e1c) nit_fb
Rom: [811b8000,811f6c78) sd_card_drv
Rom: [8113b000,8117a748) omap4_gpio_drv
Rom: [8117b000,811b7984) omap4_fb_drv
Rom: [813a3000,813e70f8) part_blk
Rom: [8180b000,81850c00) root-ginger.gz
Rom: [81100000,8113ae3c) timer
Rom: [813e8000,8143dca4) terminal
Rom: [8143e000,81479bfc) terminal_log
Rom: [811f7000,8128ee90) usb_drv
:core ranges: Allocator 80273f08 dump:
Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000
Block: [80079000,80090000) size=00017000 avail=00017000 max_avail=00017000
Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff1000
Block: [8009f000,8100e000) size=00f6f000 avail=00f6f000 max_avail=3dff1000
Block: [8100f000,bf000000) size=3dff1000 avail=3dff1000 max_avail=3dff1000
=> mem_size=1056411648 (1007 MB) / mem_avail=1056411648 (1007 MB)
int main(): [33m--- create local services ---[0m
int main(): [33m--- start init ---[0m
int main(): [33mtransferred 998 MB to init[0m
int main(): [33m--- init created, waiting for exit condition ---[0m
[init] parent provides
[init] service "ROM"
[init] service "RAM"
[init] service "IRQ"
[init] service "IO_MEM"
[init] service "IO_PORT"
[init] service "CAP"
[init] service "PD"
[init] service "RM"
[init] service "CPU"
[init] service "LOG"
[init] service "SIGNAL"
[init] child "timer"
[init] RAM quota: 884736
[init] ELF binary: timer
[init] priority: 0
[init] provides service Timer
[init] child "omap4_gpio_drv"
[init] RAM quota: 884736
[init] ELF binary: omap4_gpio_drv
[init] priority: 0
[init] provides service Gpio
[init] child "fb_drv"
[init] RAM quota: 4030464
[init] ELF binary: omap4_fb_drv
[init] priority: 0
[init] provides service Framebuffer
[init] child "usb_drv"
[init] RAM quota: 12419072
[init] ELF binary: usb_drv
[init] priority: 0
[init] provides service Input
[init] provides service Nic
[init] provides service Block
[init] child "sd_card_drv"
[init] RAM quota: 4030464
[init] ELF binary: sd_card_drv
[init] priority: 0
[init] provides service Block
[init] child "part_blk"
[init] RAM quota: 1933312
[init] ELF binary: part_blk
[init] priority: 0
[init] provides service Block
[init] child "nic_bridge"
[init] RAM quota: 1933312
[init] ELF binary: nic_bridge
[init] priority: 0
[init] provides service Nic
[init] child "nitpicker"
[init] RAM quota: 1933312
[init] ELF binary: nitpicker
[init] priority: 0
[init] provides service Nitpicker
[init] child "uart_drv"
[init] RAM quota: 884736
[init] ELF binary: kdb_uart_drv
[init] priority: 0
[init] provides service Uart
[init] provides service Terminal
[init] child "android_fb"
[init] RAM quota: 4030464
[init] ELF binary: nit_fb
[init] priority: 0
[init] provides service Framebuffer
[init] provides service Input
[init] child "android_term_fb"
[init] RAM quota: 4030464
[init] ELF binary: nit_fb
[init] priority: 0
[init] provides service Framebuffer
[init] provides service Input
[init] child "log_term_fb"
[init] RAM quota: 4030464
[init] ELF binary: nit_fb
[init] priority: 0
[init] provides service Framebuffer
[init] provides service Input
[init] child "android_term"
[init] RAM quota: 884736
[init] ELF binary: terminal
[init] priority: 0
[init] provides service Terminal
[init] child "log_term"
[init] RAM quota: 884736
[init] ELF binary: terminal
[init] priority: 0
[init] provides service Terminal
[init] child "terminal_log"
[init] RAM quota: 884736
[init] ELF binary: terminal_log
[init] priority: 0
[init] provides service LOG
[init] child "l4android"
[init] RAM quota: 536707072
[init] ELF binary: l4android
[init] priority: 0
[init -> sd_card_drv] --- OMAP4 SD card driver ---
[init] child "sd_card_drv" announces service "Block"
[init -> log_term] int main(int, char**): [33m--- terminal service started ---[0m
[init] child "timer" announces service "Timer"
[init -> android_term] int main(int, char**): [33m--- terminal service started ---[0m
[init -> uart_drv] --- Fiasco(.OC) KDB UART driver started ---
[init -> omap4_gpio_drv] --- omap4 gpio driver ---
[init] child "uart_drv" announces service "Uart"
[init] child "uart_drv" announces service "Terminal"
[init -> fb_drv] --- omap4 framebuffer driver ---
[init -> nic_bridge] [31mCould not open file "config"[0m
[init -> nic_bridge] [31mCould not obtain config file[0m
[init -> sd_card_drv] [33mCID: 0x3300d3f1 0x80060f63 0x55303447 0x03534453[0m
[init -> sd_card_drv] [33mRCA: 0xaaaa[0m
[init -> sd_card_drv] [33mSD card detected[0m
[init -> sd_card_drv] [33mcapacity: 3781 MiB[0m
[init] child "usb_drv" announces service "Input"
[init -> usb_drv] void start_usb_driver(): [33mNo <storage> config node found - not starting the USB Storage (Block) service[0m
[init -> omap4_gpio_drv] int main(int, char**): [33mgpio 50 mode O value=0[0m
[init -> l4android] [32mBooting L4Linux ...[0m
[init] child "omap4_gpio_drv" announces service "Gpio"
[init] child "fb_drv" announces service "Framebuffer"
[init -> nitpicker] [32mframebuffer is 800x480@1
[0m[init] child "nitpicker" announces service "Nitpicker"
[init -> nitpicker] [32mcreate session with args: fb_width=640, fb_height=480, fb_format=1, label="android_fb", ram_quota=622592
[0m[init -> nitpicker] [31mCould not open file "config"[0m
[init -> nitpicker] [31mCould not obtain config file[0m
[init -> part_blk] [32mPartition 1: LBA 2048 (262144 blocks) type: b[0m
[init -> part_blk] [32mPartition 2: LBA 264192 (1048576 blocks) type: 83[0m
[init -> part_blk] [32mPartition 3: LBA 1312768 (2097152 blocks) type: 83[0m
[init -> nitpicker] [32mcreate session with args: fb_width=380, fb_height=480, fb_format=1, label="android_term_fb", ram_quota=372992
[0m[init] child "part_blk" announces service "Block"
[init -> nitpicker] [32mcreate session with args: fb_width=1024, fb_height=268, fb_format=1, label="log_term_fb", ram_quota=557056
[0m[init -> android_fb] [32musing xywh=(0,0,640,480) refresh_rate=25[0m
[init -> android_term_fb] [32musing xywh=(642,0,380,480) refresh_rate=25[0m
[init -> log_term_fb] [32musing xywh=(0,482,1024,268) refresh_rate=25[0m
[init -> usb_drv] [32mUsing configured mac: 2e:60:90:0c:4e:02[0m
[init -> l4android] [34;1m======> L4Linux starting... <========[0m
[init -> l4android] Linux version 3.6.0-l4 (android@ubuntu) (gcc version 4.7.2 (GCC) ) #6 SMP Thu May 16 17:17:18 CST 2013
[init -> l4android] Binary name: vmlinux
[init -> l4android] This is an AEABI build.
[init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0 l4x_rd=root-ginger.gz
[init] child "android_fb" announces service "Framebuffer"
[init] child "android_fb" announces service "Input"
[init] child "android_term_fb" announces service "Framebuffer"
[init] child "android_term_fb" announces service "Input"
[init] child "log_term_fb" announces service "Framebuffer"
[init] child "log_term_fb" announces service "Input"
[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 - 01387c38 [167kB]
[init -> l4android] Initdata: 01337000 - 0135c7c0 [149kB]
[init -> l4android] BSS: 01388000 - 013cd7ac [277kB]
[init -> android_term] [31mCould not open file "config"[0m
[init -> android_term] [31mCould not obtain config file[0m
[init -> android_term] cell size is 8x16
[init] child "android_term" announces service "Terminal"
[init -> log_term] [31mCould not open file "config"[0m
[init -> log_term] [31mCould not obtain config file[0m
[init -> log_term] cell size is 8x16
[init] child "log_term" announces service "Terminal"
[init -> log_term] create terminal session
[init -> log_term] new terminal session:
[init -> log_term] framebuffer has 1024x268 pixels
[init -> log_term] character size is 8x16 pixels
[init -> log_term] terminal size is 128x16 characters
[init] child "terminal_log" announces service "LOG"
[init -> l4android] [34ml4io_get_root_device: Not implemented yet![0m
[init -> l4android] Device scan:
[init -> l4android] [34ml4io_iterate_devices: Not implemented yet![0m
[init -> l4android] Device scan done.
[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] [34mCannot determine physical address for dataspace Binary![0m
[init -> l4android] error: failed to get physical address for 1000000.
[init -> l4android] Main thread running, waiting...
[init -> l4android] thread=c000 cpu=0
[init -> l4android] l4x_setup_memory: Forcing superpages for main memory
[init -> l4android] l4re_global_env: 0
[init -> l4android] Main memory size: 128MB
[34munmapping of managed dataspaces not yet supported[0m
[init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB]
[init -> l4android] Main memory: Phys: 0x00000000 to 0x08000000, Size: 134217728
[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] [34mCannot determine physical address for dataspace Binary![0m
[init -> l4android] error: failed to get physical address for 1000000.
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1336e43
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 135e000
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13cd7ab
[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 280KiB
[init -> l4android] RAMdisk from 00005000 to 0004b000 [280KiB]
[init -> l4android] l4timer: Using IRQ210
[1;199r[199;255H[6n[1;25r[25;1H
[32m ---------------------------------------------------------------------[m
CPU 0 [f0034608]: IRQ ENTRY
CPU 1 [f000b568]: IPI ENTRY
[25;1H[32m[ uart_ep] jdb: [m[K[K[[K5[K7[K;[K1[K7[K7[KR [l]ist/[a]ttach: g[1;25r[25;1H[32m[ uart_ep] jdb: [m[K[Kg[1;127r[25;1f[127;1H
Booting Linux on physical CPU 0
Linux version 3.6.0-l4 (android@ubuntu) (gcc version 4.7.2 (GCC) ) #6 SMP Thu May 16 17:17:18 CST 2013
CPU: Fiasco [860f0001] revision 1 (ARMv7), cr=00000000
CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache
Machine: L4
Memory policy: ECC disabled, Data cache writealloc
INITRD: 00005000 - 0004b000
PERCPU: Embedded 7 pages/cpu @08203000 s6080 r8192 d14400 u32768
Built 1 zonelists in Zone order, mobility grouping on. Total pages: 33281
Kernel command line: mem=128M console=ttyS0 l4x_rd=root-ginger.gz
PID hash table entries: 1024 (order: 0, 4096 bytes)
Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)
Memory: 0MB 4MB 128MB = 132MB total
Memory: 129732k/129732k available, 5440k reserved, 0K highmem
Virtual kernel memory layout:
vector : 0xbffff000 - 0xc0000000 ( 4 kB)
fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB)
vmalloc : 0x10000000 - 0x18000000 ( 128 MB)
lowmem : 0x00000000 - 0x10000000 ( 256 MB)
modules : 0x00010000 - 0x01000000 ( 15 MB)
.text : 0x01000000 - 0x01336e44 (3292 kB)
.init : 0x01337000 - 0x0135c7c0 ( 150 kB)
.data : 0x0135e000 - 0x01387c38 ( 168 kB)
.bss : 0x01388000 - 0x013cd7ac ( 278 kB)
Hierarchical RCU implementation.
RCU restricting CPUs from NR_CPUS=4 to nr_cpu_ids=1.
NR_IRQS:220
l4timer: Using IRQ210
sched_clock: 32 bits at 100 Hz, resolution 10000000ns, wraps every 4294967286ms
Console: colour dummy device 80x30
console [ttyS0] enabled
Calibrating delay loop... 1902.18 BogoMIPS (lpj=9510912)
pid_max: default: 32768 minimum: 301
Mount-cache hash table entries: 512
CPU: Testing write buffer coherency: ok
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1241260
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1241260
Setting up static identity map for 0x1241260 - 0x1241260
Brought up 1 CPUs
SMP: Total of 1 processors activated (1902.18 BogoMIPS).
NET: Registered protocol family 16
DMA: preallocated 256 KiB pool for atomic coherent allocations
[init -> l4android] [34ml4io_get_root_device: Not implemented yet![0m
[init -> l4android] [34ml4io_iterate_devices: Not implemented yet![0m
bio: create slab <bio-0> at 0
Advanced Linux Sound Architecture Driver Version 1.0.25.
Switching to clocksource l4kipclk
NET: Registered protocol family 2
TCP established hash table entries: 8192 (order: 4, 65536 bytes)
TCP bind hash table entries: 8192 (order: 4, 65536 bytes)
TCP: Hash tables configured (established 8192 bind 8192)
TCP: reno registered
UDP hash table entries: 256 (order: 1, 8192 bytes)
UDP-Lite hash table entries: 256 (order: 1, 8192 bytes)
NET: Registered protocol family 1
Trying to unpack rootfs image as initramfs...
INITRD: Freeing memory.
[init -> l4android] l4x_virt_to_phys: Could not translate virt. address 7973000
l4x: Checks passed.
msgmni has been set to 253
io scheduler noop registered
io scheduler deadline registered
io scheduler cfq registered (default)
brd: module loaded
mousedev: PS/2 mouse device common for all mice
ashmem: initialized
logger: created 256K log 'log_main'
logger: created 256K log 'log_events'
logger: created 256K log 'log_radio'
logger: created 256K log 'log_system'
ttyS0 at MMIO 0x1 (irq = 211) is a L4
rtc-genode rtc-genode.0: rtc core: registered rtc-genode as rtc0
genode_fb:framebuffer at 0x00080000, size 600k
genode_fb: mode is 640x480x16
Console: switching to colour frame buffer device 80x30
input: Genode input key as /devices/virtual/input/input0
input: Genode input mouse as /devices/virtual/input/input1
[34mQuota exceeded! amount=4096, size=4096, consumed=4096[0m
[init -> part_blk] [32mupgrading quota donation for SIGNAL session[0m
[34mQuota exceeded! amount=4096, size=4096, consumed=4096[0m
[init -> l4android] [32mupgrading quota donation for SIGNAL session[0m
sda: unknown partition table
Genode blk-file driver initialized
[init -> usb_drv] dev_info: OMAP-EHCI Host Controller
[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[34mQuota exceeded! amount=4096, size=4096, consumed=4096[0m
[init -> usb_drv] [32mupgrading quota donation for SIGNAL session[0m
[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: New USB device found, idVendor=1d6b, idProduct=0002
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1
[init -> usb_drv] dev_info: USB hub found
[init -> usb_drv] dev_info: 3 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] dev_info: USB hub found
[34mQuota exceeded! amount=8192, size=4096, consumed=8192[0m
[init -> usb_drv] [32mupgrading quota donation for SIGNAL session[0m
[init -> usb_drv] dev_info: 5 ports detected
[init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap
[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00
[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0
[init -> usb_drv] [32mUsing configured mac: 2e:60:90:0c:4e:02[0m
[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing
[init] child "usb_drv" announces service "Nic"
[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10a3ea4M
[34mQuota exceeded! amount=12288, size=4096, consumed=12288[0m
[init -> usb_drv] [32mupgrading quota donation for SIGNAL session[0m
[34mQuota exceeded! amount=4096, size=4096, consumed=4096[0m
[init -> nic_bridge] [32mupgrading quota donation for SIGNAL session[0m
[init] child "nic_bridge" announces service "Nic"
[init -> nic_bridge] virtual Net::Session_component* Net::Root::_create_session(const char*): [33mInvalid session request, no matching policy[0m
[34mQuota exceeded! amount=8192, size=4096, consumed=8192[0m
[init -> l4android] [32mupgrading quota donation for SIGNAL session[0m
TCP: cubic registered
NET: Registered protocol family 17
VFP support v0.3: implementor 41 architecture 3 part 30 variant 9 rev 4
rtc-genode rtc-genode.0: setting system clock to 1970-01-01 00:00:03 UTC (3)
ALSA device list:
#0: Dummy 1
Freeing init memory: 148K
init (1): /proc/1/oom_adj is deprecated, please use /proc/1/oom_score_adj instead.
[init -> usb_drv] dev_info: new full-speed USB device number 4 using ehci-omap
[init -> usb_drv] [31mtranslation virt->phys 18010f0->ffffffff failed, return ip 105b164[0m
[init -> usb_drv] [31mtranslation virt->phys 18010f0->ffffffff failed, return ip 105b164[0m
[init -> usb_drv] [31mtranslation virt->phys 18010f0->ffffffff failed, return ip 105b164[0m
[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000
[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0
init: Timed out waiting for /dev/.coldboot_done
init: service 'console' requires console
init: cannot find '/system/bin/drmserver', disabling 'drm'
init: cannot find '/system/etc/install-recovery.sh', disabling 'flash_recovery'
init: cannot find '/system/bin/drmserver', disabling 'drm'
init: untracked pid 32 exited
init: untracked pid 33 exited
init: untracked pid 34 exited
init: untracked pid 39 exited
init: service 'console' requires console
init: cannot find '/system/bin/drmserver', disabling 'drm'
init: untracked pid 54 exited
init: untracked pid 55 exited
init: untracked pid 56 exited
init: untracked pid 61 exited
init: untracked pid 63 exited
init: critical process 'ueventd' exited 4 times in 4 minutes; rebooting into recovery mode
SysRq : Emergency Remount R/O
Emergency Remount complete
Restarting system with command 'recovery'.
[init -> l4android] Terminating L4Linux.
[init -> l4android] Still alive, going zombie???
|
|
From: Stefan K. <ste...@ge...> - 2013-05-30 11:22:56
|
Hi, On 05/29/2013 05:13 PM, longjks wrote: > I am working on l4android3.6 to start android4.0, now there are some problem in there: the l4android3.6 can not work well > the last log is that: > [init -> l4android] Terminating L4Linux. > [init -> l4android] Still alive, going zombie??? This last log is the outcome of a reboot triggered by the Android userland processes, have a look at the lines above those last ones: init: critical process 'ueventd' exited 4 times in 4 minutes; ... Restarting system with command 'recovery'. Android's init process tells you that the uevent daemon for whatever reasons crashed repeatedly. To investigate the root cause of the problem, you might increase the loglevel of Android's init process (init.rc file) or otherwise instrument your Android initramfs. Normally, you should also be able to connect via Android's debug bridge 'adb' to your Android instance. With it you can use the 'logcat' command to dump the log files. Alternatively, if you aren't able to connect via 'adb', you might add a service to Android's init configuration that dumps the logfiles to the Linux console. Here is a hint how to do that: https://groups.google.com/forum/?fromgroups#!topic/android-kernel/h9kphjznwp4 In general, these are Android porting specific questions, and you'll find probably more Android expertise on an Android specific mailing lists, like e.g. the l4android mailing list: http://lists.l4android.org/mailman/listinfo > I found the patch files in the directory 'ports-foc/patches' and use these patches to l4android3.6. You know that l4android3.6 is different from l4android3.5, so that some patches will not take effect. I have to change these file manually. I am sure I have add all patches to l4android3.6, but it still can not work. Maybe there are some more place to change in l4android3.6. Where you can figure out the problem? Any suggestions would be greatly appreciated. > I know the l4android3.6 is not no your road map, but I still hope to get some suggestions from you. My suggestion is: try to find out the root cause of the problem at first. Why do the Android user processes crash? Mostly, it's not even a kernel source problem, but just a different kernel configuration that is needed. Good luck, and best regards Stefan > You can see the run script and the whole log in the attachment. > thanks. > longjks > > > > > > ------------------------------------------------------------------------------ > Introducing AppDynamics Lite, a free troubleshooting tool for Java/.NET > Get 100% visibility into your production application - at no cost. > Code-level diagnostics for performance bottlenecks with <2% overhead > Download for free and get started troubleshooting in minutes. > http://p.sf.net/sfu/appdyn_d2d_ap1 > > > > _______________________________________________ > Genode-main mailing list > Gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ |
|
From: Stefan K. <ste...@ge...> - 2013-04-09 10:23:20
|
Hi, On 04/06/2013 05:43 AM, longjks wrote: > hi, > >>I've opened a corresponding issue in our tracker: >>https://github.com/genodelabs/genode/issues/705 >>There you'll find a patch to resolve that problem. With that patch in >>place Android boots fine on my Pandaboard. > using this patch, I can not see the error log " Could not resolve > pf=400feff8 ip=10004b8". > Howerver, Android can not boot fine on my Pandaboard. > From the log, I found this code can not work. > In ports-foc/src/lib/l4lx/genode_block.cc,214 line. > !!devices[j] = new (env()->heap()) Block_device(label); > It can not run into the construction function of Block_device. > I think there are something wrong in this three line: > In ports-foc/src/lib/l4lx/genode_block.cc,103-105 line. > !: _alloc(Genode::env()->heap()), > ! _session(&_alloc, TX_BUF_SIZE, label), > ! _irq_cap(L4lx::vcpu_connection()->alloc_irq()) > But i can not know how to fix this wrong. The constructor of the "Block_device" in the L4Linux block para-virtualized driver simply waits for the connection to the Block service. It can't get a connection, because the sd-card driver seems to exit when trying to detect the card. Have a look at this part of your log: [init -> sd_card_drv] Could not detect high-capacity card [init -> sd_card_drv] C++ runtime: Sd_card::Host_controller::Detection_failed Maybe, you're not using a high capacity card? The driver only supports SDHC cards. > >>You can get the whole log by removing the log_term, and use core's LOG >>service for all children instead. Then all logs will appear on serial >>line. We've put the log_term in place in some run-scripts only for >>demonstration purposes, when there is no serial line available. For >>debugging it's often more convenient to use only the serial line. > I can removing the log_term, you can see my whole log in the attachement. > >>The patch you've sent is not complete, it won't build all necessary >>components. > Would you give me you run script for l4android? Have a look here: https://raw.github.com/skalk/genode/l4android-panda/ports-foc/run/l4android_panda.run I've written a simplified version of the l4android.run script for you, which runs on Fiasco.OC/Pandaboard only. > > thanks > 2013-04-06 > ------------------------------------------------------------------------ > longjks > > > > ------------------------------------------------------------------------------ > Minimize network downtime and maximize team effectiveness. > Reduce network management and security costs.Learn how to hire > the most talented Cisco Certified professionals. Visit the > Employer Resources Portal > http://www.cisco.com/web/learning/employer_resources/index.html > > > > _______________________________________________ > Genode-main mailing list > Gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ |
|
From: Stefan K. <ste...@ge...> - 2013-04-10 12:40:28
|
Hi, On 04/10/2013 02:08 PM, longjks wrote: > hi, > > Stefan wrote > >>Maybe, you're not using a high capacity card? The driver only supports >>SDHC cards. > > You are right! I used a sdcard, not SDHC card. Now I used SDHC card to start l4Android on PandaBoard. > > However it still can not boot well. some error like this: > > "virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400fef3c ip=1023ad0" > > Just like you mail said before,you put a patch on the Internet(https://github.com/genodelabs/genode/issues/705). > > Before I use this batch, the sdcard_driver can not find the SDHC card. > After I use this patch, the sdcard_driver can find the SDHC card, but > > there are another error like above. I used the l4android.run script your said, this error is still there. > > I am finding the way to solving this error, maybe you can help me to fix this error. > > You can get the log of using my l4android.run script, my l4android run script. and the log of using your l4android.run script in the attachment. well, from the log I only can see, there is probably still a thread that exceeds its stack. You can enter the kernel-debugger yourself (pressing ESC in the serial terminal), and press "lp" to show the process list. One thread will wait for the pager of the system, thereby you can identify the component that raised the fault. > > By the way, my genode version is 13.02, that is same with you ? I've used current master branch of Genode's Github repository. You can simply checkout the branch, where I've put the run-script into: repo: git://github.com/skalk/genode.git branch: l4android-panda >From your log messages I can see, that you've modified the code, and added at least several print messages. Please, ensure that you take the unmodified version first. > My SDHC card's capacity is 4G. It has three partitions. The first > partition is bootable FAT32 partition, 128M,where I put MIO and > uboot.bin. The second partition is EXTS partition, 256M, where I put > Android system image. The third partition is EXTS partititon, 1000M. > that is OK? You don't need to format the second partition, but the size is ok. Just copy the system-ginger.img file e.g. via "dd" to the second partition. The third partition won't be affected. Regards Stefan > > thanks > > > > > > > > > > ------------------------------------------------------------------------------ > Precog is a next-generation analytics platform capable of advanced > analytics on semi-structured data. The platform includes APIs for building > apps and a phenomenal toolset for data science. Developers can use > our toolset for easy data analysis & visualization. Get a free account! > http://www2.precog.com/precogplatform/slashdotnewsletter > > > > _______________________________________________ > Genode-main mailing list > Gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ |
|
From: longjks <lo...@16...> - 2013-04-17 11:06:35
|
hi, last mail, Stefan said >You can get the whole log by removing the log_term, and use core's LOG >service for all children instead. Then all logs will appear on serial >line. We've put the log_term in place in some run-scripts only for >demonstration purposes, when there is no serial line available. For >debugging it's often more convenient to use only the serial line. By removing the log_term in l4android, I can see the log appear on serial line. How can I make the log on android_term appear on serial line? When I debugging, it is not convenient to use android_term. thanks. longjks |
|
From: Stefan K. <ste...@ge...> - 2013-04-26 12:50:32
|
Hi, On 04/16/2013 03:17 PM, longjks wrote: > hi, > I am working on genode-13.02, from the source code, I can find that it > used the l4android 3.5. > From the l4android.org, I can see that l4android has update to 3.6. Do > you have plan to update l4android to 3.6 in the next > version of genode? concurrently, there is no such item on the road map of the Genode community. But we're always happy about any type of contribution! Regards Stefan > > > > > > > > > > ------------------------------------------------------------------------------ > Precog is a next-generation analytics platform capable of advanced > analytics on semi-structured data. The platform includes APIs for building > apps and a phenomenal toolset for data science. Developers can use > our toolset for easy data analysis & visualization. Get a free account! > http://www2.precog.com/precogplatform/slashdotnewsletter > > > > _______________________________________________ > Genode-main mailing list > Gen...@li... > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/ |
Thanks for helping keep SourceForge clean.
X