Estoy buscando una biblioteca de C que me permita generar un reloj de 1 MHz desde el microcontrolador STM32F407VG. Encontré esta biblioteca pero parece que no se puede usar para este propósito , ya que la frecuencia de reloj mínima que puede generar es 3.2MHz.
¿Alguien sabe qué biblioteca puedo buscar?