20 lines
445 B
INI
20 lines
445 B
INI
[env:rp2040_usb]
|
|
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
|
|
board = pico
|
|
framework = arduino
|
|
board_build.core = earlephilhower
|
|
board_build.usb_product = "Secfest 2026 Badge"
|
|
monitor_speed = 115200
|
|
|
|
upload_protocol = picotool
|
|
|
|
lib_deps =
|
|
adafruit/Adafruit IS31FL3731 Library
|
|
adafruit/Adafruit BusIO
|
|
|
|
build_flags =
|
|
-D PICO_SCAN_I2C_FOR_WIRE
|
|
-D ARDUINO_USB_MODE=1
|
|
-D ARDUINO_USB_CDC_ON_BOOT=1
|
|
-I src
|