1prebuilt_kernel_modules { 2 name: "microdroid_gki_kernel_modules-android16-6.12-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_legacy_dev.ko", 11 "virtio_pci_modern_dev.ko", 12 "vmw_vsock_virtio_transport.ko", 13 "zram.ko", 14 "zsmalloc.ko", 15 ], 16 kernel_version: "6.12", 17 no_full_install: true, 18 visibility: ["//visibility:private"], 19} 20 21filegroup { 22 name: "microdroid_gki_kernel_prebuilts-android16-6.12-arm64", 23 srcs: ["kernel-6.12"], 24 visibility: ["//packages/modules/Virtualization:__subpackages__"], 25} 26 27android_filesystem { 28 name: "microdroid_gki_modules-android16-6.12-arm64", 29 deps: [ 30 "microdroid_gki_kernel_modules-android16-6.12-arm64", 31 ], 32 type: "compressed_cpio", 33 visibility: ["//packages/modules/Virtualization:__subpackages__"], 34} 35