Hello Dan Foster,
Of course you can use other SPI module.
You just need to modify the according SPI0 and pin to the module which you want.
You can check the KV31 bootloader code.
You will find the spi is defined in file, peripherals_pinmux.h and pinmux_utility_common.c.
Wish it helps you!
If you still have question, please let me know!
Have a great day,
Kerry
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------