blob: 1ced3e3c794739c484b01d2f78061f4f146c3db6 [file] [log] [blame]
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",
],
)