I’ve run Debian on the MK802 from MicroSD card and got these results in Iceweasel (I didnt do any changes to the base system, e.g. zero optimization so far):
============================================
RESULTS (means and 95% confidence intervals)
--------------------------------------------
Total: 2842.6ms +/- 7.8%
--------------------------------------------
3d: 524.2ms +/- 1.1%
cube: 249.1ms +/- 2.2%
morph: 63.8ms +/- 1.0%
raytrace: 211.3ms +/- 1.3%
access: 210.2ms +/- 2.2%
binary-trees: 37.3ms +/- 8.2%
fannkuch: 72.0ms +/- 2.2%
nbody: 55.0ms +/- 1.4%
nsieve: 45.9ms +/- 9.9%
bitops: 108.6ms +/- 1.7%
3bit-bits-in-byte: 9.3ms +/- 3.7%
bits-in-byte: 21.7ms +/- 2.2%
bitwise-and: 15.5ms +/- 11.1%
nsieve-bits: 62.1ms +/- 3.0%
controlflow: 22.6ms +/- 4.0%
recursive: 22.6ms +/- 4.0%
crypto: 262.3ms +/- 22.5%
aes: 162.2ms +/- 21.7%
md5: 58.0ms +/- 23.9%
sha1: 42.1ms +/- 23.9%
date: 423.2ms +/- 27.3%
format-tofte: 184.8ms +/- 24.7%
format-xparb: 238.4ms +/- 29.3%
math: 273.8ms +/- 1.4%
cordic: 53.5ms +/- 1.9%
partial-sums: 191.9ms +/- 1.3%
spectral-norm: 28.4ms +/- 10.4%
regexp: 142.4ms +/- 23.6%
dna: 142.4ms +/- 23.6%
string: 875.3ms +/- 10.9%
base64: 95.6ms +/- 22.7%
fasta: 94.4ms +/- 24.2%
tagcloud: 268.1ms +/- 14.9%
unpack-code: 315.6ms +/- 5.3%
validate-input: 101.6ms +/- 5.9%