SDK • Re: Hello World - Serial - Doesn't work

Code:

pi@pi4vox:~/pico/pico-examples/build/hello_world/serial $ picotool info -a hello_serial.uf2File hello_serial.uf2:Program Information name:          hello_serial web site:      https://github.com/raspberrypi/pico-examples/tree/HEAD/hello_world/serial features:      UART stdin / stdout binary start:  0x10000000 binary end:    0x10005870Fixed Pin Information 0:  UART0 TX 1:  UART0 RXBuild Information sdk version:       1.5.1 pico_board:        pico boot2_name:        boot2_w25q080 build date:        Oct 22 2023 build attributes:  Debug