1BCM2835 System Timer 2 3The System Timer peripheral provides four 32-bit timer channels and a 4single 64-bit free running counter. Each channel has an output compare 5register, which is compared against the 32 least significant bits of the 6free running counter values, and generates an interrupt. 7 8Required properties: 9 10- compatible : should be "brcm,bcm2835-system-timer" 11- reg : Specifies base physical address and size of the registers. 12- interrupts : A list of 4 interrupt sinks; one per timer channel. 13- clock-frequency : The frequency of the clock that drives the counter, in Hz. 14 15Example: 16 17timer { 18 compatible = "brcm,bcm2835-system-timer"; 19 reg = <0x7e003000 0x1000>; 20 interrupts = <1 0>, <1 1>, <1 2>, <1 3>; 21 clock-frequency = <1000000>; 22}; 23