1prebuilt_kernel_modules {
2    name: "microdroid_gki_kernel_modules-android15-6.6-x86_64",
3    srcs: [
4        "vcpu_stall_detector.ko",
5        "virtio_blk.ko",
6        "virtio_console.ko",
7        "virtio_pci.ko",
8        //"virtio_pci_legacy_dev.ko",
9        "virtio_pci_modern_dev.ko",
10        "vmw_vsock_virtio_transport.ko",
11        "zram.ko",
12        "zsmalloc.ko",
13    ],
14    kernel_version: "6.6",
15    no_full_install: true,
16    visibility: ["//visibility:private"],
17}
18
19filegroup {
20    name: "microdroid_gki_kernel_prebuilts-android15-6.6-x86_64",
21    srcs: ["kernel-6.6"],
22    visibility: ["//packages/modules/Virtualization:__subpackages__"],
23}
24
25android_filesystem {
26    name: "microdroid_gki_modules-android15-6.6-x86_64",
27    deps: [
28        "microdroid_gki_kernel_modules-android15-6.6-x86_64",
29    ],
30    type: "compressed_cpio",
31    visibility: ["//packages/modules/Virtualization:__subpackages__"],
32}
33