1// Copyright (C) 2025 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: ["trusty_kernel_modules_prebuilts_license"], 17} 18 19// See: http://go/android-license-faq 20license { 21 name: "trusty_kernel_modules_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 29prebuilt_kernel_modules { 30 name: "microdroid_vendor_trusty_modules-android16-6.12-arm64", 31 srcs: [ 32 "ffa-core.ko", 33 "ffa-module.ko", 34 "trusty-core.ko", 35 "trusty-ffa.ko", 36 "trusty-ipc.ko", 37 "trusty-populate.ko", 38 "trusty-virtio-polling.ko", 39 "system_heap.ko", 40 ], 41 kernel_version: "6.12", 42 no_full_install: true, 43 visibility: ["//device/generic/trusty:__subpackages__"], 44} 45