In my program written with Arduino SDK , I increased the CPU clock of my pico:
#include "hardware/vreg.h"
//Set vreg to maximum: is necessary before overclocking the pico
vreg_set_voltage (VREG_VOLTAGE_1_30);
// set CPU clock to 300MHz...
set_sys_clock_pll(300 *12000000, 6, 2);
//do something really fast (pico does it!)
...
// Now slow down CPU clock to regular speed = 125MHz - Pico deos it correctly
set_sys_clock_pll(125 *12000000, 6, 2);
//initialise Serial port: >>>>This does not work! - There is no connection to the serial
//monitor possible even though the CPU clock speed was set "back to normal"
Serial.begin( (9600);
...(aim: shuffle the results to the serial port)
It seems that the serial port is somehow knocked out by preivous overcklocking (is true for clock speed >295 MHz)
--> Question: Is there any way to "re-initialise" the serial port?