techSe filtraron las especificaciones y la fecha de lanzamiento de HTC Petra, para ser el primer dispositivo portátil de HTC