timer.txt

   1 Timers
   2 ------
   3
   4 * High Precision Event Timer (HPET)
   5   Required property:
   6      compatible = "intel,ce4100-hpet";