gs101: use prebuilt GKI boot.img for production builds am: 96007d8f9c am: 9ded8f37f7

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

Change-Id: Ieed26b23a7c48871f2eda09d16d7677cff9384c3
This commit is contained in:
Petri Gynther 2021-07-22 16:53:51 +00:00 committed by Automerger Merge Worker
commit b139bf6997

View file

@ -53,8 +53,17 @@ 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
ifneq (,$(filter userdebug eng,$(TARGET_BUILD_VARIANT)))
BOARD_PREBUILT_BOOTIMAGE := $(TARGET_KERNEL_DIR)/boot.img
else
BOARD_PREBUILT_BOOTIMAGE := $(TARGET_KERNEL_DIR)/boot-user.img
endif
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