# SPDX-License-Identifier: GPL-2.0

load("//build/bazel_common_rules/dist:dist.bzl", "copy_to_dist_dir")
load(
    "//build/kernel/kleaf:kernel.bzl",
    "ddk_headers",
    "ddk_module",
    "kernel_build",
    "kernel_compile_commands",
    "kernel_module_group",
)

kernel_build(
    name = "trusty_aarch64",
    srcs = ["//common:kernel_aarch64_sources"],
    outs = [],
    base_kernel = "//common:kernel_aarch64",
    build_config = "build.config.trusty.aarch64",
    defconfig_fragments = [
        "arm_ffa.fragment",
    ],
    make_goals = [
        "modules",
    ],
    module_outs = [
        "ffa-module.ko",
    ],
    strip_modules = True,
)

ddk_headers(
    name = "headers",
    hdrs = glob([
        "drivers/trusty/*.h",
        "include/**/*.h",
    ]),
    includes = [
        "drivers/trusty",
        "include",
    ],
)

ddk_module(
    name = "trusty-core",
    srcs = [
        "drivers/trusty/trusty.c",
        "drivers/trusty/trusty-irq.c",
        "drivers/trusty/trusty-mem.c",
        "drivers/trusty/trusty-sched-share.c",
        "drivers/trusty/trusty-smc-arm64.S",
    ],
    out = "trusty-core.ko",
    defconfig = "trusty_defconfig.fragment",
    kconfig = "drivers/trusty/Kconfig",
    kernel_build = ":trusty_aarch64",
    deps = [
        ":headers",
        "//common:all_headers_aarch64",
    ],
)

ddk_module(
    name = "trusty-ipc",
    srcs = [
        "drivers/trusty/trusty-ipc.c",
    ],
    out = "trusty-ipc.ko",
    defconfig = "trusty_defconfig.fragment",
    kconfig = "drivers/trusty/Kconfig",
    kernel_build = ":trusty_aarch64",
    deps = [
        ":headers",
        ":trusty-core",
        "//common:all_headers_aarch64",
    ],
)

ddk_module(
    name = "trusty-log",
    srcs = [
        "drivers/trusty/trusty-log.c",
    ],
    out = "trusty-log.ko",
    defconfig = "trusty_defconfig.fragment",
    kconfig = "drivers/trusty/Kconfig",
    kernel_build = ":trusty_aarch64",
    deps = [
        ":headers",
        ":trusty-core",
        "//common:all_headers_aarch64",
    ],
)

ddk_module(
    name = "trusty-test",
    srcs = [
        "drivers/trusty/trusty-test.c",
    ],
    out = "trusty-test.ko",
    defconfig = "trusty_defconfig.fragment",
    kconfig = "drivers/trusty/Kconfig",
    kernel_build = ":trusty_aarch64",
    deps = [
        ":headers",
        ":trusty-core",
        "//common:all_headers_aarch64",
    ],
)

ddk_module(
    name = "trusty-virtio",
    srcs = [
        "drivers/trusty/trusty-virtio.c",
    ],
    out = "trusty-virtio.ko",
    defconfig = "trusty_defconfig.fragment",
    kconfig = "drivers/trusty/Kconfig",
    kernel_build = ":trusty_aarch64",
    deps = [
        ":headers",
        ":trusty-core",
        "//common:all_headers_aarch64",
    ],
)

kernel_module_group(
    name = "trusty_aarch64_external_modules",
    srcs = [
        ":trusty-core",
        ":trusty-ipc",
        ":trusty-log",
        ":trusty-test",
        ":trusty-virtio",
    ],
)

kernel_compile_commands(
    name = "trusty_aarch64_compile_commands",
    deps = [
        ":trusty_aarch64",
        ":trusty_aarch64_external_modules",
    ],
)

copy_to_dist_dir(
    name = "trusty_aarch64_dist",
    data = [
        ":trusty_aarch64",
        ":trusty_aarch64_external_modules",
    ],
    flat = True,
)