RTEMS  5.1-rc2
timer Directory Reference

Files

file  timer.c
 IDT 4650 Timer Driver.