Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

API for gpio pin search #73

Closed

Conversation

alexandruradovici
Copy link
Contributor

@alexandruradovici alexandruradovici commented Mar 8, 2020

The API modifications and example to use tock/tock#1675

@alexandruradovici alexandruradovici changed the title API to for gpio pin search API for gpio pin search Mar 8, 2020
@ppannuto ppannuto added the blocked Blocked on promised changes or other PRs label Mar 27, 2020
@ppannuto
Copy link
Member

Blocked for now.

Tracking tock/tock#1675 or possibly tock/tock#1690 in the kernel.

@alexandruradovici
Copy link
Contributor Author

Closing this due to a new GPIO HIL that allows None pins tock/tock#1690

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
blocked Blocked on promised changes or other PRs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants