1# Copyright (c) 2019 Microchip Technology Inc.
2# SPDX-License-Identifier: Apache-2.0
3
4description: |
5  Microchip MEC5 kernel timer implemented by combining
6  the 32kHz 32-bit RTOS timer with 32-bit basic timer 5.
7
8compatible: "microchip,mec5-ktimer"
9
10include: base.yaml
11
12properties:
13  reg:
14    required: true
15
16  interrupts:
17    required: true
18
19  clock-frequency:
20    type: int
21    required: true
22    const: 32768
23    description: RTOS timer runs at fixed 32 KHz.
24
25  max-value:
26    type: int
27    required: true
28    const: 0xffffffff
29    description: RTOS timer counter maximum value.
30