@ -37,7 +37,11 @@
#include "string.h"
/* Hardware specifics. */
#include "iodefine.h"
#if defined( configINCLUDE_PLATFORM_H_INSTEAD_OF_IODEFINE_H ) && ( configINCLUDE_PLATFORM_H_INSTEAD_OF_IODEFINE_H == 1 )
#include "platform.h"
#else
#endif
/*-----------------------------------------------------------*/