Which SPI interface does the CC3000 use?

Ugh.

> SPI1.setup({baud:3200000,mosi:A7}); // OK

// First one blue, then almost white, blue-ish white, yellow/amber
> SPI1.send4bit([255,255,255,128,128,128,255,128,255],0b0001,0b0011);

// First becomes white, purple/pink, off, red
SPI1.send4bit([255,000,255,255,0,0,0,0,255],0b0001,0b0011);

// First becomes green, turquoise, off, red
> SPI1.send4bit([0,255,0,255,0,0,0,0,255],0b0001,0b0011);

={
      "VERSION":"1v62",
      "BUILD_DATE":"Apr 22 2014",
      "BUILD_TIME":"16:28:21",
      "BOARD":"ESPRUINOBOARD",
      "CHIP":"STM32F103RFT6",
      "CHIP_FAMILY":"STM32F1",
      "FLASH":786432,"RAM":98304,
      "SERIAL":"3000d805-41413XXX-33481XXX",
      "CONSOLE":"USB"
    }
> 

It never works correctly on A7-SPI1 even when you just enter the code via the console. It does indeed work on B15-SPI2.

I am not using Wifi during the console testing; and unfortunately, the CC3000 has been soldered onto the board (and works). Hmm, tho our expert engineers did the work, perhaps the CC3000 is causing an issue?