The Allied Telesis SBx81XZ4 board.

Based on the samples from the old Marvell U-Boot images

Global memory map:

	0x00000000 - 0x07ffffff   128M	DDRII SDRAM
	0x08000000 - 0x1fffffff   384M	Unused
	0x20000000 - 0x3fffffff   512M	Unused

	0x40000000 - 0x5fffffff   512M	Unused
	0x60000000 - 0x7fffffff   512M	Unused

	0x80000000 - 0x9fffffff   512M	Unused
	0xa0000000 - 0xbfffffff   512M	Unused

	0xc0000000 - 0xdfffffff   512M	Unused
	0xe0000000 - 0xefffffff   256M	Unused
	0xf0000000 - 0xffffffff   256M	Device Bus


Device Bus memory map (256M):

	0xf0000000 - 0xf0ffffff    16M	Unused
	0xf1000000 - 0xf10fffff     1M	Internal Registers
	0xf1100000 - 0xf1ffffff    15M	Unused

	0xf2000000 - 0xf3ffffff    32M	Unused

	0xf4000000 - 0xf7ffffff    64M	Unused

	0xf8000000 - 0xfbffffff    64M	Flash #1		CS0	Window10
	0xfc000000 - 0xffffffff    64M	Flash #0		BootCS	Window13


SPI Flash memory map (16M):
	0x000000 - 0x00001f        32B	Main Header
	0x000020 - 0x0001ff       480B	Header Extension
	0x000200 - 0x0bffff  768K-512B	BootCode
	0x0c0000 - 0x0dffff       128K	Environment
	0x0e0000 - 0x0fffff       128K	EPI3 (unused)
	0x100000 - 0xffffff        15M	JFFS2


Initial MMU after BootROM has executed (from Sec 49.2.3):

	PA		VA		Size	Device
	0x00000000	0x00000000	384M	DDRII SDRAM
	0xfff00000	0xfff00000	1M	BootROM (internal)
	0xe8000000	0xffe00000	1M	NAND Registers (unused)
	0xd0000000	0xffd00000	1M	Internal Registers
	0xd8000000	0xe8000000	125M	SPI Flash


Out Of Reset
	0xd0000000 - 0xd00fffff     1M	Internal Registers
		     0xffff0000		Instruction Pointer
