1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "hardware_sync_spin_lock_headers",
7    hdrs = ["include/hardware/sync/spin_lock.h"],
8    includes = ["include"],
9    target_compatible_with = compatible_with_rp2(),
10    visibility = [
11        "//src/common/pico_sync:__pkg__",
12        "//src/rp2_common/hardware_sync:__pkg__",
13    ],
14    deps = [
15        "//src/common/pico_base_headers",
16    ],
17)
18
19cc_library(
20    name = "hardware_sync_spin_lock",
21    srcs = ["sync_spin_lock.c"],
22    deps = [
23        ":hardware_sync_spin_lock_headers",
24        "//src/common/pico_sync:pico_sync_headers",
25        "//src/rp2_common/hardware_sync:hardware_sync_headers",
26        "//src/rp2_common/pico_runtime_init",
27    ],
28)
29