[mentat]

I'd like to offer a big thanks to all the contributors to this thread (my Pi is running faster than ever)!

I'm using the following settings in my config.txt (RPi Model B) running Milhouse's build: #1208 (http://forum.kodi.tv/showthread.php?tid=...pid1856807)

gpu_mem=256
arm_freq=1100
core_freq=550
sdram_freq=600
over_voltage=8
over_voltage_sdram=4
force_turbo=1
disable_overscan=1
hdmi_force_hotplug=1
hdmi_ignore_cec_init=1
avoid_pwm_pll=1
disable_splash=1

Temperature is holding at 62 °C and the interface "feels" about "twice" as fast as using Leopold's RPI Config to set overclocking to "Turbo".

Is there a Linux benchmark utility that can be used to "quantify" the results of various configuration settings (for testing)?

Thanks (again).