From c42b5e2fc5e9eeb2aee93b211b8cf2985a913930 Mon Sep 17 00:00:00 2001
From: Bowgo Tsai <bowgotsai@google.com>
Date: Fri, 21 Oct 2022 15:03:57 +0800
Subject: [PATCH] Adding developer GSI keys

Bug: 254752713
Test: build and check $OUT/installed-files-vendor-ramdisk.txt that GSI
      keys are included
Change-Id: Ia4041e10156eadb37799ebdc12b33fbb3de4c54d
---
 device.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/device.mk b/device.mk
index dc79997..2813186 100644
--- a/device.mk
+++ b/device.mk
@@ -21,3 +21,5 @@ PRODUCT_SOONG_NAMESPACES += \
 PRODUCT_PROPERTY_OVERRIDES += \
 	vendor.media.omx=0
 
+# Installs gsi keys into ramdisk, to boot a developer GSI with verified boot.
+$(call inherit-product, $(SRC_TARGET_DIR)/product/developer_gsi_keys.mk)