Searched +full:bcm2835 +full:- +full:system +full:- +full:timer (Results 1 – 2 of 2) sorted by relevance
1 # SPDX-License-Identifier: (GPL-2.0-only OR BSD-2-Clause)3 ---4 $id: http://devicetree.org/schemas/timer/brcm,bcm2835-system-timer.yaml#5 $schema: http://devicetree.org/meta-schemas/core.yaml#7 title: BCM2835 System Timer10 - Stefan Wahren <wahrenst@gmx.net>11 - Raspberry Pi Kernel Maintenance <kernel-list@raspberrypi.com>14 The System Timer peripheral provides four 32-bit timer channels and a15 single 64-bit free running counter. Each channel has an output compare21 const: brcm,bcm2835-system-timer[all …]
1 # SPDX-License-Identifier: GPL-2.0-only OR BSD-2-Clause3 ---4 $id: http://devicetree.org/schemas/soc/bcm/brcm,bcm2835-pm.yaml#5 $schema: http://devicetree.org/meta-schemas/core.yaml#7 title: BCM2835 PM (Power domains, watchdog)11 watchdog timer.14 - Nicolas Saenz Julienne <nsaenz@kernel.org>17 - $ref: /schemas/watchdog/watchdog.yaml#22 - enum:23 - brcm,bcm2835-pm[all …]