Today Jun 13, 2015 at 00:49 Eugene V. Boontseff wrote: > Не помогло. Но и не могло. > При загрузке даже с kern.timecounter.hardware=XXX в /etc/sysctl.conf всегда > появляется строка: > Timecounter "TSC-low" frequency 1600035496 Hz quality 1000 > Изменение значения на те, что в sysctl.conf, происходит позже. > > Обновление биоса на самый распоследний тоже, увы, не помогло.
А в BIOS опции типа x2APIC есть? Попробуйте отключить. -- WNGS-RIPE
