feat(freertos): Add option to disable FreeRTOS

dongheng · Mr-Pi · commit 97532e638cb8 · 2019-04-20T18:23:42.000+02:00
diff --git a/components/freertos/Kconfig b/components/freertos/Kconfig
@@ -1,5 +1,12 @@
 menu "FreeRTOS"
 
+config DISABLE_FREERTOS
+    bool "Disable FreeRTOS"
+    default n
+    help
+        Enable this option, FreeRTOS will not be compiled and linked, and the user
+        can user other OS platform.
+
 config FREERTOS_ENABLE_REENT
     bool "Enable \"reent\" function"
     default n
diff --git a/components/freertos/component.mk b/components/freertos/component.mk
@@ -1,6 +1,13 @@
 
 # Component Makefile
 #
-COMPONENT_ADD_INCLUDEDIRS += include include/freertos include/freertos/private port/esp8266/include port/esp8266/include/freertos
 
+COMPONENT_ADD_INCLUDEDIRS += include \
+                             include/freertos \
+                             include/freertos/private \
+                             port/esp8266/include \
+                             port/esp8266/include/freertos
+
+ifndef CONFIG_DISABLE_FREERTOS
 COMPONENT_SRCDIRS := freertos port/esp8266
+endif
