/*
 *		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;

ER
syslog_wri_log(uint_t prio, const SYSLOG *p_syslog)
{
	return E_OK;
}

uint_t	_kernel_actque_bitmap = 0;
uint8_t _kernel_intnest = 0;
const PRI _kernel_intpri_table[1] = {0};
STK_T *const	_kernel_istkpt = NULL;