diff options
author | Nikita Ioffe <ioffe@google.com> | 2024-04-11 15:49:16 +0000 |
---|---|---|
committer | Nikita Ioffe <ioffe@google.com> | 2024-04-11 15:49:16 +0000 |
commit | 2f105ef59ef397a79716cb56fb31c835ea3c6261 (patch) | |
tree | 0f9af3485f7f39521d11ad632f7a6c5af420b497 | |
parent | ec73db1552c53e3827a3f14ea713caeb0060036d (diff) | |
download | arm64-2f105ef59ef397a79716cb56fb31c835ea3c6261.tar.gz |
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: I6efc1fce3bd8dc9bd5ea171502aab7d8c7da9b9d
-rw-r--r-- | microdroid-gki/Android.bp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/microdroid-gki/Android.bp b/microdroid-gki/Android.bp index 22dfa92..25518e2 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-arm64", + name: "microdroid_gki_kernel_modules-6.1-pkvm_experimental-arm64", srcs: [ "zram.ko", "zsmalloc.ko", @@ -13,14 +13,14 @@ prebuilt_kernel_modules { } filegroup { - name: "microdroid_gki_kernel_prebuilts-6.1-arm64", + name: "microdroid_gki_kernel_prebuilts-6.1-pkvm_experimental-arm64", srcs: ["kernel-6.1"], } android_filesystem { - name: "microdroid_gki_modules-6.1-arm64", + name: "microdroid_gki_modules-6.1-pkvm_experimental-arm64", deps: [ - "microdroid_gki_kernel_modules-6.1-arm64", + "microdroid_gki_kernel_modules-6.1-pkvm_experimental-arm64", ], type: "compressed_cpio", } |