OMAP3 beagleboard.org # mmc init
mmc1 is available

OMAP3 beagleboard.org # fatload mmc 0 0x81000000 bootstrap_lx_ginger-arm.raw
reading bootstrap_lx_ginger-arm.raw

55091368 bytes read

OMAP3 beagleboard.org # go 0x81000000
## Starting application at 0x81000000 ...

=============================================================================
L4 Bootstrapper
  Build: #6 Mo 22. Aug 14:09:25 CEST 2011, 4.5.1
  Scanning up to 128 MB RAM
  Memory size is 128MB (80000000 - 88000000)
  RAM: 0000000080000000 - 0000000087ffffff: 131072kB
  Total RAM: 128MB
  mod13: 816b4000-8448a000: system-arm-ginger.img
  mod12: 815b4000-816b4000: root-arm-ginger.img
  mod11: 812aa000-815b3448: vmlinuz.android
  mod10: 812a9000-812a910a: l4_android-arm.vbus
  mod09: 812a8000-812a84c1: arm-rv-eb.devs
  mod08: 812a7000-812a765f: l4_gingerbread-arm.cfg
  mod07: 8127d000-812a65b4: fb-drv
  mod06: 811ef000-8127c468: mag
  mod05: 81114000-811eeb54: io
  mod04: 810c0000-811131b4: ned
  mod03: 810a6000-810bf50c: l4re
  mod02: 8106c000-810a55ec: moe
  mod01: 81062000-8106b338: sigma0
  mod00: 81015000-8106169c: fiasco
  Moving 14 modules to 81100000 with offset eb000
  moving module 14 { 816b4000-8448a000 } -> { 8179f000-84575000 }
  moving module 13 { 815b4000-816b4000 } -> { 8169f000-8179f000 }
  moving module 12 { 812aa000-815b3448 } -> { 81395000-8169e448 }
  moving module 11 { 812a9000-812a910a } -> { 81394000-8139410a }
  moving module 10 { 812a8000-812a84c1 } -> { 81393000-813934c1 }
  moving module 09 { 812a7000-812a765f } -> { 81392000-8139265f }
  moving module 08 { 8127d000-812a65b4 } -> { 81368000-813915b4 }
  moving module 07 { 811ef000-8127c468 } -> { 812da000-81367468 }
  moving module 06 { 81114000-811eeb54 } -> { 811ff000-812d9b54 }
  moving module 05 { 810c0000-811131b4 } -> { 811ab000-811fe1b4 }
  moving module 04 { 810a6000-810bf50c } -> { 81191000-811aa50c }
  moving module 03 { 8106c000-810a55ec } -> { 81157000-811905ec }
  moving module 02 { 81062000-8106b338 } -> { 8114d000-81156338 }
  moving module 01 { 81015000-8106169c } -> { 81100000-8114c69c }
  Scanning fiasco -serial_esc
  Scanning sigma0
  Scanning moe rom/l4_gingerbread-arm.cfg
  Relocated mbi to [0x8100f000-0x8100f1fc]
  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,  801711cf] {    311d0} Root   moe
    [ 80178000,  8018eec7] {    16ec8} Root   moe
    [ 81000000,  810143eb] {    143ec} Boot   bootstrap
    [ 8100f000,  8100f2f9] {      2fa} Root   Multiboot info
    [ 81191000,  84574fff] {  33e4000} 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 Mo 22. Aug 11:20:52 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;84574fff]
[0:84575000;86ffffff]
IOMEM:
[0:0;7fffffff]
[0:88000000;ffffffff]
MOE: Hello world
MOE: found 60832 KByte free memory
MOE: found RAM from 80000000 to 87000000
MOE: allocated 112 KByte for the page array @0x8005d000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:501000]
  BOOTFS: [81191000-811aa50c] [C:503000] l4re
  BOOTFS: [811ab000-811fe1b4] [C:504000] ned
  BOOTFS: [811ff000-812d9b54] [C:505000] io
  BOOTFS: [812da000-81367468] [C:506000] mag
  BOOTFS: [81368000-813915b4] [C:507000] fb-drv
  BOOTFS: [81392000-8139265f] [C:508000] l4_gingerbread-arm.cfg
  BOOTFS: [81393000-813934c1] [C:509000] arm-rv-eb.devs
  BOOTFS: [81394000-8139410a] [C:50a000] l4_android-arm.vbus
  BOOTFS: [81395000-8169e448] [C:50b000] vmlinuz.android
  BOOTFS: [8169f000-8179f000] [C:50c000] root-arm-ginger.img
  BOOTFS: [8179f000-84575000] [C:50d000] system-arm-ginger.img
MOE: cmdline: moe rom/l4_gingerbread-arm.cfg
MOE: Starting: rom/ned rom/l4_gingerbread-arm.cfg
MOE: loading 'rom/ned'
Ned says: Hi World!
Ned: loading file: 'rom/l4_gingerbread-arm.cfg'
io      | Io service
io      | L4Re[rm]: unhandled read page fault @40000c pc=102b4c8
io      | L4Re: unhandled exception: pc=0x102b4c8