SPI not working with MBED (was: Performance of XIAO with Sharp Memory Display)

Using soft SPI, I get around 1.5Hz, with hard SPI, I get almost exactly 9Hz - which would look good enough, if I would get any output using the hard SPI-pins.

According to the data sheet, the frame frequency is 20 Hz when the clock frequency is 2 MHz. mbed’s hardware SPI throughput is 1/3, so 9 Hz should be sufficient.
Just to confirm, it’s 9Hz in mbed, right?