{ "configurations": [ { "name": "Linux", "intelliSenseMode": "linux-gcc-arm", "includePath": [ "${env:PICO_SDK_PATH}/src/**/include/", "${env:PICO_SDK_PATH}/lib/**/include/", "${env:PICO_SDK_PATH}/lib/**/src/", "${env:PICO_SDK_PATH}/lib/tinyusb/hw", "${workspaceFolder}/build/generated/pico_base/", "${workspaceFolder}/src/", "${workspaceFolder}/lib/**/" ], "compilerPath": "/usr/bin/arm-none-eabi-gcc", "cStandard": "c17", "browse": { "path": [ "${workspaceFolder}" ], "limitSymbolsToIncludedHeaders": true, "databaseFilename": "" }, "defines": [ "CFG_TUSB_MCU=OPT_MCU_RP2040" ] } ], "version": 4 }