I need help in downloading PICO SDK to Platform IO so I can use SDK specific functions as I cannot already.

[tybasuleman]

What kind of issue is this?

• Question.
  This issue tracker is not the place for questions. If you want to ask how to do something,
  or to understand why something isn't working the way you expect it to,
  use Community Forums or Premium Support

• PlatformIO IDE.
  All issues related to PlatformIO IDE should be reported to the
  PlatformIO IDE for VSCode repository

• Development Platform or Board.
  All issues (building, uploading, adding new boards, etc.) related to PlatformIO development platforms
  should be reported to appropriate repository related to your hardware
  https://github.com/topics/platformio-platform

• Feature Request.
  Start by telling us what problem you’re trying to solve. Often a solution
  already exists! Don’t send pull requests to implement new features without first getting our
  support. Sometimes we leave features out on purpose to keep the project small.

• PlatformIO Core.
  If you’ve found a bug, please provide an information below.

You can erase any parts of this template not applicable to your Issue.

---

Configuration

Operating system:

PlatformIO Version (platformio --version):

Description of problem

Steps to Reproduce

Actual Results

Expected Results

If problems with PlatformIO Build System:

The content of platformio.ini:

Insert here...

Source file to reproduce issue:

Insert here...

Additional info

[tybasuleman]

It says in the PLatformIO documentation that it fully supports PICO C SDK functions but I cannot use those libraries

[valeros]

Currently, there is no support for Pico SDK, closing as duplicate #45.

[tybasuleman]

Currently, there is no support for Pico SDK, closing as duplicate #45.

Okay, but the documentation of platform says #here that full functionalities of Pico SDK are being supported.

[valeros]

That's documentation for a different Arduino core that is not currently supported, the raspberrypi dev-platform uses the official one from the Arduino team https://github.com/arduino/ArduinoCore-mbed

[tybasuleman]

That's documentation for a different Arduino core that is not currently supported, the raspberrypi dev-platform uses the official one from the Arduino team https://github.com/arduino/ArduinoCore-mbed

Could you help me to get the arduino core that supports PICO SDK in PlatformIO?

[valeros]

There is no official support, but you can take a look at this implementation #36

[tybasuleman]

Alright, Thank You