As far as I know performance data are not an integral part of T1042/T2080 documentation. I’ve only succeeded in finding
presentations from 2014.
Some designers indicate that the DMIPS/MHz factors of 3 and 6 appear to be overstated based on their experimental measurements in the lab.
What is the latest and greatest performance benchmark /DMIPS/ for the T1042/T2080 single core in 64-bit mode with and without hyperthreading?