1description: >
2    Implement to advertise power and frequency attributes of a single available
3    (but not necessarily active/applied) processor configuration profile.
4properties:
5    - name: BaseSpeed
6      type: uint32
7      description: The base clock speed of the processor in MHz.
8      flags:
9          - readonly
10    - name: BaseSpeedPrioritySettings
11      type: array[struct[uint32, array[uint32]]]
12      description: >
13          An array of objects that specify the base clock frequency for sets of
14          cores when the configuration is operational. Each entry contains two
15          members, first is the base clock speed in MHz, and second is an array
16          identifying the set of core IDs to configure at that base speed.
17      flags:
18          - readonly
19    - name: MaxJunctionTemperature
20      type: uint32
21      description: The maximum temperature of the junction in degrees Celsius.
22      flags:
23          - readonly
24    - name: MaxSpeed
25      type: uint32
26      description: >
27          The maximum clock speed to which the processor can be configured in
28          MHz.
29      flags:
30          - readonly
31    - name: PowerLimit
32      type: uint32
33      description: The thermal design point of the processor in watts.
34      flags:
35          - readonly
36    - name: AvailableCoreCount
37      type: size
38      description: >
39          The number of cores in the processor that can be used in this
40          configuration.
41      flags:
42          - readonly
43    - name: TurboProfile
44      type: array[struct[uint32, size]]
45      description: >
46          An array of objects that specify the turbo profile for a set of active
47          cores. Each entry contains two members, first is the maximum turbo
48          clock speed in MHz, and second is number of cores which can run at
49          that speed.
50      flags:
51          - readonly
52