diff options
| author | Inseob Kim <inseob@google.com> | 2023-11-22 18:56:09 +0900 |
|---|---|---|
| committer | Inseob Kim <inseob@google.com> | 2023-11-22 18:56:45 +0900 |
| commit | 65511c27ac6b53c51ad2ecbe04b5e7316669239f (patch) | |
| tree | 12311e80efa5d4b17bb63bdf0a7ef82da8059289 | |
| parent | ef2c5d12aa0f8285507fe2fa289e0539d5e5b858 (diff) | |
| download | arm64-65511c27ac6b53c51ad2ecbe04b5e7316669239f.tar.gz | |
microdroid-gki: Add filesystem module
Bug: 302465542
Test: build
Change-Id: I690531cdbc2da2b6eec92d57bebb0afcd23786d6
| -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 045316b..6e6c7fe 100644 --- a/microdroid-gki/Android.bp +++ b/microdroid-gki/Android.bp @@ -13,3 +13,11 @@ filegroup { name: "microdroid_gki_kernel_prebuilts-6.1-arm64", srcs: ["kernel-6.1"], } + +android_filesystem { + name: "microdroid_gki_modules-6.1-arm64", + deps: [ + "microdroid_gki_kernel_modules-6.1-arm64", + ], + type: "compressed_cpio", +} |