Did anybody get SPI interface working on TX1?

I think the commenting out that bbasu was referring to is the GPIO_INIT for C0-C4 in the pinmux-config-p2371-2180.h file. I just realized that this morning. But still no luck for me.