1// 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",
43    values: [
44        "android14_61",
45        "android15_61",
46        "android15_66",
47    ],
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            },
58            android15_61: {
59                srcs: ["android15-6.1/arm64/kernel-6.1"],
60            },
61            android15_66: {
62                srcs: ["android15-6.6/arm64/kernel-6.6"],
63            },
64            // 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            },
83            android15_61: {
84                srcs: ["android15-6.1/x86_64/kernel-6.1"],
85            },
86            android15_66: {
87                srcs: ["android15-6.6/x86_64/kernel-6.6"],
88            },
89            // 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}
99