[rpipico_default]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = pico
framework = arduino
board_build.core = earlephilhower



[env:pico-default]
extends = rpipico_default
build_flags       =
  -DDUMMY_DISPLAY