RK3399Pro SPI Interface

Is there any documentation/information about how the SPI was setup on the Fedora image available for the rk3399pro SOM? i2c is setup clearly but there is no information anywhere about SPI. It also does not show up in dmesg.