I am running the xilinx provided Linux Kernel on ZC702 board with our FPGA logic. We can set the PL clock using ps7_init.tcl script for standalone mode. But not sure what is the proper way to do it in Linux.
Currently, we modified register F8000170 and F8000180 through /dev/mem mapped IO. It works. However, we would like to know what is the proper way to set PL clock in Linux.