/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#include <memlayout.h>

#include <arch/header.ld>

SECTIONS
{
	DRAM_START(0x40000000)
	BOOTBLOCK(0x402f0400, 20K)
	ROMSTAGE(0x402f5400, 88K)
	FMAP_CACHE(0x4030b400, 2K)
	STACK(0x4030be00, 4K)
	RAMSTAGE(0x80200000, 192K)

	/* TODO: Implement MMU support and move TTB to a better location. */
	TTB(0x81000000, 16K)

#ifdef OMAP_HEADER
	.header : {
		*(.header);
	} : to_load

	/DISCARD/ : {
		*(*)
	}
#endif
}