/*
 *  @(#) $Id: prc_cfg1_out.h 937 2008-04-12 04:33:18Z ertl-hiro $
 */

/*
 *		cfg1_out.cのリンクに必要なスタブの定義
 */

void sta_ker(void)
{
}

void hardware_init_hook(void)
{
}

void software_init_hook(void)
{
}

const SIZE		_kernel_istksz = 0;

STK_T *const	_kernel_istk = NULL;
