load("//bazel:defs.bzl", "compatible_with_rp2") | |
package(default_visibility = ["//visibility:public"]) | |
cc_library( | |
name = "hardware_riscv_platform_timer", | |
hdrs = ["include/hardware/riscv_platform_timer.h"], | |
includes = ["include"], | |
target_compatible_with = compatible_with_rp2() + ["@platforms//cpu:riscv32"], | |
deps = [ | |
"//src/rp2_common:hardware_structs", | |
"//src/rp2_common:pico_platform", | |
], | |
) |