Manually update microdroid kernel version into common-android14-6.1
kernel build ID is 9478469
Bug: 262792308
Test: atest MicrodroidHostTests
Change-Id: If30f8e4f69c9767078a02675f071099d7b1919df
diff --git a/microdroid/Android.bp b/microdroid/Android.bp
index c62db2d..b898097 100644
--- a/microdroid/Android.bp
+++ b/microdroid/Android.bp
@@ -247,10 +247,10 @@
kernel_prebuilt: "empty_kernel",
arch: {
arm64: {
- kernel_prebuilt: ":microdroid_kernel_prebuilts-5.15-arm64",
+ kernel_prebuilt: ":microdroid_kernel_prebuilts-6.1-arm64",
},
x86_64: {
- kernel_prebuilt: ":microdroid_kernel_prebuilts-5.15-x86_64",
+ kernel_prebuilt: ":microdroid_kernel_prebuilts-6.1-x86_64",
},
},
@@ -588,11 +588,11 @@
enabled: false,
arch: {
arm64: {
- src: ":microdroid_kernel_prebuilts-5.15-arm64",
+ src: ":microdroid_kernel_prebuilts-6.1-arm64",
enabled: true,
},
x86_64: {
- src: ":microdroid_kernel_prebuilts-5.15-x86_64",
+ src: ":microdroid_kernel_prebuilts-6.1-x86_64",
enabled: true,
},
},