diff options
-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 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", } |