users

users@lists.genode.org

2 participants
2322 discussions

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

Low performance of L4Linux network
by Ivan Loskutov 20 Mar '13

20 Mar '13

Hello there. I've tested network performance of L4Linux network on real hardware and have not good results http://ksyslabs.org/doku.php?id=genode_network_perfomance Performance is very low. Do you have any ideas how to increase it? -- Ivan Loskutov

1 0

Conquering NUMA land
by Norman Feske 19 Mar '13

19 Mar '13

Hello, I got repeatedly asked about our plans to scale Genode towards hardware platforms with non-uniform memory architectures (NUMA), i.e., manycore systems. This posting is meant as a rough collection of ideas. It is not an immediate call for action, nor an actual plan. But maybe it will spawn a worthwhile discussion on the subject, so that we can develop a tangible way forward together. Until now, multi-core platforms have not received much attention by Genode because the framework has primarily been used on hardware with only a few CPU cores and the work loads carried by the framework had been relatively light-weight. This manifests in the current state of the implementation. For example, on Fiasco.OC, we use a single pager thread within core to resolve all page faults in the system, which implies costly inter-processor interrupts (IPI) when page faults occur on CPUs that are remote to the pager thread. As another example for current deficiencies, several data structures within core are accessed in a serialized fashion. If threads of different CPUs need to access those data structures concurrently, those points of contention naturally become scalability bottlenecks. Concurrent page-fault handling ------------------------------ On a multi-core system, CPU-local page fault handling is desired. Genode's core-internal page-fault handling could be changed relatively easily to a model where we use one page-fault handler per CPU. This way, the delivery of page-fault messages would not involve any IPIs. I think that this step is clearly beneficial. On NOVA, we already employ a scheme where each thread has a dedicated page-fault-handler in core. So we have already implemented the fine-grained synchronization of the data structures within core needed for that. Here, page faults caused by different threads are effectively handled in parallel. (we are not using multiple CPUs no NOVA yet, though) Applying a similar scheme to other kernels such as Fiasco.OC would be a relatively small step. However, the page-fault handlers would still operate on the shared data structures such as the allocator for physical memory or RM sessions. So synchronization of those data structures is needed. To completely localize PF-handling and remove synchronization between different CPUs, we would need to localize data structures as well. This is a much harder problem, which can be tackled by replicating data or partitioning. Both approaches will ultimately increase the complexity of Genode's core and also introduce the need to feed core with platform parameters and policies. This is something that I'd like to avoid. After all, the low complexity of the Genode base system is one of its strongest points. Challenges of NUMA ------------------ When looking a step further, to NUMA systems, we will further find that we also need to localize code. For example, the code and data that is involved in executing the page-fault handling should always be close to the core on which the faulting thread is running. With this in mind, the system will get even more complicated. These observations make me hesitant to extend core beyond the basic implementation of the multi-threaded page-fault handling. VCore - Virtualizing Genode's core ---------------------------------- However, I see an alternative way, which is actually pretty similar to the concept employed in Barrelfish: Co-hosting multiple loosely coupled subsystems on one machine. We could try to leverage Genode's recursive nature to solve the problem atop of core by introducing CPU-local branches of the Genode process tree. The basic idea would be to virtualize core's CPU, RAM, and RM services by using a new component (let's call it vcore for now). Any number of vcores can run at a time whereas each vcore is responsible for a set of physical CPUs and their associated CPU-local memory resources. Each vcore is a runtime environment that can be supplied with a configuration that describes the subsystem to execute, similar to Genode's init process. In addition, the configuration comes with the information about the physical CPUs and memory ranges that the vcore instance should manage. For all Genode components running on top of a vcore instance, its respective vcore instance looks just like core. When a vcore instance is started, it will read its configuration to obtain the ranges of physical RAM it should manage. It will then allocate the those ranges at core and map (and fault-in) them locally. This step may be slow but it is done only once at the startup of vcore. So basically, the vcore instance is sucking out all the RAM that belongs to its resource partition from core. With the current interface of Genode's core, this is not possible. So we need to slightly extend core to accommodate this use case. When starting its children, vcore will not hand out core's RAM and RM sessions to the child but implement those services itself. So each time a process of the subsystem performs a RAM allocation or attaches a dataspace to its RM session, those requests will be handled and monitored by vcore. By virtualizing the RM session, vcore can furthermore hook-in itself as the page-fault handler of those processes. Hence, page faults are always handled locally by the corresponding vcore. On Genode, the page-fault handling is actually a library, which principally allows for processing page-fault handling outside of core (although we have never attempted to use this library outside of core so far). So this idea seems feasible to me. Now, with handling page faults local to each vcore, we naturally eliminate cross-CPU talk. However, we need to consider cases where a process inside a vcore environment wants to access a dataspace provided by a process outside of its vcore, for example, when using a resource multiplexer such as the nitpicker GUI server. In this case, vcore is unable to resolve the page fault because it has not created the corresponding dataspace (it was created by nitpicker using core's RAM service). However, there is always the real core underneath all vcore's, which has a complete view of the system. So vcore could forward such non-vcore-local page-faults to core. Nifty, isn't it? Naturally, such non-local page faults will carry an overhead by taking a hop though vcore. But access to those non-local resources is expected to be slow (and rare) anyway. There is still one constellation that cannot be accommodated this way, which is the direct sharing of dataspaces between different vcores. Is this feasible? ----------------- Right now, the vcore idea is just a rough sketch. Admittedly I cannot give a substantial estimate on how successful it may be as I am lacking the experience in the domain of manycore systems, nor do I have access to a large NUMA machine. So I hope that someone of you may step in to share actual experiences or to point out flaws with this idea. I already see a few limitations. For example, even though the vcore idea looks like a nice solution for the problem space covered by Genode, there are problems lying outside the scope of Genode that may severe impede the system's scalability even if the concept works out as desired, namely the kernel. The kernel needs to address the CPU locality problem for its own operations, in particular IPC, too. How to go about that problem? Apart from that, I see additional challenges related to devices, such as the CPU-local handling of device interrupts or the access of MMIO device resources. However, if going for the vcore concept, I see plenty of topics that could be pursued building upon that, for example the implementation of dynamic load balancing, or dynamically changing vcore policies, or extending vcore for power management. What do you think? Would the vcore idea be worthwhile to explore? Those of you experienced in the field of manycore NUMA systems, do you see additional pitfalls? Or even better, does anyone has alternative ideas to explore? Also, I am very interested in ways to validate work in this domain. How can we measure our success? Best 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

Issue in run/demo using foc_imx53 biuld directory
by vamsi krishna 18 Mar '13

18 Mar '13

Hi, I wanted to build Fiasco microkernel for imx53 board. i downloaded the genode-13.02. I created the build directory by using the following command. ./tool/create_builddir foc_imx53 BUILD_DIR=build After that when i am trying to run following command $ make run/demo i got the following error Library timer COMPILE main.o In file included from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_session_component.h:26:0, from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_root.h:23, from /home/vamsi/genode-13.02/os/src/drivers/timer/main.cc:19: /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h: In member function ‘long unsigned int Platform_timer::curr_time() const’: /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:63:41: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::value(bool&)’ discards qualifiers [-fpermissive] /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:65:55: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::max_value()’ discards qualifiers [-fpermissive] /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:72:43: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::tics_to_us(long unsigned int)’ discards qualifiers [-fpermissive] make[3]: *** [main.o] Error 1 make[2]: *** [timer.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/vamsi/genode-13.02/fiasco' Error: Genode build failed make: *** [run/demo] Error 252 Regards, S. Vamsi Krishna, 2nd Year M.Tech | CSE, Network Systems Lab, IITM.

3 2

Physical memory allocation.
by Daniel Waddington 18 Mar '13

18 Mar '13

Hi, For the purpose of NUMA based memory management, I would like to have Genode allow me to allocate physical memory at a specified address, i.e., support something like... |||||||||virtual| ||Ram_dataspace_capability ||alloc||_at(|||size_t ||size|||, addr_t start_address, |||bool ||cached|| |=| true|)||| ||=| 0|; I figure I can temporarily hack this by extending Ram_session_component::alloc and using Range_allocator::alloc_addr. Is there any danger here? Can Genode be persuaded to extend the main line to support this? An address range parameter instead of start address would be even better, i.e., try to allocate me some RAM somewhere between physical address X and Y. Best, Daniel |||||||

2 1

error in make run/l4linux on fiasco.oc
by yuqing wang 12 Mar '13

12 Mar '13

hi i want to get the l4linux running.i followed the step according to source tree file --genode/base-foc/doc/foc.txt.i did make prepare in 'ports-foc' and 'dde_ipxe' repository in genode source tree. i edited the 'etc/build.conf' file in my build directory,and uncomment the following line : REPOSITORIES += $(GENODE_DIR)/dde_ipxe REPOSITORIES += $(GENODE_DIR)/ports-foc i downloaded the 'inird.gz' file and resided it in 'bin' in my build directory. i thought i did everything well, but when i make run/l4linx ,there comes a issue,here is the message: using run script /home/wangyuqing/下载/genode/base-foc/run/env using run script /home/wangyuqing/下载/genode/ports-foc/run/l4linux.run building targets: core init drivers/timer drivers/uart drivers/framebuffer l4linux drivers/nic drivers/pci drivers/input/ps2 spawn make core init drivers/timer drivers/uart drivers/framebuffer l4linux drivers/nic drivers/pci drivers/input/ps2 make[1]: 正在进入目录 `/home/wangyuqing/下载/genode_focx86_builddir' checking library dependencies... Skip target core/arndale because it requires arm foc_arndale Skip target core/imx53 because it requires arm foc_imx53 Skip target core/panda because it requires arm foc_panda Skip target core/pbxa9 because it requires arm foc_pbxa9 Skip target core/vea9x4 because it requires arm foc_vea9x4 Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/nic/lan9118 because it requires lan9118 Skip target drivers/nic/linux because it requires linux Skip target drivers/pci/device_pd because it requires nova Skip target drivers/uart/omap4 because it requires omap4 Skip target drivers/uart/pl011 because it requires pl011 Skip target l4linux/arm because it requires arm Program drivers/framebuffer/pl11x/ Library platform Library cxx Library syscall Library startup Library base-common Library base Library blit Program drivers/framebuffer/vesa/vesa_drv Program drivers/input/ps2/x86/ps2_drv Library alarm Library dde_kit Library dde_ipxe_support Library dde_ipxe_nic Program drivers/nic/nic_drv Program drivers/pci/x86/pci_drv Library timer Program drivers/timer/timer Program drivers/uart/i8250/uart_drv Library init_pd_args Program init/init Library l4lx Library l4sys Program l4linux/x86_32/vmlinux make[6]: 没有什么可以做的为 `all'。 =============================================== For quick build instructions, please visit: http://wiki.tudos.org/Quickstart http://l4linux.org/build.shtml =============================================== make[6]: 没有什么可以做的为 `all'。 Using /home/wangyuqing/下载/genode/ports-foc/contrib/l4linux as source for kernel GEN /home/wangyuqing/下载/genode_focx86_builddir/l4linux/Makefile CHK include/linux/version.h CHK include/generated/utsrelease.h CALL /home/wangyuqing/下载/genode/ports-foc/contrib/l4linux/scripts/checksyscalls.sh CHK include/generated/compile.h LINK vmlinux LD vmlinux.o MODPOST vmlinux.o WARNING: modpost: Found 2 section mismatch(es). To see full details build your kernel with: 'make CONFIG_DEBUG_SECTION_MISMATCH=y' GEN .version CHK include/generated/compile.h UPD include/generated/compile.h CC init/version.o LD init/built-in.o KSYM .tmp_kallsyms1.o KSYM .tmp_kallsyms2.o LD vmlinux SORTEX vmlinux sort done marker at 399e58 SYSMAP System.map OBJCOPY arch/l4/boot/Image Kernel: arch/l4/boot/Image is ready Building modules, stage 2. MODPOST 98 modules WARNING: modpost: Found 1 section mismatch(es). To see full details build your kernel with: 'make CONFIG_DEBUG_SECTION_MISMATCH=y' Program core/x86/core make[1]:正在离开目录 `/home/wangyuqing/下载/genode_focx86_builddir' genode build completed using fiasco kernel /home/wangyuqing/下载/genode_focx86_builddir/kernel/fiasco.oc/fiasco using sigma0/bootstrap at /home/wangyuqing/下载/genode_focx86_builddir/l4 creating ISO image... spawn qemu-system-i386 -no-kvm -m 128 -nographic -serial file:kdb.log -serial mon:stdio -smp 2,cores=2 -net nic,model=e1000 -net user -cdrom var/run/l4linux.iso Error: Test execution timed out make: *** [run/l4linux] 错误 254 how can i fix it Regards

3 4

Issue in make run/demo
by yuqing wang 10 Mar '13

10 Mar '13

Hi I am new in Genode.I downloaded genode and genodetoolchain fromhttp://genode.org/download<http://genode.org/download/tool-chain>. After I followed the step according to http://genode.org/documentation/developer-resources/getting_started , I was getting a issue. I followed the step to build genode for linux.After make run/demo,these message was shown: spawn ./core int main(): --- create local services --- int main(): --- start init --- int main(): transferred 4095 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64... [init -> nitpicker] framebuffer is 1024x768@...23... [init -> nitpicker] create session with args: fb_format=1, label="launchpad", ram_quota=1646592 [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> nitpicker] create session with args: fb_width=400, fb_height=1504, fb_format=1, label="launchpad", ram_quota=1211392 [init -> timer] args='label="launchpad", ram_quota=4096' [init -> launchpad] --- entering main loop --- It seemed that something was wrong, but it did work.I am getting the GUI. But when i contiued the experiment--build genode for fiasco,almost same message was shown,but i got no GUI. int main(): --- create local services --- int main(): --- start init --- int main(): transferred 229 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> pci_drv] PCI driver started [init -> pci_drv] Could not open file "pci_device_pd" [init -> pci_drv] PCI device protection domain for IOMMU support is not available [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 106a000 [init -> pci_drv] Could not open file "config" [init -> pci_drv] Could not obtain config file [init -> pci_drv] PCI config space data could not be parsed. [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] Found: VESA BIOS version 2.0 [init -> vesa_drv] OEM: VGABIOS Cirrus extension [init -> vesa_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 400000 [init -> nitpicker] framebuffer is 1024x768@...23... [init -> nitpicker] create session with args: fb_format=1, label="launchpad", ram_quota=1646592 [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> nitpicker] create session with args: fb_width=400, fb_height=1504, fb_format=1, label="launchpad", ram_quota=1211392 [init -> timer] args='label="launchpad", ram_quota=4096' [init -> launchpad] --- entering main loop --- Is this right?I am not sure whether it really has no GUI to show or i made some mistakes. I am using ubuntu 12.04 LTS. regards kukar

2 2

Announcement: Genode OS Framework version 13.02 released
by Norman Feske 28 Feb '13

28 Feb '13

I am delighted to announce the release of Genode version 13.02. The overall theme of this version is improving the framework's platform support. This is most prominently visible in the form of the many NOVA-specific improvements and the addition of the Cortex-A15-based Exynos 5250 SoC. But those are only a small part of the whole story, which is described in full detail in the release notes: http://genode.org/documentation/release-notes/13.02 The release-notes summary follows: - DMA protection via IOMMU (NOVA/x86) - Full virtualization via the Vancouver VMM (NOVA/x86) - Redesigned audio-output support for low latency - Base API and OS infrastructure - New fault-detection facility - New mechanism for file-system notifications - New terminal multiplexer - Device drivers - ACPI support for 64-bit machines - New OMAP4 UART driver - USB support for Samsung Exynos 5250 - Base platforms - Custom kernel platform with added support for Samsung Exynos 5250 and Freescale i.MX53 - NOVA kernel improved for highly dynamic workloads - Fiasco.OC kernel forked, Exynos-5250 support added - Improved memory management on Linux I wish you a lot of fun with exploring the new version! Cheers 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

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users