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

#include <kernel.h>

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