/*
 *  @(#) $Id: core_cfg1_out.h 619 2014-03-18 06:10:27Z nmir-saito $
 */

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

void sta_ker(void){}
STK_T *const	_kernel_istkpt;