This is really cool. Thanks for sharing this. Is this a workable solution for the Raspberry Pi or is it more of a proof of concept? I need to learn Ada, but I'm really not a fan of C/C++ or Python, so I haven't gotten to join in on the fun of the Pico, yet.