Buenas! infest84 tiene razón, es un terminal muy nuevo, pero creo que dentro de poco empezarán a salir roms y más desarrollo por eso de que lo actualizarán a Jelly Bean. Me imagino que los desarrolladores preferirán trabajar con JB antes que Ginger, así que no te preocupes, poco queda!
