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