/* (2) The timer ISR handler, rt_hw_timer_handler(), is placed into the vector table in vectors.s34.  */
static void timer_tick_init(void)
/* (2) The timer ISR handler, rt_hw_timer_handler(), is placed into the vector table in vectors.s34.  */
static void timer_tick_init(void)
{
    TB0MR.BYTE = 0x40;
    TB0        = (CPU_CLK_FREQ / 8) / RT_TICK_PER_SECOND;
    TB0IC.BYTE = 0x07;
    TABSR.BYTE |= 0x20;
}