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

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

#define PUCR5   ((_UB *)0xffd1)
#define PDR5    ((_UB *)0xffd8)
#define PMR5    ((_UB *)0xffe1)
#define PCR5    ((_UB *)0xffe8)

EXPORT	INT	usermain( void )
{
	*PMR5 = 0x00;
	*PCR5 = 0x3f;
	*PDR5 = 0xff;

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

	*PDR5 = 0x00;

	return 0;
}