1package(default_visibility = ["//visibility:public"])
2
3cc_library(
4    name = "hardware_irq",
5    srcs = ["irq.c"],
6    hdrs = ["include/hardware/irq.h"],
7    includes = ["include"],
8    tags = ["manual"],  # TODO: No hardware/regs/intctrl.h for host yet.
9    target_compatible_with = ["//bazel/constraint:host"],
10    deps = [
11        "//src/host/hardware_claim",
12        "//src/host/pico_platform",
13    ],
14)
15