diff options
| author | Garret Kelly <gdk@google.com> | 2019-06-24 11:54:02 -0400 |
|---|---|---|
| committer | Garret Kelly <gdk@google.com> | 2019-06-24 13:20:50 -0400 |
| commit | 423c804625e6b5900ed9f378802f20ec6e93d075 (patch) | |
| tree | 75f8bdd750f0b258a25dc0d5e99e248568d9422a | |
| parent | 00c5aaed585e254df53249268fefee8505dc11be (diff) | |
| download | crosshatch-423c804625e6b5900ed9f378802f20ec6e93d075.tar.gz | |
Set BOOT_SECURITY_PATCH during build
This property is now used during boot to provide the TEE-backed
keymaster with the correct boot SPL. Set it to the platform SPL until
it diverges as part of an update.
Bug: 119549677
Test: verified boot.img has property using avbtool
Change-Id: I6d96404918cf18d0fee79c701394b39baf349c53
| -rw-r--r-- | device-common.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/device-common.mk b/device-common.mk index f5c53993..9f7ced49 100644 --- a/device-common.mk +++ b/device-common.mk @@ -50,6 +50,9 @@ PRODUCT_PROPERTY_OVERRIDES += vendor.audio.mic_break=true # Setting vendor SPL VENDOR_SECURITY_PATCH = $(PLATFORM_SECURITY_PATCH) +# Set boot SPL +BOOT_SECURITY_PATCH = $(PLATFORM_SECURITY_PATCH) + # MIDI feature PRODUCT_COPY_FILES += \ frameworks/native/data/etc/android.software.midi.xml:$(TARGET_COPY_OUT_VENDOR)/etc/permissions/android.software.midi.xml |