#include "SEED-DSK2407.h" 
void SystemInit(void);
void PHANTOM(void);
unsigned int good_flag;
unsigned int bad_flag; 

unsigned int * EXT_RAM = (unsigned int *) 0x8000;

void main()
{
	unsigned int i;
	unsigned int *p;
	good_flag = 0;
	bad_flag = 0;
	DINT;
	SystemInit(); 
	for(i = 0; i < 0x8000; i++)
	{
		*(EXT_RAM+i) = 0x55;
		if((*(EXT_RAM+i)&0xff) != 0x55)
		{
			bad_flag = 1;
		}
		*(EXT_RAM+i) = 0xaa;
		if((*(EXT_RAM+i)&0xff) != 0xaa)
		{
			bad_flag = 1;
		}
	}
	if(bad_flag == 1)
	{
		for(;;);
	}	

	for(;;)
	{
		good_flag = 1;
	}
}

void SystemInit(void)
{
	WSGR = 0;	
	*WDCR = 0x68;
	*SCSR1 = 0x200; 
}

void PHANTOM(void)
{

}