1package(default_visibility = ["//visibility:public"])
2
3# This needs to remain compatible with the host build since it's used by
4# Picotool.
5cc_library(
6    name = "boot_picoboot_headers",
7    hdrs = [
8        "include/boot/picoboot.h",
9        "include/boot/picoboot_constants.h",
10    ],
11    includes = ["include"],
12    deps = ["//src:pico_platform_internal"],
13)
14