NRF52840 - Run SD card on SPI1 bus

I am using a Seeed XIAO NRF52840 plus with the Arduino IDE.

I can run the SD card on SPI with non-standard GPIO pins, using;

  SPI.setPins(SDMISO, SDSCK, SDMOSI);
  SPI.begin();

  if (!SD.begin(SDCS)) {

But is there a way of getting the SD card to work on SPI1 ?

See

Not sure what your suggesting here.

Is it that the SDFat library can re-assign the SPI bus and that it runs on NRF52840 ?

I'm suggesting reading the already raised issue and pondering the information to be found there. it shows how awkward it currently is to use anything other than SPI, and notes that other libraries (and platforms) have implemented workarounds/solutions. Perhaps you could implement one of them yourself.

Edit: upon reflection, if it were me, assuming that my chosen core was using the SPI object and not some harebrained software or register level solution, I'd simply add --build-property "build.extra_flags=-DSDCARD_SPI=SPI1" to my arduino-cli command line and call it a day.