| 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", | |
| ], | |
| ) |