xref: /freebsd/sys/contrib/device-tree/Bindings/x86/timer.txt (revision a90b9d0159070121c221b966469c3e36d912bf82) 
1Timers
2------
3
4* High Precision Event Timer (HPET)
5  Required property:
6     compatible = "intel,ce4100-hpet";
7