1package(default_visibility = ["//visibility:public"])
2
3cc_library(
4    name = "boot_picobin_headers",
5    hdrs = ["include/boot/picobin.h"],
6    includes = ["include"],
7    deps = [
8        "//src:pico_platform_internal",
9    ],
10)
11