L4Linux (arm) - change CPU speed

Siegfried Podesser spodesser at gmx.at
Tue Apr 12 09:56:56 CEST 2011


is there a way or an example source code to change the CPU speed?

I'm using the original Fiasco kernal together with the given L4Linux for
arm platforms.

Thank you for your help!

kind regards,

More information about the l4-hackers mailing list