minicom -D /dev/ttyUSB0


### if cmake breaks: ###
cd build-debug
rm -r *
export PICO_SDK_PATH=../../pico-sdk
cmake -DCMAKE_BUILD_TYPE=Debug -DPICO_BOARD=vgaboard -DCMAKE_TOOLCHAIN_FILE=../../pico-sdk/cmake/preload/toolchains/pico_arm_gcc.cmake ..