barebox / dts / Bindings / x86 / timer.txt

Timers
------

* High Precision Event Timer (HPET)
  Required property:
     compatible = "intel,ce4100-hpet";