Hi @jacobvecht,
According to the SD Physical Specification, the max SD clock frequency is 50MHz, which matches the clock config tool max config. You can find this in the chapter 50.5.5 [SYS_CTRL[DVS]] of RT500 RM.

The RT500 SDK provides software code to switch the MMC timing to the different high-speed modes:

BR,
Edwin.