SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
actions:
- get-integer: null
- define: null
build-type: option
copyrights:
- Copyright (C) 2022 embedded brains GmbH & Co. KG
default:
- enabled-by: true
  value: 0x000000ff
description: |
  Defines the initial value of the ICC_PMR register of the ARM GIC CPU
  Interface.  The value is optional.  If it is not defined, then the register
  is not initialized.
enabled-by: true
format: '{:#010x}'
links: []
name: BSP_ARM_GIC_ICC_PMR
type: build