sysmain.h

日本很有名的一个嵌入式RTOS

/*
 *----------------------------------------------------------------------
 *    T-Kernel
 *
 *    Copyright (C) 2004-2006 by Ken Sakamura. All rights reserved.
 *    T-Kernel is distributed under the T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.02.01
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2006/1/10.
 *
 *----------------------------------------------------------------------
 */

/*
 *	sysmain.h (sysmain)
 *	Kernel Main
 */

#ifndef _SYSMAIN_
#define _SYSMAIN_

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

/* Boot message */
#define BOOT_MESSAGE \
	"\n" \
	"T-Kernel Version 1.02.01\n" \
	"\n\0"

/*
 Display the progress of start processing (sysinit)
 *	Display the value specified by 'n' on display or LED.
 *	Some platform may not support this function.
 */
IMPORT void DispProgress( W n );

/*
 * User main
 */
IMPORT INT usermain( void );

#endif /* _SYSMAIN_ */