После ответа Jivings мне удалось настроить QEMU на моем компьютере с Ubuntu со стандартным образом Debian, хотя мне пришлось использовать arm1136-r2вместо него arm1176.
Как лучше сравнить скорость работы эмулируемого процессора?
Делать cat /proc/cpuinfoдает мне BogoMIPS = 135.57. Это было на Intel Atom @ 1.6 ГГц, без KVM.
Как это связано с реальным Raspberry Pi?
/proc/cpuinfoа на самом деле необработанное количество инструкций в секунду?