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 MHz.
28      flags:
29        - readonly
30    - name: PowerLimit
31      type: uint32
32      description: The thermal design point of the processor in watts.
33      flags:
34        - readonly
35    - name: AvailableCoreCount
36      type: size
37      description: >
38        The number of cores in the processor that can be used in this
39        configuration.
40      flags:
41        - readonly
42    - name: TurboProfile
43      type: array[struct[uint32, size]]
44      description: >
45        An array of objects that specify the turbo profile for a set of active
46        cores. Each entry contains two members, first is the maximum turbo clock
47        speed in MHz, and second is number of cores which can run at that speed.
48      flags:
49        - readonly
50