ccflags-y += -Wall -Werror
EXTRA_CFLAGS += -Idrivers/platform_drivers/tzdriver
obj-$(CONFIG_DFX_BL31_MNTN) += dfx_bl31_exception.o
obj-$(CONFIG_DFX_BB) += dfx_bl31_trace.o
