Hello, under Options -> Frequency the "Clock frequency" can be configured. Currently I use "maximum", but unfortunately it is not clear to me which clock frequency will be actually used. Also the next slower setting is 50%, so no fine-grained tuning of the clock frequency is poss...