True, the only gaming focused custom rom I’m aware of is Gamma OS, and while it’s a great effort, the lone developer is not keeping up with the plethora of devices coming out.

Right now the Linux distros for these devices are weak JELOS-style barebones types. I’m looking forward to the days when I can run full fledged Debian-based distros on these.