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