1package {
2    default_applicable_licenses: ["microdroid_crashdump_kernel_license"],
3}
4
5license {
6    name: "microdroid_crashdump_kernel_license",
7    visibility: [":__subpackages__"],
8    license_kinds: [
9        "SPDX-license-identifier-GPL-2.0-only",
10    ],
11}
12
13prebuilt_etc {
14    name: "microdroid_crashdump_kernel",
15    compile_multilib: "64",
16    arch: {
17        arm64: {
18            src: "arm64/kernel-5.15",
19        },
20        x86_64: {
21            src: "x86_64/kernel-5.15",
22        },
23    },
24    no_full_install: true,
25}
26