sysstartup.c

uT Kernel os source code for AT91

/*
 *----------------------------------------------------------------------
 *    micro T-Kernel
 *
 *    Copyright (C) 2006-2007 by Ken Sakamura. All rights reserved.
 *    micro T-Kernel is distributed under the micro T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.00.00
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2007/03/26.
 *
 *----------------------------------------------------------------------
 */

/*
 *	sysstartup.c (sysinit)
 *	Start/Stop System
 */

#include "sysinit.h"
#include "kernel.h"

/*
 * Manager/Driver
 */
IMPORT ER knl_init_Imalloc( void );			/* Internal memory allocation */
IMPORT void knl_t_kernel_exit( void );

/* ------------------------------------------------------------------------ */

/*
 * Initialize sequence before T-Kernel starts
 */
EXPORT void knl_init_system( void )
{
	ER	ercd;

	/* Platform dependent initialize sequence */
	ercd = knl_init_device();
	if ( ercd < E_OK ) {
		goto err_ret;
	}

	/* Initialize Imalloc */
	ercd = knl_init_Imalloc();
	if ( ercd < E_OK ) {
		goto err_ret;
	}

	return;

err_ret:
#if USE_KERNEL_MESSAGE
	tm_putstring((UB*)"!ERROR! init_kernel\n");
#endif
	tm_monitor(); /* Stop */
}

/*
 * Start system
 */
EXPORT void knl_start_system( void )
{
	ER	ercd;

#if CFN_MAX_REGDEV > 0
	/* Initialize Device manager */
	ercd = knl_initialize_devmgr();
	if ( ercd < E_OK ) {
		goto err_ret;
	}
#endif

	/* Start system dependent sequence */
	ercd = knl_start_device();
	if ( ercd < E_OK ) {
		goto err_ret;
	}

	return;

err_ret:
#if USE_KERNEL_MESSAGE
	tm_putstring((UB*)"!ERROR! start_system\n");
#endif
	tm_monitor();	/* Stop */
}

/*
 * Stop system
 */
EXPORT void knl_shutdown_system( INT fin )
{
	/* Platform dependent finalize sequence */
	knl_finish_device();

	/* Shutdown message output */
#if USE_KERNEL_MESSAGE
	if ( fin >= 0 ) {
	  tm_putstring((UB*)"\n<< SYSTEM SHUTDOWN >>\n");
	}
#endif

	if ( fin < 0 ) {
		/* Re-start sequence (platform dependent) */
		knl_restart_device(fin);
	}

	/* Stop system */
	knl_t_kernel_exit();
}