How to use ADC input on RaspberryPi Pico running NuttX | Hacker News Reader