File: user_config.h
===================
#define BSPCFG_ENABLE_IODEBUG    1


File: twrk60n512.h
==================
#ifndef BSP_DEFAULT_IO_CHANNEL
    #if BSPCFG_ENABLE_IODEBUG
        #define BSP_DEFAULT_IO_CHANNEL                    "iodebug:"
        #define BSP_DEFAULT_IO_CHANNEL_DEFINED
    #else
        #define BSP_DEFAULT_IO_CHANNEL                      NULL
    #endif
#else

