[This comment was removed]
It's made by a company which also sells hardware. I don't know if it's available for other hardware as well.
Found the forum: https://forum.jide.com/ There are roms available for the nexus 10 and 9.
Looks interesting, I've passed this along.
[This comment was removed]