1# 2# Copyright (C) 2019 The Android Open-Source Project 3# 4# Licensed under the Apache License, Version 2.0 (the "License"); 5# you may not use this file except in compliance with the License. 6# You may obtain a copy of the License at 7# 8# http://www.apache.org/licenses/LICENSE-2.0 9# 10# Unless required by applicable law or agreed to in writing, software 11# distributed under the License is distributed on an "AS IS" BASIS, 12# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13# See the License for the specific language governing permissions and 14# limitations under the License. 15# 16 17# Device makers who are willing to support booting the public Developer-GSI 18# in locked state can add the following line into a device.mk to inherit this 19# makefile. This file will then install the up-to-date GSI public keys into 20# the first-stage ramdisk to pass verified boot. 21# 22# In device/<company>/<board>/device.mk: 23# $(call inherit-product, $(SRC_TARGET_DIR)/product/developer_gsi_keys.mk) 24# 25# Currently, the developer GSI images can be downloaded from the following URL: 26# https://developer.android.com/topic/generic-system-image/releases 27# 28PRODUCT_PACKAGES += \ 29 q-developer-gsi.avbpubkey \ 30 r-developer-gsi.avbpubkey \ 31 s-developer-gsi.avbpubkey \ 32