blob: 0fbc2ff83d06e64daaf5bca4b0133a1d8cf3c5bd (
plain) (
tree)
|
|
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
actions:
- get-boolean: null
- define-condition: null
build-type: option
copyrights:
- Copyright (C) 2020 embedded brains GmbH & Co. KG
default:
- enabled-by: true
value: false
description: |
If set to true, then the clock driver uses the Virtual Timer of the ARM
Generic Timer, otherwise it uses the Physical Timer (EL1).
enabled-by: true
links: []
name: ARM_GENERIC_TIMER_USE_VIRTUAL
type: build
|
