diff options
-rw-r--r-- | microdroid-gki/Android.bp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/microdroid-gki/Android.bp b/microdroid-gki/Android.bp index 90ca393..aa216d8 100644 --- a/microdroid-gki/Android.bp +++ b/microdroid-gki/Android.bp @@ -13,3 +13,11 @@ filegroup { name: "microdroid_gki_kernel_prebuilts-6.1-x86_64", srcs: ["kernel-6.1"], } + +android_filesystem { + name: "microdroid_gki_modules-6.1-x86_64", + deps: [ + "microdroid_gki_kernel_modules-6.1-x86_64", + ], + type: "compressed_cpio", +} |