João Brázio
12 months ago
No known key found for this signature in database
GPG Key ID: 56A1490716A324DD
1 changed files with
2 additions and
1 deletions
-
platformio.ini
|
|
|
@ -70,8 +70,9 @@ lib_deps = |
|
|
|
|
|
|
|
[rp2040_base] |
|
|
|
extends = arduino_base |
|
|
|
platform = https://github.com/maxgerhardt/platform-raspberrypi.git |
|
|
|
upload_protocol = picotool |
|
|
|
board_build.core = earlephilhower |
|
|
|
platform = https://github.com/maxgerhardt/platform-raspberrypi.git |
|
|
|
build_flags = ${arduino_base.build_flags} |
|
|
|
-D RP2040_PLATFORM |
|
|
|
|
|
|
|
|