From 9b4a2a11f5b25637ee68fcfc74a1cd766898840c Mon Sep 17 00:00:00 2001 From: Nikita Ioffe Date: Thu, 11 Apr 2024 15:46:17 +0000 Subject: Add -pkvm_experimental to the kernel prebuilt Current name suggests that android14-6.1 GKI can be run as guest, which is not true. Resolve this confusion by explicitly specifying -pkvm_experimental to the name, which points out that this image was built from the android14-6.1-pkvm_experimental branch. Bug: 329383978 Test: AVF presubmit Change-Id: Ib703a4d2fdc09bd83e63bdc9de01c393f097c9ea --- microdroid-gki/Android.bp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/microdroid-gki/Android.bp b/microdroid-gki/Android.bp index 21ee034..0886738 100644 --- a/microdroid-gki/Android.bp +++ b/microdroid-gki/Android.bp @@ -3,7 +3,7 @@ package { } prebuilt_kernel_modules { - name: "microdroid_gki_kernel_modules-6.1-x86_64", + name: "microdroid_gki_kernel_modules-6.1-pkvm_experimental-x86_64", srcs: [ "zram.ko", "zsmalloc.ko", @@ -13,14 +13,14 @@ prebuilt_kernel_modules { } filegroup { - name: "microdroid_gki_kernel_prebuilts-6.1-x86_64", + name: "microdroid_gki_kernel_prebuilts-6.1-pkvm_experimental-x86_64", srcs: ["kernel-6.1"], } android_filesystem { - name: "microdroid_gki_modules-6.1-x86_64", + name: "microdroid_gki_modules-6.1-pkvm_experimental-x86_64", deps: [ - "microdroid_gki_kernel_modules-6.1-x86_64", + "microdroid_gki_kernel_modules-6.1-pkvm_experimental-x86_64", ], type: "compressed_cpio", } -- cgit v1.2.3