diff options
author | Inseob Kim <inseob@google.com> | 2023-11-22 18:57:00 +0900 |
---|---|---|
committer | Inseob Kim <inseob@google.com> | 2023-11-22 18:57:15 +0900 |
commit | 792796e011155b4c3c6eb1caca960458f05be6d8 (patch) | |
tree | fc0ea3a00cd4967363af96d95e4da8e4cf99a057 | |
parent | 9df8646dbd50e0560a6ff32624c6911263011991 (diff) | |
download | x86-64-792796e011155b4c3c6eb1caca960458f05be6d8.tar.gz |
microdroid-gki: Add filesystem module
Bug: 302465542
Test: build
Change-Id: I507c14bbcef18fd4e30e82510823fb34e437571e
-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", +} |