diff options
Diffstat (limited to 'bl31')
-rw-r--r-- | bl31/bl31.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bl31/bl31.mk b/bl31/bl31.mk index 0732e05215..8ff8f89bb8 100644 --- a/bl31/bl31.mk +++ b/bl31/bl31.mk @@ -59,7 +59,8 @@ 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 +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 |