Add android15-6.1 kernel prebuilts to Android.bp
Bug: 298011555
Test: atest MicrodroidTests
Change-Id: I1fa558494d8fb76c5f69dd5c97b8b27422fc4658
diff --git a/microdroid/kernel/Android.bp b/microdroid/kernel/Android.bp
index db5854d..4f13e7d 100644
--- a/microdroid/kernel/Android.bp
+++ b/microdroid/kernel/Android.bp
@@ -55,6 +55,9 @@
android14_61: {
srcs: ["android14-6.1/arm64/kernel-6.1"],
},
+ android15_61: {
+ srcs: ["android15-6.1/arm64/kernel-6.1"],
+ },
// In case release configuration doesn't specify value of the
// RELEASE_AVF_MICRODROID_KERNEL_VERSION fallback to the kernel we
// already released.
@@ -74,6 +77,9 @@
android14_61: {
srcs: ["android14-6.1/x86_64/kernel-6.1"],
},
+ android15_61: {
+ srcs: ["android15-6.1/x86_64/kernel-6.1"],
+ },
// In case release configuration doesn't specify value of the
// RELEASE_AVF_MICRODROID_KERNEL_VERSION fallback to the kernel we
// already released.