diff options
Diffstat (limited to 'bl31/bl31.mk')
| -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 59cfae18..fc498a65 100644 --- a/bl31/bl31.mk +++ b/bl31/bl31.mk @@ -22,7 +22,8 @@ BL31_SOURCES += lib/pmf/pmf_main.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 |