RTEMS  5.1-rc2
clock Directory Reference

Files

file  ckinit.c
 Clock Tick Device Driver.