RP2040 Serial.print

Thanks for the rp2040 core. I’ve used it for a few examples without problems. I haven’t managed to get data to the serial monitor. I’ve used this for a long time on avr arduino boards but I haven’t found any examples for the rp2040. I’m using the mbed core.