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
29filegroup {
30    name: "microdroid_kernel_prebuilt-arm64",
31    // Below are properties that are conditionally set depending on value of build flags.
32    srcs: select(release_flag("RELEASE_AVF_MICRODROID_KERNEL_VERSION"), {
33        "android15_66": ["android15-6.6/arm64/kernel-6.6"],
34        default: [],
35    }),
36}
37
38filegroup {
39    name: "microdroid_kernel_prebuilt-x86_64",
40    // Below are properties that are conditionally set depending on value of build flags.
41    srcs: select(release_flag("RELEASE_AVF_MICRODROID_KERNEL_VERSION"), {
42        "android15_66": ["android15-6.6/x86_64/kernel-6.6"],
43        default: [],
44    }),
45}
46
47filegroup {
48    name: "microdroid_kernel_16k_prebuilt-arm64",
49    // Below are properties that are conditionally set depending on value of build flags.
50    srcs: select(release_flag("RELEASE_AVF_MICRODROID_KERNEL_VERSION"), {
51        "android15_66": ["android15-6.6/arm64/16k/kernel-6.6"],
52        default: [],
53    }),
54}
55