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 15load("//build/kernel/kleaf:kernel.bzl", "ddk_module") 16 17# Keep in sync with Kbuild file 18filegroup( 19 name = "virtio_media_sources", 20 srcs = [ 21 "protocol.h", 22 "scatterlist_filler.c", 23 "scatterlist_filler.h", 24 "session.h", 25 "virtio_media.h", 26 "virtio_media_driver.c", 27 "virtio_media_ioctls.c", 28 ], 29) 30 31ddk_module( 32 name = "aarch64/virtio-media", 33 srcs = [":virtio_media_sources"], 34 out = "virtio-media.ko", 35 kernel_build = "//common-modules/virtual-device:virtual_device_aarch64", 36 deps = ["//common:all_headers_aarch64"], 37 visibility = ["//common-modules/virtual-device:__pkg__"], 38) 39 40ddk_module( 41 name = "aarch64_16k/virtio-media", 42 srcs = [":virtio_media_sources"], 43 out = "virtio-media.ko", 44 kernel_build = "//common-modules/virtual-device:virtual_device_aarch64_16k", 45 deps = ["//common:all_headers_aarch64"], 46 visibility = ["//common-modules/virtual-device:__pkg__"], 47) 48 49ddk_module( 50 name = "x86_64/virtio-media", 51 srcs = [":virtio_media_sources"], 52 out = "virtio-media.ko", 53 kernel_build = "//common-modules/virtual-device:virtual_device_x86_64", 54 deps = ["//common:all_headers_x86_64"], 55 visibility = ["//common-modules/virtual-device:__pkg__"], 56) 57