Hi Mike
MQX 4.2 BSP has SDRAM support for TWR-K65F180M. You need to enable BSPCFG_ENABLE_SDRAMC in user_config.h file before building MQX libraries. You can refer to SDRAMC demo under the MQX installation folder. C:\Freescale\Freescale_MQX_4_2\mqx\examples\sdramc
If you need to use SDRAM as the default RAM, I think you can try the function _mem_extend.

For example,
_mem_extend(BSP_SDRAM_BASE, BSP_SDRAM_SIZE).
After call _mem_extend, then system will allocate memory from SDRAM space.
I hope it helps.
Regards
Daniel