# Copyright 2022 Google LLC.
# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

package(default_visibility = ["//visibility:public"])

cc_library(
    name = "device",
    hdrs = ["device.h"],
)

cc_library(
    name = "smc_sim_dv",
    srcs = ["device_smc_sim_dv.c"],
    deps = [
        ":device",
    ],
)

cc_library(
    name = "smc_sim_verilator",
    srcs = ["device_smc_sim_verilator.c"],
    deps = [
        ":device",
    ],
)

cc_library(
    name = "sc_fpga_nexus",
    srcs = ["device_sc_fpga_nexus.c"],
    deps = [
        ":device",
        "@lowrisc_opentitan//sw/device/silicon_creator/lib:rom_print",
        "@lowrisc_opentitan//sw/device/silicon_creator/lib/drivers:ibex",
    ],
)

cc_library(
    name = "smc_fpga_nexus",
    srcs = ["device_smc_fpga_nexus.c"],
    deps = [
        ":device",
    ],
)