Warning, /spec/build/bsps/dev/irq/optarmgic-icc-igrpen0.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:
0010 - aarch64/a53_ilp32_qemu
0011 - aarch64/a53_lp64_qemu
0012 - aarch64/a72_ilp32_qemu
0013 - aarch64/a72_lp64_qemu
0014 - aarch64/raspberrypi4b
0015 - aarch64/versal_aiedge
0016 - aarch64/versal_qemu
0017 - aarch64/versal_vck190
0018 - bsps/aarch64/xilinx-zynqmp
0019 value: null
0020 - enabled-by: true
0021 value: 0x00000001
0022 description: |
0023 Defines the initial value of the ICC_IGRPEN0 register of the ARM GIC CPU
0024 Interface. The value is optional. If it is not defined, then the register
0025 is not initialized.
0026 enabled-by: true
0027 format: '{:#010x}'
0028 links: []
0029 name: BSP_ARM_GIC_ICC_IGRPEN0
0030 type: build