1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "hardware_riscv_platform_timer",
7    hdrs = ["include/hardware/riscv_platform_timer.h"],
8    includes = ["include"],
9    target_compatible_with = compatible_with_rp2() + ["@platforms//cpu:riscv32"],
10    deps = [
11        "//src/rp2_common:hardware_structs",
12        "//src/rp2_common:pico_platform",
13    ],
14)
15