Add RTOS support for K64F

Author: emilmont

libraries/rtos/rtx/RTX_CM_lib.h

@@ -214,7 +214,7 @@ osThreadDef_t os_thread_def_main = {(os_pthread)main, osPriorityNormal, 0, NULL}
 #elif TARGET_LPC812
 #define INITIAL_SP            (0x10001000UL)
 
-#elif TARGET_KL25Z
+#elif TARGET_KL25Z || TARGET_K64F
 #define INITIAL_SP            (0x20003000UL)
 
 #elif TARGET_LPC4088

libraries/rtos/rtx/RTX_Conf_CM.c

@@ -49,7 +49,7 @@
 //       counting "main", but not counting "osTimerThread"
 //   <i> Default: 6
 #ifndef OS_TASKCNT
-#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347)
+#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347) || defined(TARGET_K64F)
 #    define OS_TASKCNT         14
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401) || (TARGET_LPC1114) || (TARGET_LPC812) || defined(TARGET_KL25Z)
 #    define OS_TASKCNT         6
@@ -58,7 +58,7 @@
 
 //   <o>Scheduler (+ interrupts) stack size [bytes] <64-4096:8><#/4>
 #ifndef OS_SCHEDULERSTKSIZE
-#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347)
+#  if defined(TARGET_LPC1768) || defined(TARGET_LPC2368) || defined(TARGET_LPC4088) || defined(TARGET_LPC1347) || defined(TARGET_K64F)
 #      define OS_SCHEDULERSTKSIZE    256
 #  elif defined(TARGET_LPC11U24) || defined(TARGET_LPC11U35_401) || (TARGET_LPC1114) || (TARGET_LPC812) || defined(TARGET_KL25Z)
 #      define OS_SCHEDULERSTKSIZE    128
@@ -113,7 +113,7 @@
 #  elif defined(TARGET_LPC812)
 #    define OS_CLOCK       36000000
 #
-#  elif defined(TARGET_LPC4088)
+#  elif defined(TARGET_LPC4088) || defined(TARGET_K64F)
 #    define OS_CLOCK       120000000
 #  endif
 #endif