*/\r
\r
#ifndef configENABLE_FPU\r
- #error configENABLE_FPU must be defined in FreeRTOSConfig.h.\r
+ #error configENABLE_FPU must be defined in FreeRTOSConfig.h. Set configENABLE_FPU to 1 to enable the FPU or 0 to disable the FPU.\r
#endif /* configENABLE_FPU */\r
\r
#ifndef configENABLE_MPU\r
- #error configENABLE_MPU must be defined in FreeRTOSConfig.h.\r
+ #error configENABLE_MPU must be defined in FreeRTOSConfig.h. Set configENABLE_MPU to 1 to enable the MPU or 0 to disable the MPU.\r
#endif /* configENABLE_MPU */\r
\r
#ifndef configENABLE_TRUSTZONE\r
- #error configENABLE_TRUSTZONE must be defined in FreeRTOSConfig.h.\r
+ #error configENABLE_TRUSTZONE must be defined in FreeRTOSConfig.h. Set configENABLE_TRUSTZONE to 1 to enable TrustZone or 0 to disable TrustZone.\r
#endif /* configENABLE_TRUSTZONE */\r
+\r
/*-----------------------------------------------------------*/\r
\r
/**\r