PICO-D4 : Can I use SDIO and HSPI together ?

[kuhatovuk]

Hello,

I have an SDcard connected to IO14/12/13/15/2/4 of PICO-D4 as SDIO 4-bit. Can I also use these pins (except CMD/CS) as HSPI for other SPI slave chips?

Thank you much!
Kuha

[Sprite]

I don't think that SDIO is compatible with SPI, so probably no.