source: arch/m68k_gcc/prc_cfg1_out.h

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

/*
 *  ¥ª¥Õ¥»¥Ã¥È¥Õ¥¡¥€¥ë€òÀžÀ®€¹€ë€¿€á€ÎÄêµÁ
 */
const uint8_t   MAGIC_1 = 0x12;
const uint16_t  MAGIC_2 = 0x1234;
const uint32_t  MAGIC_4 = 0x12345678;

const TCB       TCB_enatex = {
        { NULL, NULL },                 /* task_queue */
        NULL,                                   /* p_tinib */
        0U,                                             /* tstat */
#ifdef TOPPERS_SUPPORT_MUTEX
        0U,                                             /* bpriority */
#endif /* TOPPERS_SUPPORT_MUTEX */
        0U,                                             /* priority */
        false,                                  /* acqeue */
        false,                                  /* wupque */
        true,                                   /* enatex */
        0U,                                             /* texptn */
        NULL,                                   /* p_winifo */
#ifdef TOPPERS_SUPPORT_MUTEX
        { NULL, NULL },                 /* mutex_queue */
#endif /* TOPPERS_SUPPORT_MUTEX */
#ifdef TOPPERS_SUPPORT_OVRHDR
        0U,                                             /* leftotm */
#endif /* TOPPERS_SUPPORT_OVRHDR */
        { NULL, NULL }                  /* tskctxb */
};