rasp. pico......SDK

[trix Profiel Privébericht]

hallo,

hoe kan ik zien of ik de pico SDK heb ?

bij het compileren kan de arduino IDE : pico/stdlib.h niet vinden.

[trix Profiel Privébericht]

edit:
eigenlijk kan hij : pico/stdlib.h wel vinden,
maar hier in staat: #include "pico/stdio.h"
en die pico/stdio kan hij niet vinden.

[shooter Profiel Privébericht]

ik heb even gezocht en kwam het volgende tegenIf you want to just use the Pico SDK, use GitHub - Wiz-IO/wizio-pico: Raspberry Pi Pico development platform for PlatformIO 224 instead. Carefully read through the documentation.
het is dus schinbaar een RPI en geen arduino dus je zult helaas verder moeten zoeken