From b8732fc0bba5a96850a623f155e9d5d8537320b1 Mon Sep 17 00:00:00 2001
From: Joseph Jaoudi <jd@yohana.com>
Date: Thu, 2 Mar 2023 10:47:39 -0800
Subject: [PATCH] Pin FreeRTOS version and fix build

---
 extra/cmake/freertos.cmake | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/extra/cmake/freertos.cmake b/extra/cmake/freertos.cmake
index 0130603..2b254a9 100644
--- a/extra/cmake/freertos.cmake
+++ b/extra/cmake/freertos.cmake
@@ -3,12 +3,10 @@ include(FetchContent)
 FetchContent_Declare(
   freertos
   GIT_REPOSITORY https://github.com/FreeRTOS/FreeRTOS-Kernel
-  GIT_TAG main
+  GIT_TAG V10.5.1
 )
 
-file(GENERATE
-  OUTPUT FreeRTOSConfig.h
-  CONTENT
+file(WRITE ${CMAKE_CURRENT_BINARY_DIR}/FreeRTOSConfig.h
 [[
 #ifndef FREERTOSCONFIG_H
 #define FREERTOSCONFIG_H
@@ -36,11 +34,7 @@ file(GENERATE
 ]]
 )
 
-add_library(freertos_config INTERFACE)
-target_include_directories(freertos_config
-  SYSTEM INTERFACE
-  ${CMAKE_CURRENT_BINARY_DIR}
-)
+set(FREERTOS_CONFIG_FILE_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR} CACHE STRING "")
 set(FREERTOS_HEAP 4 CACHE STRING "")
 set(FREERTOS_PORT GCC_POSIX CACHE STRING "")