Warning, /spec/build/bsps/dev/irq/optarmgic-icc-ctrl.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-integer: null
0004 - define: null
0005 build-type: option
0006 copyrights:
0007 - Copyright (C) 2022 embedded brains GmbH & Co. KG
0008 default:
0009 - enabled-by: true
0010 value: 0x00000000
0011 description: |
0012 Defines the initial value of the ICC_CTRL register of the ARM GIC CPU
0013 Interface. The value is optional. If it is not defined, then the register
0014 is not initialized.
0015 enabled-by: true
0016 format: '{:#010x}'
0017 links: []
0018 name: BSP_ARM_GIC_ICC_CTRL
0019 type: build
