1load("//bazel:defs.bzl", "compatible_with_rp2") 2 3package(default_visibility = ["//visibility:public"]) 4 5cc_library( 6 name = "pico_time_adapter", 7 hdrs = ["include/pico/time_adapter.h"], 8 includes = ["include"], 9 target_compatible_with = compatible_with_rp2(), 10 deps = [ 11 "//src/common/pico_base_headers", 12 "//src/rp2_common/hardware_irq", 13 "//src/rp2_common/hardware_timer", 14 ], 15) 16