1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "tinyusb_port",
7    hdrs = [
8        "include/bsp/board.h",
9    ],
10    defines = [
11        "CFG_TUSB_DEBUG=0",
12        "CFG_TUSB_MCU=OPT_MCU_RP2040",
13        "CFG_TUSB_OS=OPT_OS_PICO",
14    ],
15    includes = ["include"],
16    target_compatible_with = compatible_with_rp2(),
17    deps = [
18        "//src/common/pico_binary_info",
19        "//src/common/pico_stdlib_headers",
20        "//src/common/pico_sync",
21        "//src/common/pico_time:pico_time_headers",
22        "//src/rp2_common:pico_platform",
23        "//src/rp2_common/hardware_gpio",
24        "//src/rp2_common/hardware_irq",
25        "//src/rp2_common/hardware_resets",
26        "//src/rp2_common/hardware_sync",
27        "//src/rp2_common/hardware_uart",
28        "//src/rp2_common/pico_fix/rp2040_usb_device_enumeration",
29        "//src/rp2_common/pico_stdio:pico_stdio_headers",
30        "//src/rp2_common/pico_stdio_semihosting",
31        "//src/rp2_common/pico_stdio_uart",
32        "//src/rp2_common/pico_stdio_usb:pico_stdio_usb_headers",
33        "//src/rp2_common/pico_stdio_usb:tusb_config",
34        "//src/rp2_common/pico_unique_id",
35    ],
36)
37