blob: 5e12d27eade2f751a6aa00430f421502323b3bc0 [file] [log] [blame]
Nikita Ioffea2af1e42024-02-14 18:13:47 +00001// Copyright (C) 2024 The Android Open Source Project
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15package {
16 default_applicable_licenses: ["microdroid_kernel_prebuilts_license"],
17}
18
19// See: http://go/android-license-faq
20license {
21 name: "microdroid_kernel_prebuilts_license",
22 visibility: [":__subpackages__"],
23 license_kinds: [
24 "SPDX-license-identifier-GPL-2.0-only",
25 ],
26 // large-scale-change unable to identify any license_text files
27}
28
29soong_config_module_type {
30 name: "avf_microdroid_kernel_prebuilt",
31 module_type: "filegroup",
32 config_namespace: "ANDROID",
33 variables: [
34 "release_avf_microdroid_kernel_version",
35 ],
36 properties: [
37 "srcs",
38 ],
39}
40
41soong_config_string_variable {
42 name: "release_avf_microdroid_kernel_version",
Nikita Ioffea2af1e42024-02-14 18:13:47 +000043 values: [
44 "android14_61",
Chaitanya Cheemala4177efb2024-07-11 15:20:01 +000045 "android15_61",
Nikita Ioffe57697422024-03-26 13:55:00 +000046 "android15_66",
Nikita Ioffea2af1e42024-02-14 18:13:47 +000047 ],
48}
49
50avf_microdroid_kernel_prebuilt {
51 name: "microdroid_kernel_prebuilt-arm64",
52 // Below are properties that are conditionally set depending on value of build flags.
53 soong_config_variables: {
54 release_avf_microdroid_kernel_version: {
55 android14_61: {
56 srcs: ["android14-6.1/arm64/kernel-6.1"],
57 },
Chaitanya Cheemala4177efb2024-07-11 15:20:01 +000058 android15_61: {
59 srcs: ["android15-6.1/arm64/kernel-6.1"],
60 },
Nikita Ioffe57697422024-03-26 13:55:00 +000061 android15_66: {
62 srcs: ["android15-6.6/arm64/kernel-6.6"],
63 },
Nikita Ioffea2af1e42024-02-14 18:13:47 +000064 // In case release configuration doesn't specify value of the
65 // RELEASE_AVF_MICRODROID_KERNEL_VERSION fallback to the kernel we
66 // already released.
67 // TODO(b/298011555): remove this once we set the flag in all release configs.
68 conditions_default: {
69 srcs: ["android14-6.1/arm64/kernel-6.1"],
70 },
71 },
72 },
73}
74
75avf_microdroid_kernel_prebuilt {
76 name: "microdroid_kernel_prebuilt-x86_64",
77 // Below are properties that are conditionally set depending on value of build flags.
78 soong_config_variables: {
79 release_avf_microdroid_kernel_version: {
80 android14_61: {
81 srcs: ["android14-6.1/x86_64/kernel-6.1"],
82 },
Chaitanya Cheemala4177efb2024-07-11 15:20:01 +000083 android15_61: {
84 srcs: ["android15-6.1/x86_64/kernel-6.1"],
85 },
Nikita Ioffe57697422024-03-26 13:55:00 +000086 android15_66: {
87 srcs: ["android15-6.6/x86_64/kernel-6.6"],
88 },
Nikita Ioffea2af1e42024-02-14 18:13:47 +000089 // In case release configuration doesn't specify value of the
90 // RELEASE_AVF_MICRODROID_KERNEL_VERSION fallback to the kernel we
91 // already released.
92 // TODO(b/298011555): remove this once we set the flag in all release configs.
93 conditions_default: {
94 srcs: ["android14-6.1/x86_64/kernel-6.1"],
95 },
96 },
97 },
98}