Soft:samples:interrupt

/* Timer interrupt handler.  */
void __attribute__((interrupt))
timer_interrupt (void)
{
  timer_count++;
  timer_acknowledge ();
}