After changing frequency (i am using Fdiv from rcce to do that) i checked GCBCFG register (using sccGui) and i can see that frequency word has changed. but then i looked at /proc/cpuinfo (by logging into core) and it still says 533 MHz.
so my questions are
how does sccLinux knows which frequency it is running on?
is it correct behaviour for cpuinfo to report 533 MHz?