Check out the thread on the topic and see if there’s a way for you to contribute. My bet is that the current work is being done in an emulator, and that they’re probably not at the hardware stage yet. But support for RPi seems to be in demand, and would be beneficial. It’s just a matter of who has time for what.
2 Likes