#include <stdio.h>
#include "pico/stdlib.h"
#include "pico/cyw43_arch.h"
#include "hardware/pll.h"
#include "hardware/clocks.h"



int main() {

  //Inicializa a comunicação serial
  stdio_init_all();

  //Inicialza os clocks
  clocks_init(); //Alterado para clocks_init()

  //Configura o PLL_SYS para 125 MHz
  pll_init(pll_sys, 1, 1500*MHZ, 6*MHZ, 1); //Multiplicador de 125 (750/6 MHz)

  //Configura o CLK_SYS para usar o PLL_SYS como fonte de clock
  clock_configure(clk_sys,
                  CLOCKS_CLK_SYS_CTRL_SRC_VALUE_CLKSRC_CLK_SYS_AUX,
                  CLOCKS_CLK_SYS_CTRL_AUXSRC_VALUE_CLKSRC_PLL_SYS,
                  125 * MHZ,  //Frequencia desejada
                  125 * MHZ); //Frequencia de origem

  //A partir daqui, o CLK_SYS opera a 125 MHZ
  printf("CLK_SYS está operando a 125 MHz \n"); //Imprime a mensagem                
  
  while (true) {
    //Loop principal
  }
}