Debian for the Nvidia Tegra3-based OUYA gaming console