In the Keil MDK toolchain RTX_Config.h is a special system library header file

libraries/rtos/rtx/HAL_CM.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_HAL_CM.h"
 
 

libraries/rtos/rtx/KL25Z/ARM/HAL_CM0.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_HAL_CM.h"
 #include "rt_Task.h"

libraries/rtos/rtx/LPC11U24/uARM/HAL_CM0.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_HAL_CM.h"
 #include "rt_Task.h"

libraries/rtos/rtx/LPC1768/ARM/HAL_CM3.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_HAL_CM.h"
 #include "rt_Task.h"

libraries/rtos/rtx/RTX_Conf_CM.c

@@ -221,7 +221,7 @@ extern void mbed_die(void);
 
 void os_error (uint32_t err_code) {
     /* This function is called when a runtime error is detected. Parameter     */
-    /* 'err_code' holds the runtime error code (defined in RTX_Config.h).      */
+    /* 'err_code' holds the runtime error code (defined in RTX_Conf.h).      */
     mbed_die();
 }
 

libraries/rtos/rtx/rt_CMSIS.c

@@ -47,7 +47,7 @@
 #endif
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_Task.h"
 #include "rt_Event.h"

libraries/rtos/rtx/rt_Event.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_Event.h"
 #include "rt_List.h"

libraries/rtos/rtx/rt_List.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_List.h"
 #include "rt_Task.h"

libraries/rtos/rtx/rt_Mailbox.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_List.h"
 #include "rt_Mailbox.h"

libraries/rtos/rtx/rt_MemBox.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_MemBox.h"
 #include "rt_HAL_CM.h"

libraries/rtos/rtx/rt_Mutex.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_List.h"
 #include "rt_Task.h"
 #include "rt_Mutex.h"

libraries/rtos/rtx/rt_Robin.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_List.h"
 #include "rt_Task.h"
 #include "rt_Time.h"

libraries/rtos/rtx/rt_Semaphore.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_List.h"
 #include "rt_Task.h"

libraries/rtos/rtx/rt_System.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_Task.h"
 #include "rt_System.h"
 #include "rt_Event.h"

libraries/rtos/rtx/rt_Task.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_Task.h"
 #include "rt_List.h"

libraries/rtos/rtx/rt_Time.c

@@ -33,7 +33,7 @@
  *---------------------------------------------------------------------------*/
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_Task.h"
 #include "rt_Time.h"