RAM 0x2000000
{
	EWRAM 0x2000000
	{
		* (+RO,+RW,+ZI)
	}
	ITCM 0x1ff8000 0x8000
	{
		* (itcm)
	}
	DTCM 0x2800000 0x3c00
	{
		* (dtcm)
	}
}