RTOS

Ma quelle schedine Discovery hanno processori che possono andare a 170MHz e montano oscillatori a 8MHz?

P.S. Ma un po' di documentazione per quel mikroC? Non trovo niente...