I have not heard of Arkos OS, so to me that is probably the most difficult part, and the board being open enough that we can reprogram it.

I got this shipped to me (from alibaba) a month or so ago
https://www.amazon.com/dp/B0CKR8T198

My goal is to try and port @seedsigner to it