#include <mc1322x.h>

#define DELAY 400000

#define LED_BITS LED_RED

__attribute__ ((section ("startup"))) 
void main(void) {	
	volatile uint32_t i;
	
//	*GPIO_PAD_DIR0 = LED_BITS;

	while(1) {

//		*GPIO_DATA0 = LED_BITS;
		
		for(i=0; i<DELAY; i++) { continue; }

		*GPIO_DATA0 = 0x00000000;

		for(i=0; i<DELAY; i++) { continue; }

	};

}