I think you'll need to recompile the firmware anyway to make it run on that processor - if you dig through the source related to the CC3k, you'll find the defines for the SPI pins. Gordon made the Wiznet work on any SPI, but I think CC3k is still fixed (there's a lot less interest in the $30 unreliable CC3k due to the $3 ESP8266 which doesn't seem any flakier)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I think you'll need to recompile the firmware anyway to make it run on that processor - if you dig through the source related to the CC3k, you'll find the defines for the SPI pins. Gordon made the Wiznet work on any SPI, but I think CC3k is still fixed (there's a lot less interest in the $30 unreliable CC3k due to the $3 ESP8266 which doesn't seem any flakier)