12// PICO_CONFIG: PICO_THREAD_LOCAL_CORE1_REINITIALIZE, Whether re-initializing core 1 should reset its thread local variables. A tiny space-saving can be achieved by disabling this support if not needed, type=bool, default=1, advanced=true, group=pico_thread_local
13// PICO_CONFIG: PICO_THREAD_LOCAL_PROVIDE_INIT_TLS, Whether pico_thread_local should provide its own implementation of _init_tls, type=bool, default=1 for non-picolibc and 0 for picolibc, advanced=true, group=pico_thread_local
14// PICO_CONFIG: PICO_THREAD_LOCAL_PROVIDE_SET_TLS, Whether pico_thread_local should provide its own implementation of _set_tls, type=bool, default=1, advanced=true, group=pico_thread_local