/**********************************************************************************
 * startKernel.c                                                                         
 * coded by hjahn(hjahn@ce.cnu.ac.kr)
 * 2003/04/22
 **********************************************************************************/

#include "kernel\\mk_sys.h"
#include "kernel\\mk_task.h"

/* <<< @:9908EVA-niceboy 041215 : allocate Mk_MemBuf to 4byte-alligned memory space !*/
unsigned long 	MK_MemBuf[ MK_MEM_SIZE/4 ];		/* org : char 	MK_MemBuf[MK_MEM_SIZE];*/

extern void MK_Timer0Initialize(void);
void UART_Init( signed int pclk, signed int baud );
void UART_Select( signed long sel );



int main(void)
{
	UART_Init(0, 38400); 
	UART_Select(0);
	MK_SystemInitialize();
	MK_RTOSInitialize();

	Application_Initialize( (void *)MK_MemBuf, MK_MEM_SIZE );
	MK_Timer0Initialize();
	MK_Start();
	return 0;
}