/*
 *	usermain.c (usermain)
 *	User Main
 */

#include <basic.h>
#include <tk/tkernel.h>
#include <tm/tmonitor.h>

#define	P4DDR	((_UB *)0x00fee003)
#define	P4DR	((_UB *)0x00ffffd3)
#define	P4PCR	((_UB *)0x00fee03e)

EXPORT	INT	usermain( void )
{
	*P4DDR = 0xc0;		// P46, P47 only
	*P4DR = 0xff;

	while (1) {
		tk_dly_tsk(500);
		*P4DR ^= 0xff;
	}

	// never return

	return 0;
}