#
# Manually defined FMD in order to ensure that space is reserved for the EC
# at the top of the BIOS region.
#
FLASH@0xff000000 0x1000000 {
	SI_ALL@0x0 0x500000 {
		SI_DESC@0x0 0x1000
		SI_ME@0x1000
	}
	SI_BIOS@0x500000 0xB00000 {
		EC@0x0 0x20000
		RW_MRC_CACHE@0x20000 0x10000
		SMMSTORE@0x30000 0x40000
		CONSOLE@0x70000 0x20000
		FMAP@0x90000 0x800
		COREBOOT(CBFS)
	}
}