Microblaze时钟频率

我想知道VIVADO里面的Microblaze跑的时钟频率是多少，应该从哪里查看这个参数呢？

https://china.xilinx.com/products/design-tools/microblaze.html#processorDetails