47 #if LIB_PICO_STDIO_UART
48 #include "pico/stdio_uart.h"
51 #if LIB_PICO_STDIO_USB
52 #include "pico/stdio_usb.h"
55 #if LIB_PICO_STDIO_SEMIHOSTING
56 #include "pico/stdio_semihosting.h"
62 #ifndef PICO_DEFAULT_LED_PIN_INVERTED
63 #define PICO_DEFAULT_LED_PIN_INVERTED 0
113 bool check_sys_clock_khz(uint32_t freq_khz, uint *vco_freq_out, uint *post_div1_out, uint *post_div2_out);
127 uint vco, postdiv1, postdiv2;
131 }
else if (required) {
132 panic(
"System clock of %u kHz cannot be exactly achieved", freq_khz);
void set_sys_clock_pll(uint32_t vco_freq, uint post_div1, uint post_div2)
Initialise the system clock.
Definition: stdlib.c:48
bool check_sys_clock_khz(uint32_t freq_khz, uint *vco_freq_out, uint *post_div1_out, uint *post_div2_out)
Check if a given system clock frequency is valid/attainable.
Definition: stdlib.c:88
void set_sys_clock_48mhz(void)
Initialise the system clock to 48MHz.
Definition: stdlib.c:17
static bool set_sys_clock_khz(uint32_t freq_khz, bool required)
Attempt to set a system clock frequency in khz.
Definition: stdlib.h:126
void setup_default_uart(void)
Set up the default UART and assign it to the default GPIOs.
Definition: stdlib.c:108