package(default_visibility = ["//visibility:public"])

cc_library(
    name = "hardware_irq",
    srcs = ["irq.c"],
    hdrs = ["include/hardware/irq.h"],
    includes = ["include"],
    tags = ["manual"],  # TODO: No hardware/regs/intctrl.h for host yet.
    target_compatible_with = ["//bazel/constraint:host"],
    deps = [
        "//src/host/hardware_claim",
        "//src/host/pico_platform",
    ],
)