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