2011/10/10 Feng Wei feng.wei@linaro.org:
2011/10/8 Mans Rullgard mans.rullgard@linaro.org:
The times you've reported, are they "real" or "user" times?
real time
What numbers do you get for user time?
Did you also have a pandaboard?
yes, the result is about 3.4s, maybe SD card read speed cause the difference from yours.
I get very little difference between real and user time after the first run when everything is hot in memory cache.