I can not find where to change the default pins to connect the nrf52840 to the rpi over SPI.
The default pins are
SPI pin Raspberry Pi pin nRF52833, nRF52840 or nRF52811 pin
MOSI pin 19 (GPIO10) P0.04
MISO pin 21 (GPIO09) P0.28
SCK pin 23 (GPIO11) P0.03
CSN pin 26 (GPIO07) P0.29
INT pin 40 (GPIO21) P0.30
In the infocenter sais "The SPI pins on the Development Kit (nRF52833, nRF52840 or nRF52811) can be configured when building the example. " but i can not find where are they configured.
Please help