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

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

Change-Id: Ife0a57e81d14f166aa3f77f93a5b78245f348058
This commit is contained in:
Petri Gynther 2021-07-13 21:16:00 +00:00 committed by Automerger Merge Worker
commit 381f1a74c6

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