RTEMS  5.1-rc2
clock Directory Reference

Files

file  clockdrv.c
 Raspberry Pi clock support.