/*
 *  @(#) $Id: prc_cfg1_out.h 1 2010-06-14 02:33:52Z ertl-ichiba $
 */

/*
 *		cfg1_out.cをリンクするために必要なスタブの定義
 */

void sta_ker(void){}
STK_T *const	_kernel_istkpt = 0x00;