whbruce opened this issue 8 years ago · 1 comments
It looks like gpio_pin_configure() is not returning. This worked briefly. Maybe out of memory?
Fixed by commit 723b374