Lines Matching refs:string
5 # PICO_BAZEL_CONFIG: PICO_TOOLCHAIN, The toolchain to use, type=string, default=gcc, group=build
15 # PICO_BAZEL_CONFIG: PICO_BOARD, Board name being built for, type=string, default=pico or pico2, gr…
33 …e 2 file to use; this should point to a filegroup with the .S file to use, type=string, group=build
39 … is set to src/rp2_common/boot_stage2/{PICO_DEFAULT_BOOT_STAGE2}.S, type=string, default=compile_t…
105 …0 is only supported on the rp2040. dcp is only supported on rp2350, type=string, default=auto, gro…
118 … supported on the rp2040. vfp and dcp are only supported on rp2350, type=string, default=auto, gro…
132 …s the platform default (hardware on RP2040 and compiler on RP2350), type=string, default=auto, gro…
143 …printf behavior while pico provides a pico-specific implementation, type=string, default=double, g…
154 …XT_IMPL, The default implementation for pico_async_context to link, type=string, default=threadsaf…
171 # PICO_BAZEL_CONFIG: PICO_CMSIS_PATH, Label of a cc_ibrary providing CMSIS core, type=string, defa…
208 … The type of build (e.g. Debug or Release) to embed in binary info, type=string, default=pico, gro…