1 /*
2 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7 #include "pico/stdlib.h"
8
setup_default_uart()9 void setup_default_uart() {
10
11 }
12
set_sys_clock_48mhz()13 void set_sys_clock_48mhz() {
14
15 }
16
check_sys_clock_khz(uint32_t freq_khz,uint * vco_out,uint * postdiv1_out,uint * postdiv2_out)17 bool check_sys_clock_khz(uint32_t freq_khz, uint *vco_out, uint *postdiv1_out, uint *postdiv2_out) {
18 *vco_out = 1000000;
19 *postdiv1_out = 0;
20 *postdiv2_out = 0;
21 return true;
22 }
23
set_sys_clock_pll(__unused uint32_t vco_freq,__unused uint post_div1,__unused uint post_div2)24 void set_sys_clock_pll(__unused uint32_t vco_freq, __unused uint post_div1, __unused uint post_div2) {
25
26 }
27
28
