1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "hardware_hazard3",
7    hdrs = [
8        "include/hardware/hazard3.h",
9        "include/hardware/hazard3/features.h",
10        "include/hardware/hazard3/instructions.h",
11    ],
12    includes = ["include"],
13    target_compatible_with = compatible_with_rp2() + ["@platforms//cpu:riscv32"],
14    deps = [
15        "//src/rp2_common:hardware_regs",
16        "//src/rp2_common:pico_platform",
17        "//src/rp2_common/hardware_riscv",
18    ],
19)
20