L4 Bootstrapper Build: #102 Wed Apr 10 16:53:10 CST 2013, 4.7.2 Scanning up to 1024 MB RAM Memory size is 1024MB (80000000 - c0000000) RAM: 0000000080000000 - 00000000bfffffff: 1048576kB Total RAM: 1024MB mod17: 817e7000-8184b278: genode/ld.lib.so mod16: 817af000-817e6a00: genode/root-ginger.gz mod15: 8142d000-817ae2d8: genode/l4android mod14: 813f2000-8142cba8: genode/terminal_log mod13: 8139c000-813f1c10: genode/terminal mod12: 81357000-8139b140: genode/part_blk mod11: 81317000-81356dc0: genode/nit_fb mod10: 812c8000-81316bec: genode/nitpicker mod09: 81283000-812c76e8: genode/nic_bridge mod08: 811ec000-812827a0: genode/usb_drv mod07: 811ad000-811ebc14: genode/sd_card_drv mod06: 81172000-811ac2dc: genode/omap4_fb_drv mod05: 81137000-81171dbc: genode/timer mod04: 810f1000-811366dc: genode/init mod03: 810ef000-810f0123: genode/config mod02: 81089000-810ee048: genode/core mod01: 8107f000-81088374: sigma0 mod00: 81015000-8107e330: /home/android/Genode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco Moving up to 18 modules behind 81100000 moving module 00 { 81015000-8107e32f } -> { 81937000-819a032f } [430896] moving module 01 { 8107f000-81088373 } -> { 819a1000-819aa373 } [37748] moving module 02 { 81089000-810ee047 } -> { 819ab000-81a10047 } [413768] moving module 03 { 810ef000-810f0122 } -> { 8184c000-8184d122 } [4387] moving module 04 { 810f1000-811366db } -> { 8184e000-818936db } [284380] moving module 05 { 81137000-81171dbb } -> { 81100000-8113adbb } [241084] moving module 06 { 81172000-811ac2db } -> { 8113b000-811752db } [238300] moving module 07 { 811ad000-811ebc13 } -> { 81176000-811b4c13 } [257044] moving module 08 { 811ec000-8128279f } -> { 811b5000-8124b79f } [616352] moving module 09 { 81283000-812c76e7 } -> { 8124c000-812906e7 } [280296] moving module 10 { 812c8000-81316beb } -> { 81291000-812dfbeb } [322540] moving module 11 { 81317000-81356dbf } -> { 812e0000-8131fdbf } [261568] moving module 12 { 81357000-8139b13f } -> { 81320000-8136413f } [278848] moving module 13 { 8139c000-813f1c0f } -> { 81365000-813bac0f } [351248] moving module 14 { 813f2000-8142cba7 } -> { 813bb000-813f5ba7 } [240552] moving module 15 { 8142d000-817ae2d7 } -> { 813f6000-817772d7 } [3674840] moving module 16 { 817af000-817e69ff } -> { 81778000-817af9ff } [227840] moving module 17 { 817e7000-8184b277 } -> { 817b0000-81814277 } [410232] moving module 03 { 8184c000-8184d122 } -> { 81815000-81816122 } [4387] moving module 04 { 8184e000-818936db } -> { 81817000-8185c6db } [284380] Scanning /home/android/Genode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco -serial_esc Scanning sigma0 Scanning genode/core Relocated mbi to [0x8100e000-0x8100e2db] Loading ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco Loading sigma0 Loading genode/core find kernel info page... found kernel info page at 0x80002000 Regions of list 'regions' [ 80001000, 80001a7f] { a80} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco [ 80002000, 80078fff] { 77000} Kern ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco [ 80090000, 8009673b] { 673c} Sigma0 sigma0 [ 80098000, 8009e17b] { 617c} Sigma0 sigma0 [ 80140000, 80285aff] { 145b00} Root genode/core [ 81000000, 810143f3] { 143f4} Boot bootstrap [ 8100e000, 8100e3d8] { 3d9} Root Multiboot info [ 81100000, 8185c6db] { 75c6dc} Root Module API Version: (87) experimental Sigma0 config ip:80090100 sp:81013d24 Roottask config ip:80189f2c sp:00000000 Starting kernel ode/genode-13.02/build.foc_panda/kernel/fiasco.oc/fiasco at 800011c4 L2: ID=410000c7 Type=1e340340 Aux=7e470000 WMask=ffff S=0 L2: Type L2C-310 Size = 1024kB Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28) Boot_alloc: size=0xc Boot_alloc: allocated extra memory block @0xf13e1000 (size=400) Boot_alloc: @ 0xf13e1000 Boot_alloc: remaining free block @ 0xf13e1010 (size=3f0) Boot_alloc: size=0x80 Boot_alloc: @ 0xf13e1010 Boot_alloc: remaining free block @ 0xf13e1090 (size=370) Number of IRQs available at this GIC: 160 Boot_alloc: size=0x280 Boot_alloc: @ 0xf13e1090 Boot_alloc: remaining free block @ 0xf13e1310 (size=f0) Cache config: ON ID_PFR[01]: 00001231 00000011 ID_[DA]FR0: 00010444 00000000 ID_MMFR[04]: 00100103 20000000 01230000 00102111 FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl Startup::stage2 finished SERIAL ESC: allocated IRQ 106 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden Rev: rexporte compiled with gcc 4.7.2 for Pandaboard [] Build: #16 Wed Apr 10 16:53:05 CST 2013 Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28) Allocate 2416 bytes (2KB) for CPU[4] local storage (offset=117fe48, 0xf11e6000-0xf11e6970) Number of CPUs: 2 Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf00661b8-0xf0066b28) done. Allocate 2416 bytes (2KB) for CPU[1] local storage (offset=1180e48, 0xf11e7000-0xf11e7970) SCache config: ON IID_PFR[01]: 00001231 00000011G ID_[DA]FR0: 00010444 00000000 MID_MMFR[04]: 00100103 20000000 01230000 00102111 AFPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl 0CPU[1]: goes to idle loop : Hello! KIP @ 80002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:80000000;80000fff] [0:80079000;8008ffff] [0:80097000;80097fff] [0:8009f000;8013ffff] [4:80140000;80285fff] [0:80286000;8100dfff] [4:8100e000;8100efff] [0:8100f000;810fffff] [4:81100000;8185cfff] [0:8185d000;beffffff] IOMEM:---------------------- [0:0;7fffffff] [0:c0000000;ffffffff] KIP @ 80002000 magic: 4be6344c version: 87014444 sigma0 esp: 81013d24 eip: 80090100 sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 80189f2c MBI @ 8100e000 mod[3] [81815000,81816123) config mod[4] [81817000,8185c6dc) init mod[5] [81100000,8113adbc) timer mod[6] [8113b000,811752dc) omap4_fb_drv mod[7] [81176000,811b4c14) sd_card_drv mod[8] [811b5000,8124b7a0) usb_drv mod[9] [8124c000,812906e8) nic_bridge mod[10] [81291000,812dfbec) nitpicker mod[11] [812e0000,8131fdc0) nit_fb mod[12] [81320000,81364140) part_blk mod[13] [81365000,813bac10) terminal mod[14] [813bb000,813f5ba8) terminal_log mod[15] [813f6000,817772d8) l4android mod[16] [81778000,817afa00) root-ginger.gz mod[17] [817b0000,81814278) ld.lib.so :ram_alloc: Allocator 8026f4b4 dump: Block: [80000000,8000001c) size=0000001c avail=00000000 max_avail=00000000 Block: [8000001c,80000038) size=0000001c avail=00000000 max_avail=00000fc8 Block: [80000038,80001000) size=00000fc8 avail=00000fc8 max_avail=00000fc8 Block: [80079000,8007901c) size=0000001c avail=00000000 max_avail=00016fe4 Block: [8007901c,80090000) size=00016fe4 avail=00016fe4 max_avail=00016fe4 Block: [80097000,8009701c) size=0000001c avail=00000000 max_avail=00016fe4 Block: [8009701c,80097038) size=0000001c avail=00000000 max_avail=00000000 Block: [80097038,80097054) size=0000001c avail=00000000 max_avail=00000000 Block: [80097054,80097070) size=0000001c avail=00000000 max_avail=00000000 Block: [80097070,8009708c) size=0000001c avail=00000000 max_avail=00000000 Block: [8009708c,800970a8) size=0000001c avail=00000000 max_avail=00000000 Block: [800970a8,800970c4) size=0000001c avail=00000000 max_avail=00000000 Block: [800970c4,800970e0) size=0000001c avail=00000000 max_avail=00000000 Block: [800970e0,800970fc) size=0000001c avail=00000000 max_avail=3d7a3000 Block: [800970fc,80097118) size=0000001c avail=00000000 max_avail=00000000 Block: [80097118,80097134) size=0000001c avail=00000000 max_avail=00000eb0 Block: [80097134,80097150) size=0000001c avail=00000000 max_avail=00000000 Block: [80097150,80098000) size=00000eb0 avail=00000eb0 max_avail=00000eb0 Block: [8009f000,8009f01c) size=0000001c avail=00000000 max_avail=3d7a3000 Block: [8009f01c,80140000) size=000a0fe4 avail=000a0fe4 max_avail=000a0fe4 Block: [80286000,8100e000) size=00d88000 avail=00d88000 max_avail=3d7a3000 Block: [8100f000,81100000) size=000f1000 avail=000f1000 max_avail=3d7a3000 Block: [8185d000,bf000000) size=3d7a3000 avail=3d7a3000 max_avail=3d7a3000 => mem_size=1047355392 (998 MB) / mem_avail=1047354944 (998 MB) :region_alloc: Allocator 80270624 dump: Block: [00001000,40000000) size=3ffff000 avail=3ffff000 max_avail=3ffff000 Block: [50000000,80000000) size=30000000 avail=30000000 max_avail=3ffff000 Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=3ffff000 Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000 Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=3ffff000 Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=00ff0000 Block: [bf000000,bfff0000) size=00ff0000 avail=00ff0000 max_avail=00ff0000 Block: [bfff1000,c0000000) size=0000f000 avail=0000f000 max_avail=0000f000 => mem_size=1896361984 (1808 MB) / mem_avail=1896361984 (1808 MB) :io_mem: Allocator 8026f910 dump: Block: [00000000,80000000) size=80000000 avail=80000000 max_avail=80000000 Block: [80001000,80002000) size=00001000 avail=00001000 max_avail=80000000 Block: [80003000,80079000) size=00076000 avail=00076000 max_avail=00076000 Block: [80090000,80097000) size=00007000 avail=00007000 max_avail=00076000 Block: [80098000,8009f000) size=00007000 avail=00007000 max_avail=80000000 Block: [bf000000,ffffffff) size=40ffffff avail=40ffffff max_avail=40ffffff => mem_size=3238547455 (3088 MB) / mem_avail=3238547455 (3088 MB) :io_port: Allocator 8026fd6c dump: :irq: Allocator 802701c8 dump: Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100 => mem_size=256 (0 MB) / mem_avail=256 (0 MB) :rom_fs: Rom_fs 80270ed8 dump: Rom: [8113b000,811752dc) omap4_fb_drv Rom: [8124c000,812906e8) nic_bridge Rom: [813f6000,817772d8) l4android Rom: [81817000,8185c6dc) init Rom: [81815000,81816123) config Rom: [80002000,80003000) kip Rom: [80002000,80003000) l4v2_kip Rom: [817b0000,81814278) ld.lib.so Rom: [81291000,812dfbec) nitpicker Rom: [812e0000,8131fdc0) nit_fb Rom: [81365000,813bac10) terminal Rom: [81778000,817afa00) root-ginger.gz Rom: [81320000,81364140) part_blk Rom: [81176000,811b4c14) sd_card_drv Rom: [81100000,8113adbc) timer Rom: [813bb000,813f5ba8) terminal_log Rom: [811b5000,8124b7a0) usb_drv :core ranges: Allocator 80272c38 dump: Block: [80000000,80001000) size=00001000 avail=00001000 max_avail=00001000 Block: [80079000,80090000) size=00017000 avail=00017000 max_avail=00017000 Block: [80097000,80098000) size=00001000 avail=00001000 max_avail=3dff1000 Block: [8009f000,8100e000) size=00f6f000 avail=00f6f000 max_avail=3dff1000 Block: [8100f000,bf000000) size=3dff1000 avail=3dff1000 max_avail=3dff1000 => mem_size=1056411648 (1007 MB) / mem_avail=1056411648 (1007 MB) ##########################Native_capability int main(): --- create local services --- int main(): ###########################################My--- create local services --- ##########################Native_capability ##########################Native_capability int main(): --- start init --- int main(): transferred 998 MB to init ##########################Native_capability int main(): --- init created, waiting for exit condition --- [init -> sd_card_drv] --- OMAP4 SD card driver --- [init -> timer] args='label="sd_card_drv", ram_quota=4096' [init -> timer] args='label="fb_drv", ram_quota=4096' [init -> timer] args='label="usb_drv", ram_quota=4096' [init -> log_term] int main(int, char**): --- terminal service started --- [init -> nic_bridge] Could not open file "config" [init -> nic_bridge] Could not obtain config file [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> android_term] int main(int, char**): --- terminal service started --- [init -> usb_drv] void start_usb_driver(): No config node found - not starting the USB Storage (Block) service [init -> timer] args='label="usb_drv", ram_quota=4096' [init -> l4android] Booting L4Linux ... [init -> sd_card_drv] ###########Sd_card::Card_info _init Card_info card_info = _detect() before [init -> sd_card_drv] CID: 0xb400d3f3 0x80060f63 0x55303447 0x03534453 [init -> sd_card_drv] RCA: 0xaaaa [init -> sd_card_drv] Csd3::Version::get(csd.csd3) = 1 [init -> sd_card_drv] ###########Sd_card::Card_info _init Card_info card_info = _detect() [init -> sd_card_drv] ###########Sd_card::Card_info _init Set_bus_width(FOUR_BITS) [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02 [init -> nitpicker] framebuffer is 1024x768@1 [init -> sd_card_drv] ###########Sd_card::Card_info _init _delayer.usleep [init -> sd_card_drv] ###########Sd_card::Card_info _init set_and_enable_clock(CLOCK_DIV_0, _delayer) [init -> sd_card_drv] ###########Sd_card::Card_info _init before return card_info ##########################Native_capability ##########################Native_capability [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 3781 MiB [init -> nitpicker] create session with args: fb_width=640, fb_height=480, fb_format=1, label="android_fb", ram_quota=622592 virtual void Genode::Signal_session_component::submit(Genode::Signal_context_capability, unsigned int): invalid signal-context capability virtual void Genode::Pager_activation_base::entry(): Could not resolve pf=400fef3c ip=1023ad0 [init -> l4android] ======> L4Linux starting... <======== [init -> l4android] Linux version 3.5.0-l4-gbf83cc8-dirty (android@ubuntu) (gcc version 4.7.2 (GCC) ) #16 SMP Wed Apr 10 16:52:50 CST 2013 [init -> l4android] Binary name: vmlinux [init -> l4android] This is an AEABI build. [init -> l4android] Linux kernel command line (3 args): mem=128M console=ttyS0 l4x_rd=root-ginger.gz [init -> nitpicker] Could not open file "config" [init -> nitpicker] Could not obtain config file [init -> l4android] CPU mapping (l:p)[0]: Image: 01000000 - 01400000 [4096 KiB]. [init -> l4android] Areas: Text: 01000000 - 0134c000 [3376kB] (a bit longer) [init -> l4android] Data: 0134c000 - 01378cc0 [179kB] [init -> l4android] Initdata: 01326000 - 0134b4c0 [149kB] [init -> l4android] BSS: 01379000 - 013bdddc [275kB] [init -> nitpicker] create session with args: fb_width=1024, fb_height=268, fb_format=1, label="android_term_fb", ram_quota=557056 [init -> nitpicker] create session with args: fb_width=380, fb_height=480, fb_format=1, label="log_term_fb", ram_quota=372992 [init -> usb_drv] Registered 14 zone allocators [init -> android_fb] using xywh=(0,0,640,480) refresh_rate=25 [init -> android_term_fb] using xywh=(0,482,1024,268) refresh_rate=25 [init -> log_term_fb] using xywh=(642,0,380,480) refresh_rate=25 [init -> timer] args='label="android_fb", ram_quota=4096' [init -> timer] args='label="android_term", ram_quota=4096' [init -> timer] args='label="android_term_fb", ram_quota=4096' [init -> timer] args='label="log_term", ram_quota=4096' [init -> timer] args='label="log_term_fb", ram_quota=4096' [init -> android_term] Could not open file "config" [init -> android_term] Could not obtain config file [init -> android_term] cell size is 8x16 [init -> log_term] Could not open file "config" [init -> log_term] Could not obtain config file [init -> log_term] cell size is 8x16 [init -> log_term] create terminal session [init -> log_term] new terminal session: [init -> log_term] framebuffer has 380x480 pixels [init -> log_term] character size is 8x16 pixels [init -> log_term] terminal size is 47x30 characters [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> l4android] Device scan done. [init -> l4android] attach failed start=10000 [init -> timer] args='label="l4android", ram_quota=4096' [init -> l4android] main thread will be f [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] section-with-init: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> l4android] Main thread running, waiting... [init -> l4android] thread=f000 cpu=0 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> l4android] Main memory size: 128MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 8000000 to fffffff [131072 KiB] [init -> l4android] Main memory: Phys: 0x88000000 to 0x90000000, Size: 134217728 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 01000000 size = 4194304 [init -> l4android] text: virt: 1000000 to 13fffff [4096 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 1000000. [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1325eef [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 134c000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13bdddb [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1000000 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 13fffff [init -> l4android] l4x_rd_path: root-ginger.gz [init -> l4android] Loading: root-ginger.gz [init -> l4android] INITRD: Size of RAMdisk is 224KiB [init -> l4android] RAMdisk from 00020000 to 00058000 [224KiB] [init -> l4android] l4timer: Using IRQ210 [init -> timer] args='label="l4android", ram_quota=4096' [init -> android_term] create terminal session [init -> android_term] new terminal session: [init -> android_term] framebuffer has 1024x268 pixels [init -> android_term] character size is 8x16 pixels [init -> android_term] terminal size is 128x16 characters [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bc8 [init -> l4android] l4x_virt_to_phys: Could not translate virt. address 1235bc8 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> l4android] ###########################genode_block_count=0 start 2 [init -> l4android] ###########################genode_block_count=1 2 [init -> l4android] ###########################genode_block_count=1 env()->heap()->alloc 2 [init -> l4android] ###########################sn_cnt=1 2 [init -> l4android] ###########################label=sda 2 [init -> usb_drv] dev_info: OMAP-EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 Quota exceeded! amount=4096, size=4096, consumed=4096 [init -> usb_drv] upgrading quota donation for SIGNAL session [init -> usb_drv] Registered 14 zone allocators ##########################Native_capability [init -> usb_drv] dev_info: irq 109, io mem 0x4a064c00 [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_info: New USB device found, idVendor=1d6b, idProduct=0002 [init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=1 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 3 ports detected [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-omap [init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=9514 [init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0 [init -> usb_drv] dev_info: USB hub found Quota exceeded! amount=8192, size=4096, consumed=8192 [init -> usb_drv] upgrading quota donation for SIGNAL session [init -> usb_drv] dev_info: 5 ports detected [init -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-omap [init -> usb_drv] No DMA phys addr for a010ec zone: -1 [init -> usb_drv] No DMA phys addr for a010ec zone: -1 [init -> usb_drv] No DMA phys addr for a010ec zone: -1 [init -> usb_drv] dev_info: New USB device found, idVendor=05c6, idProduct=9000 [init -> usb_drv] dev_info: New USB device strings: Mfr=3, Product=2, SerialNumber=0 [init -> usb_drv] dev_info: new high-speed USB device number 4 using ehci-omap [init -> usb_drv] dev_info: New USB device found, idVendor=0424, idProduct=ec00 [init -> usb_drv] dev_info: New USB device strings: Mfr=0, Product=0, SerialNumber=0 [init -> usb_drv] Using configured mac: 2e:60:90:0c:4e:02 [init -> usb_drv] netif_info: open: enable queueing (rx 4, tx 60) mtu 1488 simple framing [init -> usb_drv] netif_info: register 'smsc95xx' at usb-ehci-omap-1.1, smsc95xx USB 2.0 Ethernet, 10a3568M Quota exceeded! amount=12288, size=4096, consumed=12288 [init -> usb_drv] upgrading quota donation for SIGNAL session Quota exceeded! amount=4096, size=4096, consumed=4096 [init -> nic_bridge] upgrading quota donation for SIGNAL session