microdroid-gki/Android.bp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

package {
    default_visibility: ["//packages/modules/Virtualization:__subpackages__"],
}

prebuilt_kernel_modules {
    name: "microdroid_gki_kernel_modules-6.1-x86_64",
    srcs: [
        "zram.ko",
        "zsmalloc.ko",
    ],
    kernel_version: "6.1",
    installable: false,
}

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",
}