gs101: use prebuilt GKI boot.img for production builds am: 63ba0cb1af am: 5c79c1ecf9 am: 90aff04f46

Original change: https://googleplex-android-review.googlesource.com/c/device/google/gs101/+/15180030

Change-Id: I97ac6a89c6c87e74c2b2f48f14b6de2e376efb6e
This commit is contained in:
Petri Gynther 2021-07-13 21:28:18 +00:00 committed by Automerger Merge Worker
commit 115192cceb

View file

@ -53,8 +53,13 @@ BOARD_KERNEL_CMDLINE += stack_depot_disable=off page_pinner=on
BOARD_BOOTCONFIG += androidboot.boot_devices=14700000.ufs
TARGET_NO_BOOTLOADER := true
TARGET_NO_KERNEL := false
TARGET_NO_RADIOIMAGE := true
ifeq (,$(TARGET_PREBUILT_KERNEL))
TARGET_NO_KERNEL := true
BOARD_PREBUILT_BOOTIMAGE := $(TARGET_KERNEL_DIR)/boot.img
else
TARGET_NO_KERNEL := false
endif
BOARD_USES_GENERIC_KERNEL_IMAGE := true
BOARD_MOVE_RECOVERY_RESOURCES_TO_VENDOR_BOOT := true
BOARD_MOVE_GSI_AVB_KEYS_TO_VENDOR_BOOT := true