feat(freertos): Add option to disable FreeRTOS

This commit is contained in:
dongheng
2019-02-28 16:51:57 +08:00
parent 1b701ca8a9
commit d9b9e9e6a3
2 changed files with 15 additions and 1 deletions

View File

@ -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

View File

@ -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