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

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

	*P4DR = 0x00;

	return 0;
}