HPS frequency

Hello

I would like to know the default running frequency for the Arm in the Cyclone V SoC. In the documentation, Altera says that it is able to go up to 800MHz, but I couldn't find the default value.

*Edit: I eventually found it using the cat /proc/cpuinfo. But was expecting to see some information about it in the documentation.