17bb01fb2SAntonio Nino Diaz# 27bb01fb2SAntonio Nino Diaz# Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. 37bb01fb2SAntonio Nino Diaz# 482cb2c1aSdp-arm# SPDX-License-Identifier: BSD-3-Clause 57bb01fb2SAntonio Nino Diaz# 67bb01fb2SAntonio Nino Diaz 77bb01fb2SAntonio Nino DiazXLAT_TABLES_LIB_SRCS := $(addprefix lib/xlat_tables_v2/, \ 87bb01fb2SAntonio Nino Diaz ${ARCH}/xlat_tables_arch.c \ 97bb01fb2SAntonio Nino Diaz xlat_tables_internal.c) 10*609c9191SAntonio Nino Diaz 11*609c9191SAntonio Nino DiazINCLUDES += -Ilib/xlat_tables_v2/${ARCH} 12