SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause actions: - get-integer: null - assert-uint32: null - env-assign: null - format-and-define: null build-type: option copyrights: - Copyright (C) 2021 On-Line Applications Research Corporation (OAR) default: 0x41200000 default-by-variant: [] description: | base address of the AXI Interrupt Controller enabled-by: true format: '{:#010x}' links: [] name: BSP_MICROBLAZE_FPGA_INTC_BASE type: build