1 /*
2  * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef _PICO_CONFIG_H
8 #define _PICO_CONFIG_H
9 
10 // -----------------------------------------------------
11 // NOTE: THIS HEADER IS ALSO INCLUDED BY ASSEMBLY CODE SO
12 //       SHOULD ONLY CONSIST OF PREPROCESSOR DIRECTIVES
13 //       OR USE #ifndef __ASSEMBLER__ guards
14 // -------------
15 
16 // PICO_CONFIG_HEADER_FILES and then PICO_SDK_<PLATFORM>_CONFIG_INCLUDE_FILES
17 // entries are dumped in order at build time into this generated header
18 
19 #include "pico/config_autogen.h"
20 
21 // PICO_CONFIG: PICO_CONFIG_RTOS_ADAPTER_HEADER, Unquoted path to header include in the default pico/config.h for RTOS integration defines that must be included in all sources, group=pico_base
22 #ifdef PICO_CONFIG_RTOS_ADAPTER_HEADER
23 #include __PICO_XSTRING(PICO_CONFIG_RTOS_ADAPTER_HEADER)
24 #endif
25 
26 #endif
27