diff options
-rw-r--r-- | microdroid-gki/Android.bp | 15 |
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"], +} |