# Copyright (C) 2024 The Android Open Source Project
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#       http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

load("//build/kernel/kleaf:kernel.bzl", "ddk_module")

# Keep in sync with Kbuild file
filegroup(
    name = "virtio_media_sources",
    srcs = [
        "protocol.h",
        "scatterlist_filler.c",
        "scatterlist_filler.h",
        "session.h",
        "virtio_media.h",
        "virtio_media_driver.c",
        "virtio_media_ioctls.c",
    ],
)

ddk_module(
    name = "aarch64/virtio-media",
    srcs = [":virtio_media_sources"],
    out = "virtio-media.ko",
    kernel_build = "//common-modules/virtual-device:virtual_device_aarch64",
    deps = ["//common:all_headers_aarch64"],
    visibility = ["//common-modules/virtual-device:__pkg__"],
)

ddk_module(
    name = "aarch64_16k/virtio-media",
    srcs = [":virtio_media_sources"],
    out = "virtio-media.ko",
    kernel_build = "//common-modules/virtual-device:virtual_device_aarch64_16k",
    deps = ["//common:all_headers_aarch64"],
    visibility = ["//common-modules/virtual-device:__pkg__"],
)

ddk_module(
    name = "x86_64/virtio-media",
    srcs = [":virtio_media_sources"],
    out = "virtio-media.ko",
    kernel_build = "//common-modules/virtual-device:virtual_device_x86_64",
    deps = ["//common:all_headers_x86_64"],
    visibility = ["//common-modules/virtual-device:__pkg__"],
)