Boot to Gecko, basado en HTML5 y Gecko –tecnología con la pretende ser una alternativa libre a Android–, fue anunciado en julio de 2011.