/*
 *	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;

	tm_putstring((UB*)"Push any key to shutdown the micro T-Kernel.\n");
	tm_getchar(-1);

	*PBDR = 0xff;

	return 0;
}