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

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

#define	PBDDR	((_UB *)0x00ffffd4)
#define	PBDR	((_UB *)0x00ffffd6)

EXPORT	INT	usermain( void )
{
	*PBDDR = 0x0f;		// PB0-PB3 only
	*PBDR = 0x00;

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

	// never return

	return 0;
}