SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
actions:
- get-integer: null
- format-and-define: null
build-type: option
copyrights:
- Copyright (C) 2020 embedded brains GmbH & Co. KG
default:
- enabled-by: arm/fvp_cortex_r52
  value: 0xaf100000
- enabled-by: true
  value: 0x2f100000
description: |
  Defines the base address of the GIC Redistributor.
enabled-by: true
format: '{:#010x}'
links: []
name: BSP_ARM_GIC_REDIST_BASE
type: build