I’ve built the Debian 10.9 image, and it boots with no issues. However, after ‘modprobe spidev’, I have no /dev/spi* devices. It did create /sys/class/spidev, but the directory is empty, as is /sys/class/spi-master and /sys/class/spi-slave (although I don’t care about SPI slave functionality).
I’ve decompiled the stm32mp157c-dk2.dtb device tree binary, and spi1 is present.
The goal is to have SPI on the RPi connector on physical pins 19, 21, 23, and 24 (standard RPi 40 pin mapping)
Any ideas why no SPI devices are enumerating?