diff options
Diffstat (limited to 'bl31/bl31.mk')
-rw-r--r-- | bl31/bl31.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bl31/bl31.mk b/bl31/bl31.mk index 6820983b59..2db48564e6 100644 --- a/bl31/bl31.mk +++ b/bl31/bl31.mk @@ -59,6 +59,11 @@ ifeq (${ENABLE_SVE_FOR_NS},1) BL31_SOURCES += lib/extensions/sve/sve.c endif +ifeq (${WORKAROUND_CVE_2017_5715},1) +BL31_SOURCES += lib/cpus/aarch64/workaround_cve_2017_5715_mmu.S \ + lib/cpus/aarch64/workaround_cve_2017_5715_bpiall.S +endif + BL31_LINKERFILE := bl31/bl31.ld.S # Flag used to indicate if Crash reporting via console should be included |