/*
 *  @(#) $Id: core_cfg1_out.h 386 2019-04-17 03:13:00Z nmir-saito $
 */

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

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