Most of this has already been said, but...
Not sure why anyone would want to use the SPI interface to communicate with the SDCard when the SDHC is available and the like.
I also wish Arduino had a better way to control which version libraries get included especially when you have duplicates. If you install a library from GitHub to your <sketch folder> \ libraries it will override the ones Teensy installs. ...
Not correct, there IS a SPI bus overlaying the SDHC, and it has been used to program the uSDCard using SPI.
But you are correct if you suggest to use the sdhc interface and not the SPI interface
Edit: while there is No pin number for CS you can explicitly use PTE4 (alt1)
As I mentioned in another very similar thread maybe yesterday or the day before. The IO pins associated with the SDCard are defined in the IO pins with pin numbers 58-63. I have made a couple of adapters that can plug into the sdcard reader and use these IO pins for other purposes.
Code:
58 PTE0 ADC1_SE4a ADC1_SE4a PTE0 SPI1_PCS1 UART1_TX SDHC1_D1 TRACE_CLKOUT I2C1_SDA RTC_CLKOUT
59 PTE1 ADC1_SE5a ADC1_SE5a PTE1/LLWU_P0 SPI1_SOUT UART1_RX SDHC0_D0 TRACE_D3 I2C1_SCL SPI1_SIN
60 PTE2 PTE2/LLWU_P1 ADC1_SE6a PTE2/LLWU_P1 SPI1_SCK UART1_CTS_b SDHC0_DCLK TRACE_D2
61 PTE3 ADC1_SE7a ADC1_SE7a PTE3 SPI1_SIN UART1_RTS_b SDHC0_CMD TRACE_D1 SPI1_SOUT
62 PTE4 DISABLED PTE4/LLWU_P2 SPI1_PCS0 UART3_TX SDHC0_D3 TRACE_D0
63 PTE5 DISABLED PTE5 SPI1_PCS2 UART3_RX SDHC0_D2 FTM3_CH0
Sorry quick copy/paste from my Excel document.
All of these pins have ALT1, which is to use as digital pin, some have Alt0 and can be used for Analog pins (not sure if done).
Also all of these pins have ALT3 functions and have Serial2 and Serial4 capabilities.
But more to the point of this thread. All of these pins have SPI1(ALT2 and ALT7) and SDCARD (ALT4) functionality. The SPI library (and Core) was updated to allow these pins to be used for SPI1.
That is you can call:
SPI1.setMISO(59) or pin 61,
SPI1.setMOSI(59) or 61,
SPI1.setSCLK(60)
SPI1.setCS(58) or 62, or 63.
So the pieces are maybe there allow you to use SPI1 to talk to the SDCard, again not sure if anyone has tried to do so...
I have however used these SPI1 pins to run an ILI9341 display
Also sort of interesting the pin PTE4 in SPI mode is CS1-0 (cs 0 on buss 1), in SDCARD mode it is Data2 pin...