timer.txt

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