1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "hardware_irq",
7    srcs = [
8        "irq.c",
9        "irq_handler_chain.S",
10    ],
11    hdrs = ["include/hardware/irq.h"],
12    includes = ["include"],
13    target_compatible_with = compatible_with_rp2(),
14    deps = [
15        "//src/common/hardware_claim",
16        "//src/common/pico_sync",
17        "//src/rp2_common:hardware_regs",
18        "//src/rp2_common:hardware_structs",
19        "//src/rp2_common:pico_platform_internal",
20        "//src/rp2_common:platform_defs",
21        "//src/rp2_common/hardware_base",
22    ],
23    alwayslink = True,
24)
25