How to override pin names for SPIF block device?

Hi,

The driver source code expects something like the following:

MBED_CONF_SPIF_DRIVER_SPI_MOSI
MBED_CONF_SPIF_DRIVER_SPI_MISO
MBED_CONF_SPIF_DRIVER_SPI_CLK
MBED_CONF_SPIF_DRIVER_SPI_CS
MBED_CONF_SPIF_DRIVER_SPI_FREQ

I tried several variations such as the one listed below in mbed_app.json

"SPIF_DRIVER.spi_mosi": "PE_14",
"SPIF_DRIVER.spi_miso": "PE_13",
"SPIF_DRIVER.spi_clk": "PE_12",
"SPIF_DRIVER.spi_cs":   "PE_11",
"SPIF_DRIVER.spi_freq":  "20000000",

I always get error:

WARNING: You are attempting to override an undefined config parameter `SPIF_DRIVER.spi_miso`.

The documentation on how to override those pins for SD card driver seems clear, but doesn’t mention SPIF.

Thanks,
ZL

After a bunch of trial and error, I found the following works:

"spif-driver.SPI_MOSI": "PE_14",
"spif-driver.SPI_MISO": "PE_13",
"spif-driver.SPI_CLK": "PE_12",
"spif-driver.SPI_CS": "PE_11",
"spif-driver.SPI_FREQ": "20000000",