summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--microdroid-gki/Android.bp15
1 files changed, 15 insertions, 0 deletions
diff --git a/microdroid-gki/Android.bp b/microdroid-gki/Android.bp
new file mode 100644
index 0000000..045316b
--- /dev/null
+++ b/microdroid-gki/Android.bp
@@ -0,0 +1,15 @@
+package {
+ default_visibility: ["//packages/modules/Virtualization:__subpackages__"],
+}
+
+prebuilt_kernel_modules {
+ name: "microdroid_gki_kernel_modules-6.1-arm64",
+ srcs: ["zram.ko", "zsmalloc.ko"],
+ kernel_version: "6.1",
+ installable: false,
+}
+
+filegroup {
+ name: "microdroid_gki_kernel_prebuilts-6.1-arm64",
+ srcs: ["kernel-6.1"],
+}