xref: /rk3399_ARM-atf/plat/arm/board/arm_fpga/platform.mk (revision 87762bce84204b38e264bb54804a6bdfbc4d2acf)
1#
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
40FPGA_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
48
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
65