From ed8bd8aaf44715214a7efd1317326ed5105d41a5 Mon Sep 17 00:00:00 2001
From: Nikita Ioffe <ioffe@google.com>
Date: Tue, 23 Apr 2024 18:34:52 +0000
Subject: [PATCH] Add PRODUCT_AVF_MICRODROID_GUEST_GKI_VERSION to
 _product_single_value_vars

Forgot to add it in aosp/3044155.

Bug: 325991735
Test: m
Change-Id: I21d08b85b25426e498fc90c90729f7cb01f1f9d1
---
 core/product.mk | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/product.mk b/core/product.mk
index e8db0f5e00..f8634efd25 100644
--- a/core/product.mk
+++ b/core/product.mk
@@ -478,6 +478,10 @@ _product_single_value_vars += PRODUCT_HIDDEN_API_EXPORTABLE_STUBS
 
 _product_single_value_vars += PRODUCT_EXPORT_RUNTIME_APIS
 
+# If set, determines which version of the GKI is used as guest kernel for Microdroid VMs.
+# TODO(b/325991735): link to documentation once it is done.
+_product_single_value_vars += PRODUCT_AVF_MICRODROID_GUEST_GKI_VERSION
+
 .KATI_READONLY := _product_single_value_vars _product_list_vars
 _product_var_list :=$= $(_product_single_value_vars) $(_product_list_vars)