Sign in
pigweed
/
third_party
/
github
/
raspberrypi
/
pico-sdk
/
efe2103f9b28458a1615ff096054479743ade236
/
.
/
src
/
common
/
boot_picobin_headers
/
BUILD.bazel
blob: 2adc55690e3a0d66d63e32ec62f2a8618bf54786 [
file
] [
log
] [
blame
]
package
(
default_visibility
=
[
"//visibility:public"
])
cc_library
(
name
=
"boot_picobin_headers"
,
hdrs
=
[
"include/boot/picobin.h"
],
includes
=
[
"include"
],
deps
=
[
"//src:pico_platform_internal"
,
],
)