/* SPDX-License-Identifier: GPL-2.0-only */

#include <memlayout.h>

#include <arch/header.ld>

SECTIONS
{
	SRAM_START(0x402f0400)
	BOOTBLOCK(0x402f0400, 20K)
	FMAP_CACHE(0x402f0400+20K, 2K)
	CBFS_MCACHE(0x402f0400+20K+2K, 8K)
	TTB(0x402F8000, 16K)
	ROMSTAGE(0x402F8000+16K, 40K)

	STACK(0x4030be00, 4K)
	SRAM_END(0x40310000)
	DRAM_START(0x80000000)

	RAMSTAGE(0x80200000, 192K)

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

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