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