libHPDMC SDRAM initialization runtime
(c) Copyright 2010 Sebastien Bourdeauducq, released under GNU LGPL version 3.
Version 1.2

Initialization sequence completed.
Autocalibration OK, testing memory...
All SDRAM initialization completed, boot continuing.


MILKYMIST(tm) v1.2 BIOS   http://www.milkymist.org
(c) Copyright 2007, 2008, 2009, 2010, 2011 Sebastien Bourdeauducq

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, version 3 of the License.

I: BIOS CRC passed (0f449696)
BRD: SoC 1.2 on Milkymist One (PCB revision 2)
BRD: Mem. card : Yes
BRD: AC'97     : No
BRD: PFPU      : No
BRD: TMU       : No
BRD: Ethernet  : No
BRD: FML meter : Yes
BRD: Video in  : No
BRD: MIDI      : No
BRD: DMX       : No
BRD: IR        : No
BRD: USB       : No
BRD: Memtester : Yes
BIOS> help
Milkymist(tm) BIOS (bootloader)
Don't know what to do? Try 'flashboot'.

Available commands:
[...]
dmap       - adds a MMU DTLB mapping
dunmap     - removes a MMU DTLB mapping
dtlbi      - invalidates the whole DTLB
dmapi      - invalidates a DTLB mapping
mmu        - activates MMU
nommu      - disactivates MMU
mmuread    - reads from memory with MMU enabled
mmuwrite   - writes to memory with MMU enabled
dtlbtest   - runs DTLB MMU load store tests
detest     - runs DTLB MMU exception handling tests
BIOS> dmap 0x00860000 0x00860000
mapping 0x00860000->0x00860000 in slot 9 [0x446616e8]
BIOS> mmuread 0x00860000
0x00860000 contains 0x98000000
BIOS> dmapi 0x00860000
BIOS> mmuread 0x00860004
[TLB miss handler] Refilling DTLB with mapping 0x00860004->0x00860000
0x00860004 contains 0xD0000000
BIOS> dunmap 0x00860000
BIOS> dmap 0x00860000 0x00870000
mapping 0x00860000->0x00870000 in slot 9 [0x446616e8]
BIOS> mmuread 0x00860000
0x00860000 contains 0x76657273
BIOS> mmuread 0x00860004
0x00860004 contains 0x696F6E20
BIOS> mmuread 0x00880000
[TLB miss handler] Unrecoverable page fault !
PANIC !

Meanwhile, in another shell : 

yann@debian:~/dev/milkymist-mmu/software/bios$ hexdump -C bios.bin | head -n1
00000000  98 00 00 00 d0 00 00 00  78 01 00 86 38 21 00 00  |........x...8!..|
yann@debian:~/dev/milkymist-mmu/software/bios$ hexdump -C bios.bin | grep 00010000
00010000  76 65 72 73 69 6f 6e 20  20 20 20 2d 20 64 69 73  |version    - dis|