RTOS

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

Certo, pure il tuo pc ha un quarzo da 10-20 MHz però il micro lavora a tot GHz, dentro il micro c'è un complesso sistema di pll, prescaler e postscaler che permette di ottenere quasi qualunque frequenza operativa partendo da un ampio range di frequenze in ingresso.
La gestione del clock degli STM32F4 è molto flessibile e complessa da implementare, ST ha rilasciato un apposito sheet Excel che calcola in automatico come impostare i vari parametri del clock in base alla frequenza input (quarzo) e quella operativa, non solo il Core lavora a una frequenza e le periferiche a una frequenza/e diversa perché ci sono dei limiti operativi da rispettare.
Però adesso non ti spaventare per questa cosa perché trovi tutto già pronto e tabellato, oppure usi lo sheet Excel e in un attimo hai la configurazione per il clock.