1 cmake_minimum_required(VERSION 3.13)
3 if (NOT TARGET _FreeRTOS_kernel_inclusion_marker)
4 add_library(_FreeRTOS_kernel_inclusion_marker INTERFACE)
6 # Pull in PICO SDK (must be before project)
7 include(pico_sdk_import.cmake)
8 if (PICO_SDK_VERSION_STRING VERSION_LESS "1.2.0")
9 message(FATAL_ERROR "Require at least Raspberry Pi Pico SDK version 1.2.0")
12 if (NOT FREERTOS_KERNEL_PATH)
13 get_filename_component(FREERTOS_KERNEL_PATH ${CMAKE_CURRENT_LIST_DIR}/../../../.. REALPATH)
16 message(DEBUG "FREERTOS_KERNEL_PATH is ${FREERTOS_KERNEL_PATH}")
17 project(FreeRTOS-Kernel C CXX)
19 set(CMAKE_C_STANDARD 11)
20 set(CMAKE_CXX_STANDARD 17)
22 pico_is_top_level_project(FREERTOS_KERNEL_TOP_LEVEL_PROJECT)
24 # if the SDK has already been initialized, then just add our libraries now - this allows
25 # this FreeRTOS port to just be added as a sub-directory or include within another project, rather than
26 # having to include it at the top level before pico_sdk_init()
27 if (TARGET _pico_sdk_inclusion_marker)
28 if (PICO_SDK_VERSION_STRING VERSION_LESS "1.3.2")
29 message(FATAL_ERROR "Require at least Raspberry Pi Pico SDK version 1.3.2 to include FreeRTOS after pico_sdk_init()")
31 include(${CMAKE_CURRENT_LIST_DIR}/library.cmake)
33 # The real work gets done in library.cmake which is called at the end of pico_sdk_init
34 list(APPEND PICO_SDK_POST_LIST_FILES ${CMAKE_CURRENT_LIST_DIR}/library.cmake)
35 if (PICO_SDK_VERSION_STRING VERSION_LESS "1.3.2")
36 # We need to inject the following header file into ALL SDK files (which we do via the config header)
37 list(APPEND PICO_CONFIG_HEADER_FILES ${CMAKE_CURRENT_LIST_DIR}/include/freertos_sdk_config.h)
40 if (FREERTOS_KERNEL_TOP_LEVEL_PROJECT)
41 message("FreeRTOS: initialize SDK since we're the top-level")
45 set(FREERTOS_KERNEL_PATH ${FREERTOS_KERNEL_PATH} PARENT_SCOPE)
46 set(PICO_CONFIG_HEADER_FILES ${PICO_CONFIG_HEADER_FILES} PARENT_SCOPE)
47 set(PICO_SDK_POST_LIST_FILES ${PICO_SDK_POST_LIST_FILES} PARENT_SCOPE)