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: true
  value: 0x2c000000
description: |
  Defines the base address of the GIC CPU Interface.
enabled-by: true
format: '{:#010x}'
links: []
name: BSP_ARM_GIC_CPUIF_BASE
type: build