1 // Rather than auto-generating as part of the build, this header
2 // is checked in directly.
3 //
4 // You can change what is included by configuring these `label_flag`s:
5 //   --@pico-sdk//bazel/config:PICO_CONFIG_EXTRA_HEADER=//my_proj:my_custom_headers
6 //   --@pico-sdk//bazel/config:PICO_CONFIG_PLATFORM_HEADER=//my_proj:my_custom_headers
7 
8 // This header must be provided by //bazel/config:PICO_CONFIG_EXTRA_HEADER:
9 #include "pico_config_extra_headers.h"
10 
11 // This header must be provided by //bazel/config:PICO_CONFIG_PLATFORM_HEADER:
12 #include "pico_config_platform_headers.h"
13