1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5# Picotool needs this, so we can't strictly constrain compatibility.
6cc_library(
7    name = "hardware_boot_lock_headers",
8    hdrs = ["include/hardware/boot_lock.h"],
9    includes = ["include"],
10    tags = ["manual"],
11    deps = ["//src:pico_platform_internal"],
12    visibility = ["//src/rp2_common/pico_bootrom:__pkg__"],
13)
14
15cc_library(
16    name = "hardware_boot_lock",
17    srcs = ["boot_lock.c"],
18    hdrs = ["include/hardware/boot_lock.h"],
19    includes = ["include"],
20    target_compatible_with = compatible_with_rp2(),
21    deps = [
22        "//src/common/pico_base_headers",
23        "//src/common/pico_sync",
24        "//src/rp2_common:hardware_structs",
25        "//src/rp2_common/pico_runtime",
26        "//src/rp2_common/pico_runtime_init",
27    ],
28)
29