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