1package(default_visibility = ["//visibility:public"])
2
3cc_library(
4    name = "hardware_sync_headers",
5    srcs = ["sync_core0_only.c"],
6    hdrs = ["include/hardware/sync.h"],
7    implementation_deps = ["//src/host/pico_platform:platform_defs"],
8    includes = ["include"],
9    target_compatible_with = ["//bazel/constraint:host"],
10    deps = ["//src/common/pico_base_headers"],
11)
12
13cc_library(
14    name = "hardware_sync",
15    srcs = ["sync_core0_only.c"],
16    hdrs = ["include/hardware/sync.h"],
17    implementation_deps = ["//src/host/pico_platform:platform_defs"],
18    includes = ["include"],
19    target_compatible_with = ["//bazel/constraint:host"],
20    deps = ["//src/host/pico_platform"],
21)
22