search

raspberrypi / pico-setup

92 stars 42 forks source link

Update pico_setup.sh to enable openocd gpiod driver for pi5 #28

Closed lurk101 closed 6 months ago

nathan-contino commented 7 months ago

Can we merge this in? The documentation points to this repo to help users set up their environments, but until this is merged users will face issues on Pi 5.

lurch commented 7 months ago

See also #30 (which is needed because of raspi-config changes in Bookworm, rather than anything specifically Pi 5).

lurk101 commented 6 months ago

Can I delete the repo that is the origin of this PR without breaking this? The repo in question is https://github.com/lurk101/pico-setup. It seems that pull requests are ignored, so what's the point?