Skip to content

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

Closed
lurk101 wants to merge 1 commit intoraspberrypi:masterfrom
lurk101:master
Closed

Update pico_setup.sh to enable openocd gpiod driver for pi5#28
lurk101 wants to merge 1 commit intoraspberrypi:masterfrom
lurk101:master

Conversation

@lurk101
Copy link

@lurk101 lurk101 commented Nov 17, 2023

No description provided.

@nathan-contino
Copy link

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
Copy link
Contributor

lurch commented Feb 16, 2024

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

@lurk101
Copy link
Author

lurk101 commented Feb 18, 2024

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?

@lurk101 lurk101 closed this by deleting the head repository Feb 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants