What is the T1024 CoreMark result? Is it for a single core or for the sum of both cores?
According to https://www.nxp.com/docs/en/supporting-information/DN-Digital%20Networking%20solution-2017.pdf, we can find the T1042 CoreMark result of 3.84/MHz which has the same e5500 core as T1024. But is this for a single core?
If for 2 cores, how can we derive the value for single core? Simply by dividing by 2?