CircuitPython version and board name

CircuitPython 9.2.8 on M5Stack Core S3

Code/REPL

import digitalio
import board
import adafruit_sdcard

spi = board.SPI()
cs = digitalio.DigitalInOut(board.SDCARD_CS)
sdcard = adafruit_sdcard.SDCard(spi, cs)

Behavior

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "adafruit_sdcard.py", line 112, in __init__
  File "adafruit_sdcard.py", line 133, in _init_card
OSError: no SD card

Description

No SD card is detected. The IO allocation appears to be correct. The docs have a warning about sharing the SPI bus https://docs.circuitpython.org/projects/sd/en/latest/#sharing-the-spi-bus-with-other-devices and the device's SPI bus is shared with the display. I don't know what the source of this comment is but I cannot see anywhere anywhere in the code that the CS is initialised as an output and held high before display init.

Additional information

No response