devicetree/bindings/x86/timer.txt (
5
lines of code) (
raw
):
Timers ------ * High Precision Event Timer (HPET) Required property: compatible = "intel,ce4100-hpet";