Merge branch 'feature/prs_from_github' into 'master'

PRs from Github

See merge request !1578
This commit is contained in:
Ivan Grokhotkov
2017-11-22 22:26:40 +08:00
6 changed files with 29 additions and 12 deletions

View File

@@ -253,6 +253,7 @@ int xt_clock_freq(void) __attribute__((deprecated));
#define INCLUDE_uxTaskGetStackHighWaterMark 1
#define INCLUDE_pcTaskGetTaskName 1
#define INCLUDE_xTaskGetIdleTaskHandle 1
#define INCLUDE_pxTaskGetStackStart 1
#define INCLUDE_xSemaphoreGetMutexHolder 1