#
# Manually defined FMD in order to ensure that space is reserved for the EC
# at the top of the BIOS region.
#
FLASH 8M {
	BIOS@0x200000 0x600000 {
		RW_MRC_CACHE@0x0 0x10000
		SMMSTORE@0x10000 0x40000
		CONSOLE@0x50000 0x20000
		FMAP@0x70000 0x200
		COREBOOT(CBFS)
	}
}