blob: 8ce0ae0049af3ffd05964ed068f989e2185a72d4 [file] [log] [blame]
Oliver Swede536d9062019-11-11 11:11:06 +00001#
2# Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6
7RESET_TO_BL31 := 1
8ifeq (${RESET_TO_BL31}, 0)
9$(error "This is a BL31-only port; RESET_TO_BL31 must be enabled")
10endif
11
12CTX_INCLUDE_AARCH32_REGS := 0
13ifeq (${CTX_INCLUDE_AARCH32_REGS}, 1)
14$(error "This is an AArch64-only port; CTX_INCLUDE_AARCH32_REGS must be disabled")
15endif
16
17ifeq (${TRUSTED_BOARD_BOOT}, 1)
18$(error "TRUSTED_BOARD_BOOT must be disabled")
19endif
20
21ifndef PRELOADED_BL33_BASE
22$(error "PRELOADED_BL33_BASE is not set")
23endif
24
25ifndef FPGA_PRELOADED_DTB_BASE
26$(error "FPGA_PRELOADED_DTB_BASE is not set")
27else
28$(eval $(call add_define,FPGA_PRELOADED_DTB_BASE))
29endif
30
31# Treating this as a memory-constrained port for now
32USE_COHERENT_MEM := 0
33
34# The CPU in the initial image makes use of this feature
35HW_ASSISTED_COHERENCY := 1
36
37FPGA_CPU_LIBS := lib/cpus/${ARCH}/aem_generic.S \
38 lib/cpus/aarch64/neoverse_zeus.S
39
Oliver Swede87762bc2019-12-03 14:08:21 +000040FPGA_GIC_SOURCES := drivers/arm/gic/v3/gicv3_helpers.c \
41 drivers/arm/gic/v3/gicdv3_helpers.c \
42 drivers/arm/gic/v3/gicrv3_helpers.c \
43 drivers/arm/gic/v3/gicv3_main.c \
44 drivers/arm/gic/v3/gic600.c \
45 drivers/arm/gic/common/gic_common.c \
46 plat/common/plat_gicv3.c \
47 plat/arm/board/arm_fpga/fpga_gicv3.c
Oliver Swede536d9062019-11-11 11:11:06 +000048
49PLAT_INCLUDES := -Iplat/arm/board/arm_fpga/include
50
51PLAT_BL_COMMON_SOURCES := plat/arm/board/arm_fpga/${ARCH}/fpga_helpers.S
52
53BL31_SOURCES += drivers/delay_timer/delay_timer.c \
54 drivers/delay_timer/generic_delay_timer.c \
55 drivers/arm/pl011/${ARCH}/pl011_console.S \
56 plat/common/plat_psci_common.c \
57 plat/arm/board/arm_fpga/fpga_pm.c \
58 plat/arm/board/arm_fpga/fpga_topology.c \
59 plat/arm/board/arm_fpga/fpga_console.c \
60 plat/arm/board/arm_fpga/fpga_bl31_setup.c \
61 ${FPGA_CPU_LIBS} \
62 ${FPGA_GIC_SOURCES}
63
64all: bl31