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: 0xaa430000
- enabled-by: true
  value: 0x2a430000
description: |
  Defines the base address of the memory-mapped system level ARM Generic Timer.
enabled-by: true
format: '{:#010x}'
links: []
name: ARM_GENERIC_TIMER_SYSTEM_BASE
type: build