Seleccionar pines para SPI en Stamp C3

[ferqtek]

Como acceder a los pines del SPI hardware en Stamp C3. He visto que se pueden asignar asi con el MUX_IO pero no consigo que funcione con un TFT ST7789.

#define TFT_MOSI GPIO_NUM_7
#define TFT_SCLK GPIO_NUM_6
#define TFT_CS GPIO_NUM_5
#define TFT_DC GPIO_NUM_4
#define TFT_RST GPIO_NUM_0

Con las librerias especificas no consigo saber como asignar correctamente los pines accesibles en el SOC:

#include <Adafruit_GFX.h>
#include "Adafruit_ST7789.h" // Hardware-specific library for ST7789
#include <SPI.h> // Arduino SPI library

Alguien ha probado la reasignación de pines con el MUX_IO ?? Como puedo hacer que funcione por hardwarw porque va muy lento por software 600Khz máx. Gracias.