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
27
28
29
30
31
32
|
package {
default_visibility: ["//packages/modules/Virtualization:__subpackages__"],
}
prebuilt_kernel_modules {
name: "microdroid_gki_kernel_modules-6.1-x86_64",
srcs: [
"vcpu_stall_detector.ko",
"virtio-rng.ko",
"virtio_balloon.ko",
"virtio_blk.ko",
"virtio_console.ko",
"vmw_vsock_virtio_transport.ko",
"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",
}
|