L4 Bootstrapper Build: #37 Mi 2. Nov 11:30:26 CET 2011, 4.5.1 RAM: 0000000080000000 - 000000008fffffff: 262144kB Total RAM: 256MB mod12: 8159c000-8189c000: ramdisk-arm.rd mod11: 812aa000-8159b444: vmlinuz.arm mod10: 812a9000-812a925c: arm-omap3-bb.io mod09: 812a8000-812a880d: arm-omap3-bb.devs mod08: 8127e000-812a75b4: fb-drv mod07: 811f0000-8127d468: mag mod06: 81115000-811efb54: io mod05: 81114000-81114317: l4lx-bb.cfg mod04: 810c0000-811131b4: ned mod03: 810a6000-810bf424: l4re mod02: 8106c000-810a55ec: moe mod01: 81062000-8106b338: sigma0 mod00: 81015000-81061c2c: fiasco Moving 13 modules to 81100000 with offset eb000 moving module 13 { 8159c000-8189c000 } -> { 81687000-81987000 } moving module 12 { 812aa000-8159b444 } -> { 81395000-81686444 } moving module 11 { 812a9000-812a925c } -> { 81394000-8139425c } moving module 10 { 812a8000-812a880d } -> { 81393000-8139380d } moving module 09 { 8127e000-812a75b4 } -> { 81369000-813925b4 } moving module 08 { 811f0000-8127d468 } -> { 812db000-81368468 } moving module 07 { 81115000-811efb54 } -> { 81200000-812dab54 } moving module 06 { 81114000-81114317 } -> { 811ff000-811ff317 } moving module 05 { 810c0000-811131b4 } -> { 811ab000-811fe1b4 } moving module 04 { 810a6000-810bf424 } -> { 81191000-811aa424 } moving module 03 { 8106c000-810a55ec } -> { 81157000-811905ec } moving module 02 { 81062000-8106b338 } -> { 8114d000-81156338 } moving module 01 { 81015000-81061c2c } -> { 81100000-8114cc2c } Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/l4lx-bb.cfg Relocated mbi to [0x8100f000-0x8100f1b6] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x80002000 Regions of list regions [ 80001000, 800019ff] { a00} Kern fiasco [ 80002000, 8005cfff] { 5b000} Kern fiasco [ 80090000, 80096f4b] { 6f4c} Sigma0 sigma0 [ 80098000, 8009e17b] { 617c} Sigma0 sigma0 [ 80140000, 801711ef] { 311f0} Root moe [ 80178000, 8018eec7] { 16ec8} Root moe [ 81000000, 810143eb] { 143ec} Boot bootstrap [ 8100f000, 8100f2b3] { 2b4} Root Multiboot info [ 81191000, 81986fff] { 7f6000} Root Modules Memory API Version: (87) experimental Sigma0 config ip:800900e0 sp:81013044 Roottask config ip:80140178 sp:00000000 Starting kernel fiasco at 80001000 Hello from Startup::stage2 Initialize page table Vmem_alloc::init() Cache config: ON ID_PFR0: 00001031 ID_PFR1: 00000011 ID_DFR0: 00010400 ID_AFR0: 00000000 ID_MMFR0: 31100003 ID_MMFR1: 20000000 ID_MMFR2: 01202000 ID_MMFR3: 00000011 FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 1, v: c, i: 41, t: hard, p: dbl/sngl SERIAL ESC: allocated IRQ 74 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: rUNKNOWN compiled with gcc 4.5.1 for Beagleboard [] Build: #1 Do 27. Okt 11:55:48 CEST 2011 Calibrating timer loop... done. SIGMA0: Hello! KIP @ 80002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:80000000;80000fff] [0:8005d000;8008ffff] [0:80097000;80097fff] [0:8009f000;8013ffff] [4:80140000;80171fff] [0:80172000;80177fff] [4:80178000;8018efff] [0:8018f000;8100efff] [4:8100f000;8100ffff] [0:81010000;81190fff] [4:81191000;81986fff] [0:81987000;8effffff] IOMEM:---------------------- [0:0;7fffffff] [0:90000000;ffffffff] MOE: Hello world MOE: found 236888 KByte free memory MOE: found RAM from 80000000 to 8f000000 MOE: allocated 240 KByte for the page array @0x8009f000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [81191000-811aa424] [C:503000] l4re BOOTFS: [811ab000-811fe1b4] [C:504000] ned BOOTFS: [811ff000-811ff317] [C:505000] l4lx-bb.cfg BOOTFS: [81200000-812dab54] [C:506000] io BOOTFS: [812db000-81368468] [C:507000] mag BOOTFS: [81369000-813925b4] [C:508000] fb-drv BOOTFS: [81393000-8139380d] [C:509000] arm-omap3-bb.devs BOOTFS: [81394000-8139425c] [C:50a000] arm-omap3-bb.io BOOTFS: [81395000-81686444] [C:50b000] vmlinuz.arm BOOTFS: [81687000-81987000] [C:50c000] ramdisk-arm.rd MOE: cmdline: moe rom/l4lx-bb.cfg MOE: Starting: rom/ned rom/l4lx-bb.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-bb.cfg' IO | Io service IO | WARNING: device 'i2c1' already assigned to an other virtual bus. IO | WARNING: device 'plat' already assigned to an other virtual bus. IO | WARNING: device 'prcm3' already assigned to an other virtual bus. IO | WARNING: device 'prcm2' already assigned to an other virtual bus. IO | WARNING: device 'sys' already assigned to an other virtual bus. IO | WARNING: device 'i2c1' already assigned to an other virtual bus. IO | WARNING: device 'gpio' already assigned to an other virtual bus. IO | Ready. Waiting for request. l4linux | PH 0 (t: 1) offs=00008000 vaddr=00100000 vend=00456ee4 l4linux | phys=00100000 ephys=00456ee4 l4linux | f_sz=002d63cc memsz=00356ee4 flgs=rwx l4linux | PH 1 (t: 4) offs=002de3a8 vaddr=003d63a8 vend=003d63cc l4linux | phys=003d63a8 ephys=003d63cc l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | Starting binary at 0x11c300, argc=7 argv=0x80007f8c *argv=0xb1007ff0 argv0=rom/vmlinuz.arm l4linux | External resolver is at 0xa8000650 l4linux | ======> L4Linux 2.6 starting... <======== l4linux | Linux version 3.0.0-l4 (wicklein@wicklein-desktop) (gcc version 4.5.1 (Sourcery G++ Lite 2010.09-50) ) #1 Wed Nov 2 11:30:16 CET 2011 l4linux | Binary name: rom/vmlinuz.arm l4linux | This is an AEABI build. l4linux | Linux kernel command line (6 args): mem=128M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 init=/linuxrc l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 00100000 - 00500000 [4096 KiB]. l4linux | Areas: Text: 00100000 - 003be000 [2808kB] (a bit longer) l4linux | Data: 003be000 - 003d1f40 [79kB] l4linux | Initdata: 00100000 - 0011b000 [108kB] l4linux | BSS: 003d63cc - 00456ee4 [514kB] l4linux | l4lx_thread_create: Created thread 415 (tamer0) (u:b3000400, sp:003da584) l4linux | Tamer0 is 415 l4linux | Using tamed mode. l4linux | Device scan: l4linux | Device: System Control l4linux | MEM: 48002000 - 480047ff l4linux | MEM: 48004800 - 4800ffff l4linux | Device: i2c l4linux | MEM: 48070000 - 48070fff l4linux | Device: prcm2 l4linux | MEM: 48060000 - 4806007f l4linux | MEM: 48072000 - 4807207f l4linux | MEM: 480ab000 - 480acfff l4linux | MEM: 48200000 - 4820ffff l4linux | MEM: 48306800 - 48309fff l4linux | MEM: 4830a000 - 4830ffff l4linux | MEM: 6c000000 - 6cffffff l4linux | MEM: 6d000000 - 6dffffff l4linux | IRQ: 00000038 - 00000038 l4linux | IRQ: 0000003d - 0000003d l4linux | IRQ: 00000039 - 00000039 l4linux | IRQ: 00000007 - 00000007 l4linux | IRQ: 0000005c - 0000005c l4linux | Device: usb l4linux | MEM: 48062000 - 48063fff l4linux | MEM: 48064000 - 48065fff l4linux | IRQ: 0000004d - 0000004d l4linux | Device: plat l4linux | IRQ: 0000004d - 0000004d l4linux | l4lx_thread_create: Created thread 417 (cpu0) (u:b3000600, sp:003bfff0) l4linux | main thread will be 417 l4linux | l4x_register_pointer_section: addr = 00100000 size = 3502080 l4linux | section-with-init: virt: 0x100000 to 0x456ee3 [3419 KiB] l4linux | section-with-init: Phys: 0x80363000 to 0x806b9ee4, Size: 3501796 l4linux | l4x_linux_startup: thread 417. l4linux | Main thread running, waiting... l4linux | main thread: received startup message. l4linux | l4x_setup_memory: Forcing superpages for main memory l4linux | l4re_global_env: 0xb1007ef4 l4linux | Main memory size: 128MB l4linux | Main memory: virt: 0x500000 to 0x84fffff [131072 KiB] l4linux | Main memory: Phys: 0x81a00000 to 0x89a00000, Size: 134217728 l4linux | Filling lower ptabs... l4linux | Done (423 entries). l4linux | l4x_register_pointer_section: addr = 004ff000 size = 4096 l4linux | end: virt: 0x4ff000 to 0x4fffff [4 KiB] l4linux | end: Phys: 0x806bb000 to 0x806bc000, Size: 4096 l4linux | l4x_rd_path: rom/ramdisk-arm.rd l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 10600000 to 10900000 [3072KiB] l4linux | l4lx_thread_create: Created thread 41c (IRQ CPU0) (u:b3000800, sp:003f3ff0) Linux version 3.0.0-l4 (wicklein@wicklein-desktop) (gcc version 4.5.1 (Sourcery G++ Lite 2010.09-50) ) #1 Wed Nov 2 11:30:16 CET 2011 CPU: Fiasco [860f0001] revision 1 (ARMvundefined/unknown), cr=00000000 CPU: unknown data cache, unknown instruction cache cpu_v6_proc_init Machine: L4 Memory policy: ECC disabled, Data cache writeback _CACHE_flush_kern_cache_all() INITRD: 10600000 - 10900000 Built 1 zonelists in Zone order, mobility grouping on. Total pages: 33527 Kernel command line: mem=128M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 init=/linuxrc PID hash table entries: 1024 (order: 0, 4096 bytes) Dentry cache hash table entries: 32768 (order: 5, 131072 bytes) Inode-cache hash table entries: 16384 (order: 4, 65536 bytes) Memory: 0MB 132MB = 132MB total Memory: 129732k/129732k available, 5440k reserved, 0K highmem Virtual kernel memory layout: vector : 0xbffff000 - 0xc0000000 ( 4 kB) fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB) DMA : 0xffc00000 - 0xffe00000 ( 2 MB) vmalloc : 0x08600000 - 0x10600000 ( 128 MB) lowmem : 0x00000000 - 0x08500000 ( 133 MB) modules : 0xff100000 - 0x00100000 ( 16 MB) .init : 0x00100000 - 0x0011b000 ( 108 kB) .text : 0x0011c000 - 0x003bc124 (2689 kB) .data : 0x003be000 - 0x003d1f40 ( 80 kB) .bss : 0x003d63cc - 0x00456ee4 ( 515 kB) NR_IRQS:220 nr_irqs:220 220 l4lx_irq_init: creating IRQ thread on cpu 0 Console: colour dummy device 80x30 console [ttyLv0] enabled Calibrating delay loop... irq_thread: Starting IRQ thread on CPU 0 715.16 BogoMIPS (lpj=3575808) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 512 CPU: Testing write buffer coherency: ok print_constraints: dummy: NET: Registered protocol family 16 Added static device 'System Control' with 2 resources. Added static device 'i2c' with 1 resources. Added static device 'prcm2' with 13 resources. Added static device 'usb' with 3 resources. Added static device 'plat' with 1 resources. Added static device 'L40009' with 0 resources. bio: create slab at 0 Failed to create "l4x" debugfs directory: 1 usbcore: registered new interface driver usbfs usbcore: registered new interface driver hub usbcore: registered new device driver usb Switching to clocksource kip musb-hdrc: version 6.0, pio, peripheral NET: Registered protocol family 2 IP route cache hash table entries: 2048 (order: 1, 8192 bytes) TCP established hash table entries: 8192 (order: 4, 65536 bytes) TCP bind hash table entries: 8192 (order: 3, 32768 bytes) TCP: Hash tables configured (established 8192 bind 8192) TCP reno registered UDP hash table entries: 256 (order: 0, 4096 bytes) UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) NET: Registered protocol family 1 Trying to unpack rootfs image as initramfs... rootfs image is not initramfs (junk in compressed archive); looks like an initrd INITRD: Freeing memory. NetWinder Floating Point Emulator V0.97 (double precision) msgmni has been set to 253 io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) L4 serial driver ttyLv0 at MMIO 0x1 (irq = 210) is a L4 L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: No name given, not starting. ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver mousedev: PS/2 mouse device common for all mice i2c /dev entries driver usbcore: registered new interface driver usbhid usbhid: USB HID core driver TCP cubic registered NET: Registered protocol family 17 RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 3072KiB [1 disk] into ram disk... done. VFS: Mounted root (ext2 filesystem) readonly on device 1:0. Freeing init memory: 108K init started: BusyBox v1.13.4 (2009-05-10 12:06:03 CEST) starting pid 17, tty '': '/etc/init.d/rcS' Please press Enter to activate this console. l4linux | cpu0: utcb=0xb3000600 417 l4linux | l4lx_thread_create: Created thread 428 (idler0) (u:b3000a00, sp:003f5ff4) starting pid 18, tty '': '-/bin/sh' #