Warning, /spec/build/bsps/arm/optgtusevirt.yml is written in an unsupported language. File is not indexed.
0001 SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
0002 actions:
0003 - get-boolean: null
0004 - define-condition: null
0005 build-type: option
0006 copyrights:
0007 - Copyright (C) 2020 embedded brains GmbH & Co. KG
0008 default:
0009 - enabled-by: true
0010 value: false
0011 description: |
0012 If set to true, then the clock driver uses the Virtual Timer of the ARM
0013 Generic Timer, otherwise it uses the Physical Timer (EL1).
0014 enabled-by: true
0015 links: []
0016 name: ARM_GENERIC_TIMER_USE_VIRTUAL
0017 type: build
