Directamente en el código:
/*定 时 器 0 定 时 1 秒 打 印 Time OK!*/
void on_tick (void ∗ unused )
{
printf (" Time␣OK !\n");
}
int main(void)
{
handle_t timer = io_open ("/dev/ timer0 ");
timer_set_interval (timer , 1e9 );
timer_set_on_tick (timer , on_tick , NULL );
timer_set_enable (timer , true );
return 0;
}