users March 2013

users@lists.genode.org

17 participants
16 discussions

Using C++11 by default
by Norman Feske 17 Sep '13

17 Sep '13

Hello, I would like to go with the times and switch Genode to use C++11 by default. This will enable us to solve a number of problems in a more elegant way, e.g., by using variadic templates for the RPC framework, we can possibly get rid of the current limit of the number of RPC functions supported by the 'GENODE_RPC_INTEFACE' declarations. Are there any objections from Genode users? For example, is anyone of you still using a custom tool chain that does not support C++11? If no one disagrees, I would go forward and add '-std=gnu++11' as default argument to g++. Regards Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

3 5

l4android can not run rightly on Pandaboard?
by longjks 30 May '13

30 May '13

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

2 17

how to install Genode on PC machine
by Jian Liu 15 Apr '13

15 Apr '13

Hi Norman, With your help, I have now some experiences on Genode, such as building and demo it in Qemu. I have also learned about the whole structure of source code and some calling relastionship in the system. Now I try to install Genode in my PC (the physical machine) and boot it from hard drivers. So I can see avaliablity and response time from applications such as Arora, which is really some slow in Qemu. But I don't know to do it. Could you give me some directions? Thanks. I have found some guy sent similar question in the mail list last year as, http://sourceforge.net/mailarchive/forum.php?thread_name=4FB142EF.2080407%4… But there is no detail explainations and steps how to do it. I wonder if there is any document on how to install Genode in a PC. Which hardwares does it support now? and how to config drivers code for network card, usb etc? Best, Jian

4 22

Interrupts in L4Linux
by Alexander Tarasikov 05 Apr '13

05 Apr '13

Hello, Genode Hackers! I'm currently implementing an X86 PCI bus driver for L4Linux as a temporary solution for getting USB support in L4Linux. Current genode-side code is presented below. The l4linux patch is not ready, but I've submitted the relevant part of the diff to pastebin (it's only makefile and kconfig anyway) https://github.com/Ksys-labs/genode/blob/pci_wip/ports-foc/src/drivers/geno… https://github.com/Ksys-labs/genode/blob/pci_wip/ports-foc/src/lib/l4lx/gen… https://github.com/Ksys-labs/genode/blob/pci_wip/ports-foc/src/lib/l4lx/l4_… http://pastebin.com/9c37tuJR I have implemented the linux driver which calls the Genode pci service routines. I have also extended the l4lx io library to allow mapping pci memory space. With this patches, the ehci and ohci drivers probe in linux, but fail to work because interrupts are not triggered. I have implemented the fake irq thread which kicks the irq handler every millisecond and with that usb works. This indicates that the pci subsystem and memory mapping are I've got some questions regarding interrupt handling in L4Linux and Genode in general. 1. Why are NR_IRQS_HW interrupts reserved on X86 in l4linux? The EHCI controller wants the interrupt number 11 which is lower than NR_IRQS_HW. Ok, I worked around that by editing the constant and removing the "BUG_ON(NR_REQUESTABLE < 1)" in arch/l4/kernel/irq.c init_array function 2. How are capabilities actually assigned? it would seem to me that l4x_register_irq allocates the capabilitiies in the first available slot, but l4x_have_irqcap looks it up by index. I've worked around it by explicitely allocating 12 capabilities via l4x_cap_alloc, but still got error -2004 on irq attach. Now, I've had success in attaching irq after I allocated the capability via the following code in l4lx: Genode::Foc_cpu_session_client cpu(Genode::env()->cpu_session_cap()); p->irq_cap = cpu.alloc_irq().dst(); 3. what's the purpose of multiplying the irq number by four in l4_msgtag_t ret = l4_irq_attach(p->irq_cap, data->irq << 2, l4x_cpu_thread_get_cap(p->cpu));? As far as I can see, in the base-foc irq implementation, irq number is never multiplied 4. non-genode question, probably. Do EHCI/PCI interrupts need a special kick to work? I've tried using Genode::Irq_session for irq11, but wait_for_irq never returns. On the other hand, I've tried the regular linux iso on the same machine (which is actually qemu) and the ehci interrupt is indeed 11 and it works fine there. So, the question is, why is interrupt handling broken and the only working interrupt in l4linux is timer which actually uses L4 timer ipc instead of irq and how this should be fixed. Also, what do you think of making a "genode" arch for linux and getting rid of l4linux which uses the Fiasco.OC API bypassing Genode interfaces? -- Regards, Alexander

6 12

static linking libc.
by Daniel Waddington 02 Apr '13

02 Apr '13

Hi, I have a problem with all my threads in a multi-threaded program dead-locking on some (cancelable) lock in ld.lib.so. At this point it is difficult to tell what is happening. Is there a way to force libc to link statically? Daniel

3 3

Upgrading quota donation
by Daniel Waddington 29 Mar '13

29 Mar '13

As I understand, the quota donation for Env::RM session is dynamically upgraded in 4K increments. Is there a way to explicitly perform a larger donation to prevent this happening? Thanks Daniel

1 0

Memory for statics
by Daniel Waddington 29 Mar '13

29 Mar '13

Hi, I have a situation where if I declare a certain static class (as a static member of a declared class) I seem to run out of memory during program load. void * operator new (Genode::size_t size, Genode::Allocator *allocator) tries to throw an exception, but this seems to turn into a page fault may be because it is unhandled. Is there a limit on the BSS size or something? I'm now thinking I should avoid this anyway, but I am intrigued to know what is going on. Best, Daniel

1 0

Resource leakage?
by Petr Ovtchenkov 25 Mar '13

25 Mar '13

Hello, File ports-foc/src/lib/l4lx/rm.cc, in method Region_manager::reserve_range I see possible resource leakage: Region* Region_manager::reserve_range(Genode::size_t size, int align, Genode::addr_t start) { using namespace Genode; void* addr = 0; while (true) { try { /* * We attach a managed-dataspace as a placeholder to * Genode's region-map */ Rm_connection *rmc = new (env()->heap()) Rm_connection(0, size); addr = start ? env()->rm_session()->attach_at(rmc->dataspace(), start) : env()->rm_session()->attach(rmc->dataspace()); //PDBG("attach done addr=%p!", addr); break; } catch(Rm_session::Attach_failed e) { PWRN("attach failed start=%lx", start); if (start) /* attach with pre-defined address failed, so search one */ start = 0; else return 0; } } /* * Mark the region reserved, in our region-map by setting the * dataspace reference to zero. */ alloc_addr(size, (addr_t)addr); Region reg((addr_t)addr, size, 0); metadata(addr, reg); return metadata(addr); } If env()->rm_session()->attach_at or env()->rm_session()->attach throw exception (looks, this is normal flow), then rmc and space, allocated from env()->heap() will be lost, right? -- With best regards, -- ptr

2 2

Standard placement operator
by Daniel Waddington 23 Mar '13

23 Mar '13

Hi, Sorry for the dumb question, but how do I use the std c++ new placement operator which take void *, i.e. void * p = ::malloc(256); T * obj = new (p) T(); When I try to use this it cannot find the operator, only the Genode allocator version. I have 'cxx' in my target.mk Thanks Daniel

3 11

two_linux_panda can not work rightly?
by longjks 22 Mar '13

22 Mar '13

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

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users March 2013