Hi has anione worked with MQX ?
I do not know how to set BSP_ENET_DEVICE_COUNT in order to test the enet demo ...
you should look in the user_config.h and the board specific header file (e.g. TWRK60512.h for the k60 tower) for such settings. These can be found in the bsp library source.
Hope that helps!