<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=us-ascii" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 9.00.8112.16470"><LINK rel=stylesheet
href="BLOCKQUOTE{margin-Top: 0px; margin-Bottom: 0px; margin-Left: 2em}"></HEAD>
<BODY style="MARGIN: 10px; FONT-FAMILY: verdana; FONT-SIZE: 10pt">
<DIV><FONT size=2>Hi, everyone.</FONT></DIV>
<DIV>
<DIV>I got a two_linux_panda.img.gz from
"https://github.com/downloads/nfeske/genode/two_linux_panda.img.gz", I used
it on Pandaboard, i
can see 2 L4Linux through HDMI and use mouse.</DIV>
<DIV> I built a two_linux_panda in my computer with genode-13.02, I got a
image.elf and used it on Pandaboard, but it can not work well.The two l4linux in
it can not started well. Are there someting wrong?</DIV>
<DIV> </DIV>
<DIV>Here is the steps i build the two_linux_panda()</DIV>
<DIV>* clone the git repository</DIV>
<DIV>
<DIV></DIV>
<DIV> git clone git://github.com/genodelabs/genode.git</DIV>
<DIV></DIV>
<DIV>* change to the genode directory</DIV>
<DIV></DIV>
<DIV> cd genode</DIV>
<DIV></DIV>
<DIV>* the Fiasco.OC kernel</DIV>
<DIV></DIV>
<DIV> make -C base-foc prepare</DIV>
<DIV></DIV>
<DIV>* the Linux driver code for the USB stack</DIV>
<DIV></DIV>
<DIV> make -C dde_linux prepare</DIV>
<DIV></DIV>
<DIV>* 3rd-party libraries</DIV>
<DIV></DIV>
<DIV> make -C libports prepare PKG='libc lwip ffat'</DIV>
<DIV></DIV>
<DIV>* L4Linux</DIV>
<DIV></DIV>
<DIV> make -C ports-foc prepare</DIV>
<DIV></DIV>
<DIV>* Create build directory for Fiasco.OC on Pandaboard</DIV>
<DIV></DIV>
<DIV> ./tool/create_builddir foc_panda BUILD_DIR=build</DIV>
<DIV></DIV>
<DIV>* Change into build directory</DIV>
<DIV></DIV>
<DIV> cd build</DIV>
<DIV></DIV>
<DIV>* Configure the build directory, unrecomment the
following line in etc/build.conf:</DIV>
<DIV> REPOSITORIES += $(GENODE_DIR)/dde_linux</DIV>
<DIV> REPOSITORIES+=$(GENODE_DIR)/ports-foc</DIV>
<DIV> REPOSITORIES+=$(GENODE_DIR)/libports</DIV>
<DIV> REPOSITORIES+=$(GENODE_DIR)/gems</DIV>
<DIV></DIV>
<DIV>* Enable parallel build to speed up the build process</DIV>
<DIV></DIV>
<DIV> echo "MAKE += -j4" >> etc/build.conf</DIV>
<DIV></DIV>
<DIV>Issue the
following command from the build directory:</DIV>
<DIV></DIV>
<DIV> make run/two_linux_panda</DIV></DIV>
<DIV> </DIV>
<DIV>I have the log of two_linux_panda.img.gz starting on Pandaboard
below:</DIV>
<DIV>this is log of two_linux_panda.img.gz that I built:</DIV>
<DIV>########################################################################</DIV>
<DIV>
<DIV>## Starting application at 0x82000000 ...</DIV>
<DIV></DIV>
<DIV>L4 Bootstrapper</DIV>
<DIV> Build: #2 Fri Mar 15 08:26:04 CST 2013, 4.7.2</DIV>
<DIV> Scanning up to 1024 MB RAM</DIV>
<DIV> Memory size is 1024MB (80000000 - c0000000)</DIV>
<DIV> RAM: 0000000080000000 - 00000000bfffffff: 1048576kB</DIV>
<DIV> Total RAM: 1024MB</DIV>
<DIV> mod23: 81f57000-81f6ef78: genode/test-libc_ffat</DIV>
<DIV> mod22: 81f4c000-81f56798: genode/test-lwip_httpsrv</DIV>
<DIV> mod21: 81eeb000-81f4b4ec: genode/libc_ffat.lib.so</DIV>
<DIV> mod20: 81ebd000-81eea858: genode/lwip.lib.so</DIV>
<DIV> mod19: 81eba000-81ebc6dc: genode/libc_log.lib.so</DIV>
<DIV> mod18: 81e32000-81eb99c0: genode/libc.lib.so</DIV>
<DIV> mod17: 81dcd000-81e31278: genode/ld.lib.so</DIV>
<DIV> mod16: 81d36000-81dcc7a4: genode/usb_drv</DIV>
<DIV> mod15: 81cf7000-81d35c2c: genode/sd_card_drv</DIV>
<DIV> mod14: 81cbc000-81cf62e0: genode/omap4_fb_drv</DIV>
<DIV> mod13: 81679000-81cbb800: genode/initrd.gz</DIV>
<DIV> mod12: 8131d000-816782d8: genode/l4linux</DIV>
<DIV> mod11: 812e2000-8131cbac: genode/terminal_log</DIV>
<DIV> mod10: 8128c000-812e1c14: genode/terminal</DIV>
<DIV> mod09: 81247000-8128b0a0: genode/part_blk</DIV>
<DIV> mod08: 81207000-81246dc4: genode/nit_fb</DIV>
<DIV> mod07: 811b8000-81206bf0: genode/nitpicker</DIV>
<DIV> mod06: 81173000-811b76ec: genode/nic_bridge</DIV>
<DIV> mod05: 81138000-81172dc0: genode/timer</DIV>
<DIV> mod04: 810f2000-811376e0: genode/init</DIV>
<DIV> mod03: 810f0000-810f1785: genode/config</DIV>
<DIV> mod02: 8108a000-810ef030: genode/core</DIV>
<DIV> mod01: 81080000-81089374: sigma0</DIV>
<DIV> mod00: 81016000-8107f330: /home/android/GeNode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> Moving up to 24 modules behind 81100000</DIV>
<DIV> moving module 00 { 81016000-8107f32f } -> { 82059000-820c232f } [430896]</DIV>
<DIV> moving module 01 { 81080000-81089373 } -> { 820c3000-820cc373 } [37748]</DIV>
<DIV> moving module 02 { 8108a000-810ef02f } -> { 820cd000-8213202f } [413744]</DIV>
<DIV> moving module 03 { 810f0000-810f1784 } -> { 81f6f000-81f70784 } [6021]</DIV>
<DIV> moving module 04 { 810f2000-811376df } -> { 81f71000-81fb66df } [284384]</DIV>
<DIV> moving module 05 { 81138000-81172dbf } -> { 81100000-8113adbf } [241088]</DIV>
<DIV> moving module 06 { 81173000-811b76eb } -> { 8113b000-8117f6eb } [280300]</DIV>
<DIV> moving module 07 { 811b8000-81206bef } -> { 81180000-811cebef } [322544]</DIV>
<DIV> moving module 08 { 81207000-81246dc3 } -> { 811cf000-8120edc3 } [261572]</DIV>
<DIV> moving module 09 { 81247000-8128b09f } -> { 8120f000-8125309f } [278688]</DIV>
<DIV> moving module 10 { 8128c000-812e1c13 } -> { 81254000-812a9c13 } [351252]</DIV>
<DIV> moving module 11 { 812e2000-8131cbab } -> { 812aa000-812e4bab } [240556]</DIV>
<DIV> moving module 12 { 8131d000-816782d7 } -> { 812e5000-816402d7 } [3519192]</DIV>
<DIV> moving module 13 { 81679000-81cbb7ff } -> { 81641000-81c837ff } [6563840]</DIV>
<DIV> moving module 14 { 81cbc000-81cf62df } -> { 81c84000-81cbe2df } [238304]</DIV>
<DIV> moving module 15 { 81cf7000-81d35c2b } -> { 81cbf000-81cfdc2b } [257068]</DIV>
<DIV> moving module 16 { 81d36000-81dcc7a3 } -> { 81cfe000-81d947a3 } [616356]</DIV>
<DIV> moving module 17 { 81dcd000-81e31277 } -> { 81d95000-81df9277 } [410232]</DIV>
<DIV> moving module 18 { 81e32000-81eb99bf } -> { 81dfa000-81e819bf } [555456]</DIV>
<DIV> moving module 19 { 81eba000-81ebc6db } -> { 81e82000-81e846db } [9948]</DIV>
<DIV> moving module 20 { 81ebd000-81eea857 } -> { 81e85000-81eb2857 } [186456]</DIV>
<DIV> moving module 21 { 81eeb000-81f4b4eb } -> { 81eb3000-81f134eb } [394476]</DIV>
<DIV> moving module 22 { 81f4c000-81f56797 } -> { 81f14000-81f1e797 } [42904]</DIV>
<DIV> moving module 23 { 81f57000-81f6ef77 } -> { 81f1f000-81f36f77 } [98168]</DIV>
<DIV> moving module 03 { 81f6f000-81f70784 } -> { 81f37000-81f38784 } [6021]</DIV>
<DIV> moving module 04 { 81f71000-81fb66df } -> { 81f39000-81f7e6df } [284384]</DIV>
<DIV> Scanning /home/android/GeNode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco -serial_esc</DIV>
<DIV> Scanning sigma0</DIV>
<DIV> Scanning genode/core</DIV>
<DIV> Relocated mbi to [0x8100f000-0x8100f3b8]</DIV>
<DIV> Loading ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> Loading sigma0</DIV>
<DIV> Loading genode/core</DIV>
<DIV> find kernel info page...</DIV>
<DIV> found kernel info page at 0x80002000</DIV>
<DIV>Regions of list 'regions'</DIV>
<DIV> [ 80001000, 80001a7f] { a80} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> [ 80002000, 80078fff] { 77000} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> [ 80090000, 8009673b] { 673c} Sigma0 sigma0</DIV>
<DIV> [ 80098000, 8009e17b] { 617c} Sigma0 sigma0</DIV>
<DIV> [ 80140000, 80285adf] { 145ae0} Root genode/core</DIV>
<DIV> [ 81000000, 810153f3] { 153f4} Boot bootstrap</DIV>
<DIV> [ 8100f000, 8100f4b5] { 4b6} Root Multiboot info</DIV>
<DIV> [ 81100000, 81f7e6df] { e7e6e0} Root Module</DIV>
<DIV> API Version: (87) experimental</DIV>
<DIV> Sigma0 config ip:80090100 sp:81014d24</DIV>
<DIV> Roottask config ip:80189e58 sp:00000000</DIV>
<DIV> Starting kernel ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco at 800011c4</DIV>
<DIV>L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0</DIV>
<DIV>L2: Type L2C-310 Size = 1024kB</DIV>
<DIV>Hello from Startup::stage2</DIV>
<DIV>Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)</DIV>
<DIV>Boot_alloc: size=0xc</DIV>
<DIV>Boot_alloc: allocated extra memory block @0xf13e1000 (size=400)</DIV>
<DIV>Boot_alloc: @ 0xf13e1000</DIV>
<DIV>Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0)</DIV>
<DIV>Boot_alloc: size=0x80</DIV>
<DIV>Boot_alloc: @ 0xf13e1010</DIV>
<DIV>Boot_alloc: remaining free block @ 0xf13e1090 (size=370)</DIV>
<DIV>Number of IRQs available at this GIC: 160</DIV>
<DIV>Boot_alloc: size=0x280</DIV>
<DIV>Boot_alloc: @ 0xf13e1090</DIV>
<DIV>Boot_alloc: remaining free block @ 0xf13e1310 (size=f0)</DIV>
<DIV>Cache config: ON</DIV>
<DIV>ID_PFR[01]: 00001231 00000011 ID_[DA]FR0: 00010444 00000000</DIV>
<DIV>ID_MMFR[04]: 00100103 20000000 01230000 00102111</DIV>
<DIV>FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl</DIV>
<DIV>Startup::stage2 finished</DIV>
<DIV>SERIAL ESC: allocated IRQ 106 for serial uart</DIV>
<DIV>Not using serial hack in slow timer handler.</DIV>
<DIV>Welcome to Fiasco.OC (arm)!</DIV>
<DIV>L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden</DIV>
<DIV>Rev: rexporte compiled with gcc 4.7.2 for Pandaboard []</DIV>
<DIV>Build: #1 Fri Mar 15 08:20:05 CST 2013</DIV>
<DIV></DIV>
<DIV>Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)</DIV>
<DIV>Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fe48, 0xf11e6000-0xf11e6970)</DIV>
<DIV>Number of CPUs: 2</DIV>
<DIV>Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28)</DIV>
<DIV>done.</DIV>
<DIV>Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180e48, 0xf11e7000-0xf11e7970)</DIV>
<DIV>SCache config: ON</DIV>
<DIV>IID_PFR[01]: 00001231 00000011G ID_[DA]FR0: 00010444 00000000</DIV>
<DIV>MID_MMFR[04]: 00100103 20000000 01230000 00102111</DIV>
<DIV>AFPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl</DIV>
<DIV>0CPU[1]: goes to idle loop</DIV>
<DIV>: Hello!</DIV>
<DIV> KIP @ 80002000</DIV>
<DIV> allocated 4KB for maintenance structures</DIV>
<DIV>SIGMA0: Dump of all resource maps</DIV>
<DIV>RAM:------------------------</DIV>
<DIV>[0:80000000;80000fff]</DIV>
<DIV>[0:80079000;8008ffff]</DIV>
<DIV>[0:80097000;80097fff]</DIV>
<DIV>[0:8009f000;8013ffff]</DIV>
<DIV>[4:80140000;80285fff]</DIV>
<DIV>[0:80286000;8100efff]</DIV>
<DIV>[4:8100f000;8100ffff]</DIV>
<DIV>[0:81010000;810fffff]</DIV>
<DIV>[4:81100000;81f7efff]</DIV>
<DIV>[0:81f7f000;beffffff]</DIV>
<DIV>IOMEM:----------------------</DIV>
<DIV>[0:0;7fffffff]</DIV>
<DIV>[0:c0000000;ffffffff]</DIV>
<DIV></DIV>
<DIV>KIP @ 80002000</DIV>
<DIV> magic: 4be6344c</DIV>
<DIV> version: 87014444</DIV>
<DIV> sigma0 esp: 81014d24 eip: 80090100</DIV>
<DIV> sigma1 esp: 00000000 eip: 00000000</DIV>
<DIV> root esp: 00000000 eip: 80189e58</DIV>
<DIV>MBI @ 8100f000</DIV>
<DIV> mod[3] [81f37000,81f38785) config</DIV>
<DIV> mod[4] [81f39000,81f7e6e0) init</DIV>
<DIV> mod[5] [81100000,8113adc0) timer</DIV>
<DIV> mod[6] [8113b000,8117f6ec) nic_bridge</DIV>
<DIV> mod[7] [81180000,811cebf0) nitpicker</DIV>
<DIV> mod[8] [811cf000,8120edc4) nit_fb</DIV>
<DIV> mod[9] [8120f000,812530a0) part_blk</DIV>
<DIV> mod[10] [81254000,812a9c14) terminal</DIV>
<DIV> mod[11] [812aa000,812e4bac) terminal_log</DIV>
<DIV> mod[12] [812e5000,816402d8) l4linux</DIV>
<DIV> mod[13] [81641000,81c83800) initrd.gz</DIV>
<DIV> mod[14] [81c84000,81cbe2e0) omap4_fb_drv</DIV>
<DIV> mod[15] [81cbf000,81cfdc2c) sd_card_drv</DIV>
<DIV> mod[16] [81cfe000,81d947a4) usb_drv</DIV>
<DIV> mod[17] [81d95000,81df9278) ld.lib.so</DIV>
<DIV> mod[18] [81dfa000,81e819c0) libc.lib.so</DIV>
<DIV> mod[19] [81e82000,81e846dc) libc_log.lib.so</DIV>
<DIV> mod[20] [81e85000,81eb2858) lwip.lib.so</DIV>
<DIV> mod[21] [81eb3000,81f134ec) libc_ffat.lib.so</DIV>
<DIV> mod[22] [81f14000,81f1e798) test-lwip_httpsrv</DIV>
<DIV> mod[23] [81f1f000,81f36f78) test-libc_ffat</DIV>
<DIV>:ram_alloc: Allocator 8026f494 dump:</DIV>
<DIV> Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000038,80000438) size=00000400 avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000438,80000454) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000454,80000470) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000470,8000048c) size=0000001c avail=00000000 max_avail=00016fe4</DIV>
<DIV> Block: [8000048c,800004a8) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800004a8,800004c4) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800004c4,800004e0) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800004e0,80001000) size=00000b20 avail=00000b20 max_avail=00016fe4</DIV>
<DIV> Block: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4</DIV>
<DIV> Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4</DIV>
<DIV> Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4</DIV>
<DIV> Block: [8009701c,80097038) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097038,80097054) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097054,80097070) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097070,8009708c) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [8009708c,800970a8) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800970a8,800970c4) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800970c4,800970e0) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800970e0,800970fc) size=0000001c avail=00000000 max_avail=3d081000</DIV>
<DIV> Block: [800970fc,80097118) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097118,80097134) size=0000001c avail=00000000 max_avail=00000eb0</DIV>
<DIV> Block: [80097134,80097150) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097150,80098000) size=00000eb0 avail=00000eb0 max_avail=00000eb0</DIV>
<DIV> Block: [8009f000,8009f01c) size=0000001c avail=00000000 max_avail=3d081000</DIV>
<DIV> Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4</DIV>
<DIV> Block: [80286000,8100f000) size=00d89000 avail=00d89000 max_avail=3d081000</DIV>
<DIV> Block: [81010000,81100000) size=000f0000 avail=000f0000 max_avail=3d081000</DIV>
<DIV> Block: [81f7f000,bf000000) size=3d081000 avail=3d081000 max_avail=3d081000</DIV>
<DIV> => mem_size=1039876096 (991 MB) / mem_avail=1039874456 (991 MB)</DIV>
<DIV>:region_alloc: Allocator 80270604 dump:</DIV>
<DIV> Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000</DIV>
<DIV> Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000</DIV>
<DIV> Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000</DIV>
<DIV> Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000</DIV>
<DIV> Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000</DIV>
<DIV> Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000</DIV>
<DIV> Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000</DIV>
<DIV> Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000</DIV>
<DIV> => mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB)</DIV>
<DIV>:io_mem: Allocator 8026f8f0 dump:</DIV>
<DIV> Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000</DIV>
<DIV> Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000</DIV>
<DIV> Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000</DIV>
<DIV> Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000</DIV>
<DIV> Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000</DIV>
<DIV> Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff</DIV>
<DIV> => mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB)</DIV>
<DIV>:io_port: Allocator 8026fd4c dump:</DIV>
<DIV>:irq: Allocator 802701a8 dump:</DIV>
<DIV> Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100</DIV>
<DIV> => mem_size=256 (0 MB) / mem_avail=256 (0 MB)</DIV>
<DIV>:rom_fs: Rom_fs 80270eb8 dump:</DIV>
<DIV> Rom: [8113b000,8117f6ec) nic_bridge</DIV>
<DIV> Rom: [812e5000,816402d8) l4linux</DIV>
<DIV> Rom: [81f39000,81f7e6e0) init</DIV>
<DIV> Rom: [81f37000,81f38785) config</DIV>
<DIV> Rom: [81641000,81c83800) initrd.gz</DIV>
<DIV> Rom: [80002000,80003000) kip</DIV>
<DIV> Rom: [81dfa000,81e819c0) libc.lib.so</DIV>
<DIV> Rom: [81d95000,81df9278) ld.lib.so</DIV>
<DIV> Rom: [80002000,80003000) l4v2_kip</DIV>
<DIV> Rom: [81e82000,81e846dc) libc_log.lib.so</DIV>
<DIV> Rom: [81eb3000,81f134ec) libc_ffat.lib.so</DIV>
<DIV> Rom: [81e85000,81eb2858) lwip.lib.so</DIV>
<DIV> Rom: [81254000,812a9c14) terminal</DIV>
<DIV> Rom: [81180000,811cebf0) nitpicker</DIV>
<DIV> Rom: [811cf000,8120edc4) nit_fb</DIV>
<DIV> Rom: [8120f000,812530a0) part_blk</DIV>
<DIV> Rom: [81c84000,81cbe2e0) omap4_fb_drv</DIV>
<DIV> Rom: [81cbf000,81cfdc2c) sd_card_drv</DIV>
<DIV> Rom: [81100000,8113adc0) timer</DIV>
<DIV> Rom: [81f1f000,81f36f78) test-libc_ffat</DIV>
<DIV> Rom: [812aa000,812e4bac) terminal_log</DIV>
<DIV> Rom: [81f14000,81f1e798) test-lwip_httpsrv</DIV>
<DIV> Rom: [81cfe000,81d947a4) usb_drv</DIV>
<DIV>:core ranges: Allocator 80272c18 dump:</DIV>
<DIV> Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000</DIV>
<DIV> Block: [80079000,80090000) size=00017000 avail=00017000 max_avail=00017000</DIV>
<DIV> Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff0000</DIV>
<DIV> Block: [8009f000,8100f000) size=00f70000 avail=00f70000 max_avail=3dff0000</DIV>
<DIV> Block: [81010000,bf000000) size=3dff0000 avail=3dff0000 max_avail=3dff0000</DIV>
<DIV> => mem_size=1056411648 (1007 MB) / mem_avail=1056411648 (1007 MB)</DIV>
<DIV>int main(): --- create local services ---</DIV>
<DIV>int main(): --- start init ---</DIV>
<DIV>int main(): transferred 991 MB to init</DIV>
<DIV>int main(): --- init created, waiting for exit condition ---</DIV>
<DIV>[init -> timer] args='label="nitpicker", ram_quota=4096'</DIV>
<DIV>[init -> timer] args='label="fb_drv", ram_quota=4096'</DIV>
<DIV>[init -> timer] args='label="usb_drv", ram_quota=4096'</DIV>
<DIV>[init -> blocktest_term] int main(int, char**): --- terminal service started ---</DIV>
<DIV>[init -> sd_card_drv] --- OMAP4 SD card driver ---</DIV>
<DIV>[init -> http_term] int main(int, char**): --- terminal service started ---</DIV>
<DIV>[init -> vmlinux.1] Booting L4Linux ...</DIV>
<DIV>[init -> timer] args='label="sd_card_drv", ram_quota=4096'</DIV>
<DIV>[init -> usb_drv] void start_usb_driver(): No <storage> config node found - not starting the USB Storage (Block) service</DIV>
<DIV>[init -> nitpicker] framebuffer is 1024x768@...23...</DIV>
<DIV>[init -> timer] args='label="usb_drv", ram_quota=4096'</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=376, fb_format=1, label="blocktest_fb", ram_quota=391712</DIV>
<DIV>[init -> nic_bridge] Could not open file "config"</DIV>
<DIV>[init -> nic_bridge] Could not obtain config file</DIV>
<DIV>virtual void Genode::Signal_session_component::submit(Genode::Signal_context_capability, unsigned int): invalid signal-context capability</DIV>
<DIV>virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400feff8 ip=10004b8</DIV>
<DIV>[init -> nitpicker] Could not open file "config"</DIV>
<DIV>[init -> nitpicker] Could not obtain config file</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=376, fb_format=1, label="http_fb", ram_quota=391712</DIV>
<DIV>[init -> blocktest_fb] using xywh=(513,385,510,376) refresh_rate=0</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=382, fb_format=1, label="linux.2", ram_quota=397832</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=382, fb_format=1, label="linux.1", ram_quota=397832</DIV>
<DIV>[init -> http_fb] using xywh=(1,385,510,376) refresh_rate=0</DIV>
<DIV>[init -> linux.2] using xywh=(513,0,510,382) refresh_rate=0</DIV>
<DIV>[init -> linux.1] using xywh=(1,0,510,382) refresh_rate=0</DIV>
<DIV>[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01</DIV>
<DIV>[init -> vmlinux.1] ======> L4Linux starting... <========</DIV>
<DIV>[init -> vmlinux.1] Linux version 3.5.0-l4-svn25 (android@...115...) (gcc version 4.7.2 (GCC) ) #1 SMP Fri Mar 15 08:17:40 CST 2013</DIV>
<DIV>[init -> vmlinux.1] Binary name: vmlinux</DIV>
<DIV>[init -> vmlinux.1] This is an AEABI build.</DIV>
<DIV>[init -> vmlinux.1] Linux kernel command line (2 args): mem=54M l4x_rd=initrd.gz</DIV>
<DIV>[init -> vmlinux.1] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB].</DIV>
<DIV>[init -> vmlinux.1] Areas: Text: 01000000 - 01328000 [3232kB] (a bit longer)</DIV>
<DIV>[init -> vmlinux.1] Data: 01328000 - 01352cc0 [171kB]</DIV>
<DIV>[init -> vmlinux.1] Initdata: 01302000 - 013264c0 [145kB]</DIV>
<DIV>[init -> vmlinux.1] BSS: 01353000 - 0139671c [269kB]</DIV>
<DIV>[init -> vmlinux.2] Booting L4Linux ...</DIV>
<DIV>[init -> timer] args='label="blocktest_term", ram_quota=4096'</DIV>
<DIV>[init -> timer] args='label="http_term", ram_quota=4096'</DIV>
<DIV>[init -> usb_drv] Registered 14 zone allocators</DIV>
<DIV>[init -> vmlinux.2] ======> L4Linux starting... <========</DIV>
<DIV>[init -> vmlinux.2] Linux version 3.5.0-l4-svn25 (android@...115...) (gcc version 4.7.2 (GCC) ) #1 SMP Fri Mar 15 08:17:40 CST 2013</DIV>
<DIV>[init -> blocktest_term] Could not open file "config"</DIV>
<DIV>[init -> vmlinux.2] Binary name: vmlinux</DIV>
<DIV>[init -> http_term] Could not open file "config"</DIV>
<DIV>[init -> blocktest_term] Could not obtain config file</DIV>
<DIV>[init -> vmlinux.2] This is an AEABI build.</DIV>
<DIV>[init -> http_term] Could not obtain config file</DIV>
<DIV>[init -> blocktest_term] cell size is 8x16</DIV>
<DIV>[init -> blocktest_term] create terminal session</DIV>
<DIV>[init -> http_term] cell size is 8x16</DIV>
<DIV>[init -> http_term] create terminal session</DIV>
<DIV>[init -> vmlinux.2] Linux kernel command line (2 args): mem=54M l4x_rd=initrd.gz</DIV>
<DIV>[init -> blocktest_term] new terminal session:</DIV>
<DIV>[init -> blocktest_term] framebuffer has 510x376 pixels</DIV>
<DIV>[init -> blocktest_term] character size is 8x16 pixels</DIV>
<DIV>[init -> blocktest_term] terminal size is 63x23 characters</DIV>
<DIV>[init -> http_term] new terminal session:</DIV>
<DIV>[init -> http_term] framebuffer has 510x376 pixels</DIV>
<DIV>[init -> http_term] character size is 8x16 pixels</DIV>
<DIV>[init -> http_term] terminal size is 63x23 characters</DIV>
<DIV>[init -> vmlinux.2] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB].</DIV>
<DIV>[init -> vmlinux.2] Areas: Text: 01000000 - 01328000 [3232kB] (a bit longer)</DIV>
<DIV>[init -> vmlinux.2] Data: 01328000 - 01352cc0 [171kB]</DIV>
<DIV>[init -> vmlinux.2] Initdata: 01302000 - 013264c0 [145kB]</DIV>
<DIV>[init -> vmlinux.2] BSS: 01353000 - 0139671c [269kB]</DIV>
<DIV>[init -> timer] args='label="test-lwip_httpsrv", ram_quota=4096'</DIV>
<DIV>[init -> vmlinux.1] l4io_get_root_device: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] Device scan:</DIV>
<DIV>[init -> vmlinux.1] l4io_iterate_devices: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] Device scan done.</DIV>
<DIV>[init -> vmlinux.1] attach failed start=10000</DIV>
<DIV>[init] vmlinux.1: no route to service "Timer"</DIV>
<DIV>[init -> vmlinux.1] C++ runtime: Genode::Parent::Service_denied</DIV>
<DIV>[init -> vmlinux.1] void* abort(): abort called</DIV>
<DIV>[init -> vmlinux.2] l4io_get_root_device: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] Device scan:</DIV>
<DIV>[init -> vmlinux.2] l4io_iterate_devices: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] Device scan done.</DIV>
<DIV>[init -> vmlinux.2] attach failed start=10000</DIV>
<DIV>[init] vmlinux.2: no route to service "Timer"</DIV>
<DIV>[init -> vmlinux.2] C++ runtime: Genode::Parent::Service_denied</DIV>
<DIV>[init -> vmlinux.2] void* abort(): abort called</DIV>
<DIV>[init -> usb_drv] dev_info: OMAP-EHCI Host Controller</DIV>
<DIV>[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1</DIV>
<DIV>Quota exceeded! amount=4096, size=4096, consumed=4096</DIV>
<DIV>[init -> usb_drv] upgrading quota donation for SIGNAL session</DIV>
<DIV>[init -> usb_drv] Registered 14 zone allocators</DIV>
<DIV>[init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00</DIV>
<DIV>[init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=1d6b, idProduct=0002</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1</DIV>
<DIV>[init -> usb_drv] dev_info: USB hub found</DIV>
<DIV>[init -> usb_drv] dev_info: 3 ports detected</DIV>
<DIV>[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0</DIV>
<DIV>[init -> usb_drv] dev_info: USB hub found</DIV>
<DIV>Quota exceeded! amount=8192, size=4096, consumed=8192</DIV>
<DIV>[init -> usb_drv] upgrading quota donation for SIGNAL session</DIV>
<DIV>[init -> usb_drv] dev_info: 5 ports detected</DIV>
<DIV>[init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-omap</DIV>
<DIV>[init -> usb_drv] No DMA phys addr for a010ec zone: -1</DIV>
<DIV>[init -> usb_drv] No DMA phys addr for a010ec zone: -1</DIV>
<DIV>[init -> usb_drv] No DMA phys addr for a010ec zone: -1</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0</DIV>
<DIV>[init -> usb_drv] dev_info: new high-speed USB device number 4 using ehci-omap</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0</DIV>
<DIV>[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01</DIV>
<DIV>[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing</DIV>
<DIV>[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10a353cM</DIV>
<DIV>Quota exceeded! amount=12288, size=4096, consumed=12288</DIV>
<DIV>[init -> usb_drv] upgrading quota donation for SIGNAL session</DIV>
<DIV>Quota exceeded! amount=4096, size=4096, consumed=4096</DIV>
<DIV>[init -> nic_bridge] upgrading quota donation for SIGNAL session</DIV>
<DIV>[init -> nic_bridge] virtual Net::Session_component* Net::Root::_create_session(const char*): Invalid session request, no matching policy</DIV>
<DIV>Quota exceeded! amount=4096, size=4096, consumed=4096</DIV>
<DIV>[init] virtual void Genode::Child_policy::exit(int): child exited with exit value -1</DIV></DIV>
<DIV>########################################################################</DIV>
<DIV> </DIV>
<DIV>this is the log of two_linux_panda.img.gz from genode web:</DIV>
<DIV>
<DIV>## Starting application at 0x81000000 ...</DIV>
<DIV></DIV>
<DIV>L4 Bootstrapper</DIV>
<DIV> Build: #33 Mon Jul 16 12:03:49 CEST 2012, 4.6.1</DIV>
<DIV> Scanning up to 512 MB RAM</DIV>
<DIV> Memory size is 512MB (80000000 - a0000000)</DIV>
<DIV> RAM: 0000000080000000 - 000000009fffffff: 524288kB</DIV>
<DIV> Total RAM: 512MB</DIV>
<DIV> mod23: 81e75000-81e8bf74: genode/test-libc_ffat</DIV>
<DIV> mod22: 81e68000-81e747f8: genode/test-lwip_httpsrv</DIV>
<DIV> mod21: 81e4b000-81e67944: genode/libc_ffat.lib.so</DIV>
<DIV> mod20: 81e1f000-81e4a720: genode/lwip.lib.so</DIV>
<DIV> mod19: 81e1c000-81e1e73c: genode/libc_log.lib.so</DIV>
<DIV> mod18: 81d7a000-81e1b280: genode/libc.lib.so</DIV>
<DIV> mod17: 81d27000-81d7915c: genode/ld.lib.so</DIV>
<DIV> mod16: 81c91000-81d26cf0: genode/usb_drv</DIV>
<DIV> mod15: 81c52000-81c9022c: genode/sd_card_drv</DIV>
<DIV> mod14: 81c1d000-81c51edc: genode/omap4_fb_drv</DIV>
<DIV> mod13: 815da000-81c1c800: genode/initrd.gz</DIV>
<DIV> mod12: 812e3000-815d9e28: genode/l4linux</DIV>
<DIV> mod11: 812a8000-812e260c: genode/terminal_log</DIV>
<DIV> mod10: 81260000-812a7bfc: genode/terminal</DIV>
<DIV> mod09: 8121b000-8125fb3c: genode/part_blk</DIV>
<DIV> mod08: 811e0000-8121aa6c: genode/nit_fb</DIV>
<DIV> mod07: 81198000-811df890: genode/nitpicker</DIV>
<DIV> mod06: 81152000-811973cc: genode/nic_bridge</DIV>
<DIV> mod05: 8111e000-811517d8: genode/timer</DIV>
<DIV> mod04: 810e0000-8111d3b8: genode/init</DIV>
<DIV> mod03: 810de000-810df784: genode/config</DIV>
<DIV> mod02: 8107c000-810dd100: genode/core</DIV>
<DIV> mod01: 81072000-8107b368: sigma0</DIV>
<DIV> mod00: 81014000-81071bc0: /open/build/genode/foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> Moving 24 modules to 81100000 with offset ec000</DIV>
<DIV> moving module 24 { 81e75000-81e8bf74 } -> { 81f61000-81f77f74 }</DIV>
<DIV> moving module 23 { 81e68000-81e747f8 } -> { 81f54000-81f607f8 }</DIV>
<DIV> moving module 22 { 81e4b000-81e67944 } -> { 81f37000-81f53944 }</DIV>
<DIV> moving module 21 { 81e1f000-81e4a720 } -> { 81f0b000-81f36720 }</DIV>
<DIV> moving module 20 { 81e1c000-81e1e73c } -> { 81f08000-81f0a73c }</DIV>
<DIV> moving module 19 { 81d7a000-81e1b280 } -> { 81e66000-81f07280 }</DIV>
<DIV> moving module 18 { 81d27000-81d7915c } -> { 81e13000-81e6515c }</DIV>
<DIV> moving module 17 { 81c91000-81d26cf0 } -> { 81d7d000-81e12cf0 }</DIV>
<DIV> moving module 16 { 81c52000-81c9022c } -> { 81d3e000-81d7c22c }</DIV>
<DIV> moving module 15 { 81c1d000-81c51edc } -> { 81d09000-81d3dedc }</DIV>
<DIV> moving module 14 { 815da000-81c1c800 } -> { 816c6000-81d08800 }</DIV>
<DIV> moving module 13 { 812e3000-815d9e28 } -> { 813cf000-816c5e28 }</DIV>
<DIV> moving module 12 { 812a8000-812e260c } -> { 81394000-813ce60c }</DIV>
<DIV> moving module 11 { 81260000-812a7bfc } -> { 8134c000-81393bfc }</DIV>
<DIV> moving module 10 { 8121b000-8125fb3c } -> { 81307000-8134bb3c }</DIV>
<DIV> moving module 09 { 811e0000-8121aa6c } -> { 812cc000-81306a6c }</DIV>
<DIV> moving module 08 { 81198000-811df890 } -> { 81284000-812cb890 }</DIV>
<DIV> moving module 07 { 81152000-811973cc } -> { 8123e000-812833cc }</DIV>
<DIV> moving module 06 { 8111e000-811517d8 } -> { 8120a000-8123d7d8 }</DIV>
<DIV> moving module 05 { 810e0000-8111d3b8 } -> { 811cc000-812093b8 }</DIV>
<DIV> moving module 04 { 810de000-810df784 } -> { 811ca000-811cb784 }</DIV>
<DIV> moving module 03 { 8107c000-810dd100 } -> { 81168000-811c9100 }</DIV>
<DIV> moving module 02 { 81072000-8107b368 } -> { 8115e000-81167368 }</DIV>
<DIV> moving module 01 { 81014000-81071bc0 } -> { 81100000-8115dbc0 }</DIV>
<DIV> Scanning /open/build/genode/foc_panda/kernel/fiasco.oc/fiasco -serial_esc</DIV>
<DIV> Scanning sigma0</DIV>
<DIV> Scanning genode/core</DIV>
<DIV> Relocated mbi to [0x8100e000-0x8100e3a3]</DIV>
<DIV> Loading /open/build/genode/foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> Loading sigma0</DIV>
<DIV> Loading genode/core</DIV>
<DIV> find kernel info page...</DIV>
<DIV> found kernel info page at 0x80002000</DIV>
<DIV>Regions of list regions</DIV>
<DIV> [ 80001000, 80001bff] { c00} Kern /open/build/genode/foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> [ 80002000, 8006cfff] { 6b000} Kern /open/build/genode/foc_panda/kernel/fiasco.oc/fiasco</DIV>
<DIV> [ 80090000, 80096ac3] { 6ac4} Sigma0 sigma0</DIV>
<DIV> [ 80098000, 8009e17b] { 617c} Sigma0 sigma0</DIV>
<DIV> [ 80140000, 802822df] { 1422e0} Root genode/core</DIV>
<DIV> [ 81000000, 810133eb] { 133ec} Boot bootstrap</DIV>
<DIV> [ 8100e000, 8100e4a0] { 4a1} Root Multiboot info</DIV>
<DIV> [ 811ca000, 81f77f73] { dadf74} Root Modules Memory</DIV>
<DIV> API Version: (87) experimental</DIV>
<DIV> Sigma0 config ip:800900e0 sp:81012704</DIV>
<DIV> Roottask config ip:80187590 sp:00000000</DIV>
<DIV> Starting kernel /open/build/genode/foc_panda/kernel/fiasco.oc/fiasco at 80001000</DIV>
<DIV>Hello from Startup::stage2</DIV>
<DIV>Initialize page table</DIV>
<DIV>Number of IRQs available at this GIC: 160</DIV>
<DIV>Vmem_alloc::init()</DIV>
<DIV>Cache config: ON</DIV>
<DIV>ID_PFR0: 00001231</DIV>
<DIV>ID_PFR1: 00000011</DIV>
<DIV>ID_DFR0: 00010444</DIV>
<DIV>ID_AFR0: 00000000</DIV>
<DIV>ID_MMFR0: 00100103</DIV>
<DIV>ID_MMFR1: 20000000</DIV>
<DIV>ID_MMFR2: 01230000</DIV>
<DIV>ID_MMFR3: 00102111</DIV>
<DIV>FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl</DIV>
<DIV>SERIAL ESC: allocated IRQ 106 for serial uart</DIV>
<DIV>Not using serial hack in slow timer handler.</DIV>
<DIV>Welcome to Fiasco.OC (arm)!</DIV>
<DIV>L4/Fiasco.OC arm microkernel (C) 1998-2011 TU Dresden</DIV>
<DIV>Rev: r38 compiled with gcc 4.6.1 for Pandaboard []</DIV>
<DIV>Build: #32 Mon Jul 16 12:03:44 CEST 2012</DIV>
<DIV></DIV>
<DIV>Calibrating timer loop... done.</DIV>
<DIV>SIGMA0: Hello!</DIV>
<DIV> KIP @ 80002000</DIV>
<DIV> allocated 4KB for maintenance structures</DIV>
<DIV>SIGMA0: Dump of all resource maps</DIV>
<DIV>RAM:------------------------</DIV>
<DIV>[0:80000000;80000fff]</DIV>
<DIV>[0:8006d000;8008ffff]</DIV>
<DIV>[0:80097000;80097fff]</DIV>
<DIV>[0:8009f000;8013ffff]</DIV>
<DIV>[4:80140000;80282fff]</DIV>
<DIV>[0:80283000;8100dfff]</DIV>
<DIV>[4:8100e000;8100efff]</DIV>
<DIV>[0:8100f000;811c9fff]</DIV>
<DIV>[4:811ca000;81f77fff]</DIV>
<DIV>[0:81f78000;9effffff]</DIV>
<DIV>IOMEM:----------------------</DIV>
<DIV>[0:0;7fffffff]</DIV>
<DIV>[0:a0000000;ffffffff]</DIV>
<DIV></DIV>
<DIV>KIP @ 80002000</DIV>
<DIV> magic: 4be6344c</DIV>
<DIV> version: 87004444</DIV>
<DIV> sigma0 esp: 81012704 eip: 800900e0</DIV>
<DIV> sigma1 esp: 00000000 eip: 00000000</DIV>
<DIV> root esp: 00000000 eip: 80187590</DIV>
<DIV>MBI @ 8100e000</DIV>
<DIV> mod[3] [811ca000,811cb784) config</DIV>
<DIV> mod[4] [811cc000,812093b8) init</DIV>
<DIV> mod[5] [8120a000,8123d7d8) timer</DIV>
<DIV> mod[6] [8123e000,812833cc) nic_bridge</DIV>
<DIV> mod[7] [81284000,812cb890) nitpicker</DIV>
<DIV> mod[8] [812cc000,81306a6c) nit_fb</DIV>
<DIV> mod[9] [81307000,8134bb3c) part_blk</DIV>
<DIV> mod[10] [8134c000,81393bfc) terminal</DIV>
<DIV> mod[11] [81394000,813ce60c) terminal_log</DIV>
<DIV> mod[12] [813cf000,816c5e28) l4linux</DIV>
<DIV> mod[13] [816c6000,81d08800) initrd.gz</DIV>
<DIV> mod[14] [81d09000,81d3dedc) omap4_fb_drv</DIV>
<DIV> mod[15] [81d3e000,81d7c22c) sd_card_drv</DIV>
<DIV> mod[16] [81d7d000,81e12cf0) usb_drv</DIV>
<DIV> mod[17] [81e13000,81e6515c) ld.lib.so</DIV>
<DIV> mod[18] [81e66000,81f07280) libc.lib.so</DIV>
<DIV> mod[19] [81f08000,81f0a73c) libc_log.lib.so</DIV>
<DIV> mod[20] [81f0b000,81f36720) lwip.lib.so</DIV>
<DIV> mod[21] [81f37000,81f53944) libc_ffat.lib.so</DIV>
<DIV> mod[22] [81f54000,81f607f8) test-lwip_httpsrv</DIV>
<DIV> mod[23] [81f61000,81f77f74) test-libc_ffat</DIV>
<DIV>:ram_alloc: Allocator 8026b558 dump:</DIV>
<DIV> Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000038,80000438) size=00000400 avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000438,80000454) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000454,80000470) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80000470,8000048c) size=0000001c avail=00000000 max_avail=00022fe4</DIV>
<DIV> Block: [8000048c,800004a8) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800004a8,800004c4) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800004c4,800004e0) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800004e0,80001000) size=00000b20 avail=00000b20 max_avail=00022fe4</DIV>
<DIV> Block: [8006d000,8006d01c) size=0000001c avail=00000000 max_avail=00022fe4</DIV>
<DIV> Block: [8006d01c,80090000) size=00022fe4 avail=00022fe4 max_avail=00022fe4</DIV>
<DIV> Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00022fe4</DIV>
<DIV> Block: [8009701c,80097038) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097038,80097054) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097054,80097070) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097070,8009708c) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [8009708c,800970a8) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800970a8,800970c4) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800970c4,800970e0) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [800970e0,800970fc) size=0000001c avail=00000000 max_avail=1d088000</DIV>
<DIV> Block: [800970fc,80097118) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097118,80097134) size=0000001c avail=00000000 max_avail=00000eb0</DIV>
<DIV> Block: [80097134,80097150) size=0000001c avail=00000000 max_avail=00000000</DIV>
<DIV> Block: [80097150,80098000) size=00000eb0 avail=00000eb0 max_avail=00000eb0</DIV>
<DIV> Block: [8009f000,8009f01c) size=0000001c avail=00000000 max_avail=1d088000</DIV>
<DIV> Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4</DIV>
<DIV> Block: [80283000,8100e000) size=00d8b000 avail=00d8b000 max_avail=1d088000</DIV>
<DIV> Block: [8100f000,811ca000) size=001bb000 avail=001bb000 max_avail=1d088000</DIV>
<DIV> Block: [81f78000,9f000000) size=1d088000 avail=1d088000 max_avail=1d088000</DIV>
<DIV> => mem_size=503922688 (480 MB) / mem_avail=503921048 (480 MB)</DIV>
<DIV>:region_alloc: Allocator 8026c6c8 dump:</DIV>
<DIV> Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000</DIV>
<DIV> Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000</DIV>
<DIV> Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000</DIV>
<DIV> Block: [80003000,8006d000) size=0006a000 avail=0006a000 max_avail=0006a000</DIV>
<DIV> Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000</DIV>
<DIV> Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=20ff0000</DIV>
<DIV> Block: [9f000000,bfff0000) size=20ff0000 avail=20ff0000 max_avail=20ff0000</DIV>
<DIV> Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000</DIV>
<DIV> => mem_size=2433183744 (2320 MB) / mem_avail=2433183744 (2320 MB)</DIV>
<DIV>:io_mem: Allocator 8026b9b4 dump:</DIV>
<DIV> Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000</DIV>
<DIV> Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000</DIV>
<DIV> Block: [80003000,8006d000) size=0006a000 avail=0006a000 max_avail=0006a000</DIV>
<DIV> Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=0006a000</DIV>
<DIV> Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000</DIV>
<DIV> Block: [9f000000,ffffffff) size=60ffffff avail=60ffffff max_avail=60ffffff</DIV>
<DIV> => mem_size=3775369215 (3600 MB) / mem_avail=3775369215 (3600 MB)</DIV>
<DIV>:io_port: Allocator 8026be10 dump:</DIV>
<DIV>:irq: Allocator 8026c26c dump:</DIV>
<DIV> Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100</DIV>
<DIV> => mem_size=256 (0 MB) / mem_avail=256 (0 MB)</DIV>
<DIV>:rom_fs: Rom_fs 8026cf7c dump:</DIV>
<DIV> Rom: [8123e000,812833cc) nic_bridge</DIV>
<DIV> Rom: [813cf000,816c5e28) l4linux</DIV>
<DIV> Rom: [811cc000,812093b8) init</DIV>
<DIV> Rom: [811ca000,811cb784) config</DIV>
<DIV> Rom: [816c6000,81d08800) initrd.gz</DIV>
<DIV> Rom: [80002000,80003000) kip</DIV>
<DIV> Rom: [81e66000,81f07280) libc.lib.so</DIV>
<DIV> Rom: [81e13000,81e6515c) ld.lib.so</DIV>
<DIV> Rom: [80002000,80003000) l4v2_kip</DIV>
<DIV> Rom: [81f08000,81f0a73c) libc_log.lib.so</DIV>
<DIV> Rom: [81f37000,81f53944) libc_ffat.lib.so</DIV>
<DIV> Rom: [81f0b000,81f36720) lwip.lib.so</DIV>
<DIV> Rom: [8134c000,81393bfc) terminal</DIV>
<DIV> Rom: [81284000,812cb890) nitpicker</DIV>
<DIV> Rom: [812cc000,81306a6c) nit_fb</DIV>
<DIV> Rom: [81307000,8134bb3c) part_blk</DIV>
<DIV> Rom: [81d09000,81d3dedc) omap4_fb_drv</DIV>
<DIV> Rom: [81d3e000,81d7c22c) sd_card_drv</DIV>
<DIV> Rom: [8120a000,8123d7d8) timer</DIV>
<DIV> Rom: [81f61000,81f77f74) test-libc_ffat</DIV>
<DIV> Rom: [81394000,813ce60c) terminal_log</DIV>
<DIV> Rom: [81f54000,81f607f8) test-lwip_httpsrv</DIV>
<DIV> Rom: [81d7d000,81e12cf0) usb_drv</DIV>
<DIV>:core ranges: Allocator 8026f474 dump:</DIV>
<DIV> Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000</DIV>
<DIV> Block: [8006d000,80090000) size=00023000 avail=00023000 max_avail=00023000</DIV>
<DIV> Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=1dff1000</DIV>
<DIV> Block: [8009f000,8100e000) size=00f6f000 avail=00f6f000 max_avail=1dff1000</DIV>
<DIV> Block: [8100f000,9f000000) size=1dff1000 avail=1dff1000 max_avail=1dff1000</DIV>
<DIV> => mem_size=519589888 (495 MB) / mem_avail=519589888 (495 MB)</DIV>
<DIV>int main(): --- create local services ---</DIV>
<DIV>int main(): --- start init ---</DIV>
<DIV>int main(): transferred 480 MB to init</DIV>
<DIV>int main(): --- init created, waiting for exit condition ---</DIV>
<DIV>[init -> vmlinux.2] Booting L4Linux ...</DIV>
<DIV>[init -> vmlinux.1] Booting L4Linux ...</DIV>
<DIV>[init -> vmlinux.2] ======> L4Linux 2.6 starting... <========</DIV>
<DIV>[init -> vmlinux.2] Linux version 3.0.0-l4-svn23 (no@...177...) (gcc version 4.6.1 (GCC) ) #4 Tue Jul 10 16:01:12 CEST 2012</DIV>
<DIV>[init -> vmlinux.1] ======> L4Linux 2.6 starting... <========</DIV>
<DIV>[init -> vmlinux.2] Binary name: vmlinux</DIV>
<DIV>[init -> vmlinux.1] Linux version 3.0.0-l4-svn23 (no@...177...) (gcc version 4.6.1 (GCC) ) #4 Tue Jul 10 16:01:12 CEST 2012</DIV>
<DIV>[init -> vmlinux.2] This is an AEABI build.</DIV>
<DIV>[init -> vmlinux.1] Binary name: vmlinux</DIV>
<DIV>[init -> vmlinux.2] Linux kernel command line (2 args): mem=54M l4x_rd=initrd.gz</DIV>
<DIV>[init -> vmlinux.1] This is an AEABI build.</DIV>
<DIV>[init -> vmlinux.2] CPU mapping (l:p)[1]: 0:0</DIV>
<DIV>[init -> vmlinux.1] Linux kernel command line (2 args): mem=54M l4x_rd=initrd.gz</DIV>
<DIV>[init -> blocktest_term] int main(int, char**): --- terminal service started ---</DIV>
<DIV>[init -> vmlinux.2] Image: 00100000 - 00500000 [4096 KiB].</DIV>
<DIV>[init -> vmlinux.1] CPU mapping (l:p)[1]: 0:0</DIV>
<DIV>[init -> vmlinux.2] Areas: Text: 00100000 - 003d0000 [2880kB] (a bit longer)</DIV>
<DIV>[init -> http_term] int main(int, char**): --- terminal service started ---</DIV>
<DIV>[init -> vmlinux.1] Image: 00100000 - 00500000 [4096 KiB].</DIV>
<DIV>[init -> vmlinux.2] Data: 003d0000 - 003ee9e0 [122kB]</DIV>
<DIV>[init -> vmlinux.1] Areas: Text: 00100000 - 003d0000 [2880kB] (a bit longer)</DIV>
<DIV>[init -> vmlinux.2] Initdata: 00100000 - 0011c000 [112kB]</DIV>
<DIV>[init -> vmlinux.1] Data: 003d0000 - 003ee9e0 [122kB]</DIV>
<DIV>[init -> vmlinux.2] BSS: 003ef000 - 0042d094 [248kB]</DIV>
<DIV>[init -> vmlinux.1] Initdata: 00100000 - 0011c000 [112kB]</DIV>
<DIV>[init -> sd_card_drv] --- OMAP4 SD card driver ---</DIV>
<DIV>[init -> vmlinux.2] l4io_get_root_device: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] BSS: 003ef000 - 0042d094 [248kB]</DIV>
<DIV>[init -> vmlinux.2] Device scan:</DIV>
<DIV>[init -> vmlinux.1] l4io_get_root_device: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] l4io_iterate_devices: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] Device scan:</DIV>
<DIV>[init -> vmlinux.1] l4io_iterate_devices: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): start=bffff000 size=1000 flags=20 mem=203000 offs=0 align=c</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): start=bffff000 size=1000 flags=20 mem=203000 offs=0 align=c</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): attached at bffff000</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): *start=ff100000 size=1000000 align=15 flags=0</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): attached at bffff000</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): *start=ff100000 size=1000000 align=15 flags=0</DIV>
<DIV>[init -> vmlinux.2] attach failed start=ff100000</DIV>
<DIV>[init -> vmlinux.1] attach failed start=ff100000</DIV>
<DIV>[init -> vmlinux.2] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=1000000!</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): return 1000000</DIV>
<DIV>[init -> vmlinux.1] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=1000000!</DIV>
<DIV>[init -> vmlinux.2] l4lx_thread_name_set: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): return 1000000</DIV>
<DIV>[init -> vmlinux.1] l4lx_thread_name_set: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=3000!</DIV>
<DIV>[init -> vmlinux.1] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=3000!</DIV>
<DIV>[init -> vmlinux.2] main thread will be c</DIV>
<DIV>[init -> vmlinux.2] l4x_register_pointer_section: addr = 00100000 size = 4194304</DIV>
<DIV>[init -> vmlinux.1] main thread will be c</DIV>
<DIV>[init -> vmlinux.2] l4x_linux_startup: thread c.</DIV>
<DIV>[init -> vmlinux.1] l4x_linux_startup: thread c.</DIV>
<DIV>[init -> vmlinux.2] section-with-init: virt: 100000 to 4fffff [4096 KiB]</DIV>
<DIV>[init -> vmlinux.1] l4x_register_pointer_section: addr = 00100000 size = 4194304</DIV>
<DIV>[init -> vmlinux.2] Cannot determine physical address for dataspace Binary!</DIV>
<DIV>[init -> vmlinux.1] section-with-init: virt: 100000 to 4fffff [4096 KiB]</DIV>
<DIV>[init -> vmlinux.2] error: failed to get physical address for 100000.</DIV>
<DIV>[init -> vmlinux.1] Cannot determine physical address for dataspace Binary!</DIV>
<DIV>[init -> vmlinux.2] main thread: received startup message.</DIV>
<DIV>[init -> vmlinux.1] error: failed to get physical address for 100000.</DIV>
<DIV>[init -> vmlinux.2] Main thread running, waiting...</DIV>
<DIV>[init -> vmlinux.1] main thread: received startup message.</DIV>
<DIV>[init -> vmlinux.2] thread=c000 cpu=0</DIV>
<DIV>[init -> vmlinux.1] thread=c000 cpu=0</DIV>
<DIV>[init -> vmlinux.2] l4x_setup_memory: Forcing superpages for main memory</DIV>
<DIV>[init -> vmlinux.1] Main thread running, waiting...</DIV>
<DIV>[init -> vmlinux.2] l4re_global_env: 0</DIV>
<DIV>[init -> vmlinux.1] l4x_setup_memory: Forcing superpages for main memory</DIV>
<DIV>[init -> vmlinux.1] l4re_global_env: 0</DIV>
<DIV>[init -> vmlinux.2] Main memory size: 54MB</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): *start=0 size=3600000 align=14 flags=20</DIV>
<DIV>[init -> vmlinux.1] Main memory size: 54MB</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): *start=0 size=3600000 align=14 flags=20</DIV>
<DIV>[init -> vmlinux.2] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=2000000!</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): return 2000000</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): start=2000000 size=3600000 flags=c0 mem=20e000 offs=0 align=17</DIV>
<DIV>unmapping of managed dataspaces not yet supported</DIV>
<DIV>[init -> vmlinux.1] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=2000000!</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): return 2000000</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): attached at 2000000</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): start=2000000 size=3600000 flags=c0 mem=20e000 offs=0 align=17</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_free_area(Fiasco::l4_addr_t): 2000000</DIV>
<DIV>unmapping of managed dataspaces not yet supported</DIV>
<DIV>[init -> vmlinux.2] Main memory: virt: 2000000 to 55fffff [55296 KiB]</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): attached at 2000000</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_free_area(Fiasco::l4_addr_t): 2000000</DIV>
<DIV>[init -> vmlinux.2] Main memory: Phys: 0x82000000 to 0x85600000, Size: 56623104</DIV>
<DIV>[init -> vmlinux.1] Main memory: virt: 2000000 to 55fffff [55296 KiB]</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): *start=5600000 size=8000000 align=15 flags=20</DIV>
<DIV>[init -> vmlinux.1] Main memory: Phys: 0x86000000 to 0x89600000, Size: 56623104</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): *start=5600000 size=8000000 align=15 flags=20</DIV>
<DIV>[init -> vmlinux.2] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=5600000!</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): return 5600000</DIV>
<DIV>[init -> vmlinux.2] Filling lower ptabs...</DIV>
<DIV>[init -> vmlinux.2] Done (0 entries).</DIV>
<DIV>[init -> vmlinux.1] L4lx::Region* L4lx::Region_manager::reserve_range(Genode::size_t, int, Genode::addr_t): attach done addr=5600000!</DIV>
<DIV>[init -> vmlinux.2] l4x_register_pointer_section: addr = 00100000 size = 4194304</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_reserve_area(Fiasco::l4_addr_t*, long unsigned int, unsigned int, unsigned char): return 5600000</DIV>
<DIV>[init -> vmlinux.2] end: virt: 100000 to 4fffff [4096 KiB]</DIV>
<DIV>[init -> vmlinux.1] Filling lower ptabs...</DIV>
<DIV>[init -> vmlinux.2] Cannot determine physical address for dataspace Binary!</DIV>
<DIV>[init -> sd_card_drv] CID: 0xa1009a15 0x019cc9f2 0x41303247 0x02544d53</DIV>
<DIV>[init -> vmlinux.1] Done (0 entries).</DIV>
<DIV>[init -> vmlinux.2] error: failed to get physical address for 100000.</DIV>
<DIV>[init -> sd_card_drv] RCA: 0x1234</DIV>
<DIV>[init -> vmlinux.1] l4x_register_pointer_section: addr = 00100000 size = 4194304</DIV>
<DIV>[init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 11d000</DIV>
<DIV>[init -> sd_card_drv] Could not detect high-capacity card</DIV>
<DIV>invalid signal-context capability</DIV>
<DIV>virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400feffc ip=1011748</DIV>
<DIV>[init -> vmlinux.1] end: virt: 100000 to 4fffff [4096 KiB]</DIV>
<DIV>[init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 3ce26f</DIV>
<DIV>[init -> vmlinux.1] Cannot determine physical address for dataspace Binary!</DIV>
<DIV>[init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 3d0000</DIV>
<DIV>[init -> vmlinux.1] error: failed to get physical address for 100000.</DIV>
<DIV>[init -> vmlinux.2] l4x_virt_to_phys: Could not translate virt. address 4fffff</DIV>
<DIV>[init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 11d000</DIV>
<DIV>[init -> vmlinux.2] l4x_rd_path: initrd.gz</DIV>
<DIV>[init -> usb_drv] int main(int, char**): No <storage> config node found - not starting the USB Storage (Block) service</DIV>
<DIV>[init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 3ce26f</DIV>
<DIV>[init -> vmlinux.2] Loading: initrd.gz</DIV>
<DIV>[init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 3d0000</DIV>
<DIV>[init -> vmlinux.2] const l4re_env_cap_entry_t* l4re_get_env_cap_l(const char*, unsigned int, const l4re_env_t*): name=initrd.gz l=9</DIV>
<DIV>[init -> vmlinux.1] l4x_virt_to_phys: Could not translate virt. address 4fffff</DIV>
<DIV>[init -> vmlinux.1] l4x_rd_path: initrd.gz</DIV>
<DIV>[init -> vmlinux.1] Loading: initrd.gz</DIV>
<DIV>[init -> vmlinux.1] const l4re_env_cap_entry_t* l4re_get_env_cap_l(const char*, unsigned int, const l4re_env_t*): name=initrd.gz l=9</DIV>
<DIV>[init -> nitpicker] framebuffer is 1024x768@...23...</DIV>
<DIV>[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=382, fb_format=1, label="linux.1", ram_quota=397832</DIV>
<DIV>[init -> nitpicker] Could not open file "config"</DIV>
<DIV>[init -> nitpicker] Could not obtain config file</DIV>
<DIV>[init -> usb_drv] dev_info: OMAP-EHCI Host Controller</DIV>
<DIV>[init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=382, fb_format=1, label="linux.2", ram_quota=397832</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=376, fb_format=1, label="http_fb", ram_quota=391712</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): start=0 size=643000 flags=a1 mem=215000 offs=0 align=c</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): start=0 size=643000 flags=a1 mem=215000 offs=0 align=c</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): attached at d800000</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_attach(void**, long unsigned int, long unsigned int, Fiasco::l4re_ds_t, Fiasco::l4_addr_t, unsigned char): attached at d800000</DIV>
<DIV>[init -> vmlinux.2] INITRD: Size of RAMdisk is 6412KiB</DIV>
<DIV>[init -> vmlinux.1] INITRD: Size of RAMdisk is 6412KiB</DIV>
<DIV>[init -> vmlinux.2] RAMdisk from 0d800000 to 0de43000 [6412KiB]</DIV>
<DIV>[init -> vmlinux.1] RAMdisk from 0d800000 to 0de43000 [6412KiB]</DIV>
<DIV>[init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00</DIV>
<DIV>[init -> nitpicker] create session with args: fb_width=510, fb_height=376, fb_format=1, label="blocktest_fb", ram_quota=391712</DIV>
<DIV>[init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00</DIV>
<DIV>Quota exceeded! amount=4096, size=4096, consumed=4096</DIV>
<DIV>[init] vmlinux.2: no route to service "Terminal"</DIV>
<DIV>[init] vmlinux.1: no route to service "Terminal"</DIV>
<DIV>[init -> usb_drv] upgrade quota donation for SIGNAL session</DIV>
<DIV>[init -> linux.1] using xywh=(1,0,510,382) refresh_rate=0</DIV>
<DIV>[init -> linux.2] using xywh=(513,0,510,382) refresh_rate=0</DIV>
<DIV>[init -> http_fb] using xywh=(1,385,510,376) refresh_rate=0</DIV>
<DIV>[init -> blocktest_fb] using xywh=(513,385,510,376) refresh_rate=0</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=1d6b, idProduct=0002</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1</DIV>
<DIV>[init -> usb_drv] dev_info: USB hub found</DIV>
<DIV>[init -> usb_drv] dev_info: 3 ports detected</DIV>
<DIV>[init -> vmlinux.2] l4io_get_root_device: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] l4io_iterate_devices: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.2] int l4re_rm_detach(void*): addr=d800000</DIV>
<DIV>[init -> vmlinux.1] l4io_get_root_device: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] l4io_iterate_devices: Not implemented yet!</DIV>
<DIV>[init -> vmlinux.1] int l4re_rm_detach(void*): addr=d800000</DIV>
<DIV>[init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap</DIV>
<DIV>[init -> http_term] create terminal session</DIV>
<DIV>[init -> http_term] new terminal session:</DIV>
<DIV>[init -> http_term] framebuffer has 510x376 pixels</DIV>
<DIV>[init -> http_term] character size is 8x16 pixels</DIV>
<DIV>[init -> http_term] terminal size is 63x23 characters</DIV>
<DIV>[init -> http_term] Could not open file "config"</DIV>
<DIV>[init -> http_term] Could not obtain config file</DIV>
<DIV>[init -> blocktest_term] create terminal session</DIV>
<DIV>[init -> blocktest_term] new terminal session:</DIV>
<DIV>[init -> blocktest_term] framebuffer has 510x376 pixels</DIV>
<DIV>[init -> blocktest_term] character size is 8x16 pixels</DIV>
<DIV>[init -> blocktest_term] terminal size is 63x23 characters</DIV>
<DIV>[init -> blocktest_term] Could not open file "config"</DIV>
<DIV>[init -> blocktest_term] Could not obtain config file</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0</DIV>
<DIV>[init -> usb_drv] dev_info: USB hub found</DIV>
<DIV>[init -> usb_drv] dev_info: 5 ports detected</DIV>
<DIV>[init -> usb_drv] dev_info: new high-speed USB device number 3 using ehci-omap</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0</DIV>
<DIV>[init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:01</DIV>
<DIV>[init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing</DIV>
<DIV>[init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 11029c0M</DIV>
<DIV>Quota exceeded! amount=8192, size=4096, consumed=8192</DIV>
<DIV>[init -> usb_drv] upgrade quota donation for SIGNAL session</DIV>
<DIV>Quota exceeded! amount=4096, size=4096, consumed=4096</DIV>
<DIV>[init -> nic_bridge] upgrade quota donation for SIGNAL session</DIV>
<DIV>[init -> usb_drv] dev_info: new full-speed USB device number 4 using ehci-omap</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000</DIV>
<DIV>[init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0</DIV>
<DIV>[init] virtual void Genode::Child_policy::exit(int): child exited with exit value -1</DIV></DIV></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV>
<DIV></DIV>
<DIV>thanks.</DIV></DIV>
<DIV align=left><FONT color=#c0c0c0 size=2>2013-03-20 </FONT></DIV><FONT size=2>
<HR style="WIDTH: 122px; HEIGHT: 2px" align=left SIZE=2>
<DIV><FONT color=#c0c0c0 size=2><SPAN>longjks</SPAN>
</FONT></DIV></FONT></BODY></HTML>