Hi Adrian,
I'd vote to have it in the user_config.h header.
Ex:
#ifndef __user_config_h__
#define __user_config_h__
/* Define user specific modifications of default configuration*/
#define BSPCFG_HAS_SRAM_POOL 1
#define MQX_INCLUDE_FLOATING_POINT_IO 1 //DES test
/* include platform-specific configuration */
#include "mqx_cnfg.h"
#endif /* __user_config_h__ */
Regards,
David