description: >
    Implement to advertise power and frequency attributes of a single available
    (but not necessarily active/applied) processor configuration profile.
properties:
    - name: BaseSpeed
      type: uint32
      description: The base clock speed of the processor in MHz.
      flags:
          - readonly
    - name: BaseSpeedPrioritySettings
      type: array[struct[uint32, array[uint32]]]
      description: >
          An array of objects that specify the base clock frequency for sets of
          cores when the configuration is operational. Each entry contains two
          members, first is the base clock speed in MHz, and second is an array
          identifying the set of core IDs to configure at that base speed.
      flags:
          - readonly
    - name: MaxJunctionTemperature
      type: uint32
      description: The maximum temperature of the junction in degrees Celsius.
      flags:
          - readonly
    - name: MaxSpeed
      type: uint32
      description: >
          The maximum clock speed to which the processor can be configured in
          MHz.
      flags:
          - readonly
    - name: PowerLimit
      type: uint32
      description: The thermal design point of the processor in watts.
      flags:
          - readonly
    - name: AvailableCoreCount
      type: size
      description: >
          The number of cores in the processor that can be used in this
          configuration.
      flags:
          - readonly
    - name: TurboProfile
      type: array[struct[uint32, size]]
      description: >
          An array of objects that specify the turbo profile for a set of active
          cores. Each entry contains two members, first is the maximum turbo
          clock speed in MHz, and second is number of cores which can run at
          that speed.
      flags:
          - readonly