blob: 65cb2befef66f40e479480dc587989c889bab018 [file] [log] [blame]
Jiyong Park8edb5532022-07-07 15:51:41 +09001package {
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 src: "empty", // for other 32-bit architectures like x86 and arm
16 arch: {
17 arm64: {
18 src: "arm64/kernel-5.15",
19 },
20 x86_64: {
21 src: "x86_64/kernel-5.15",
22 },
23 },
24}