On 08/21/2012 08:36 PM, david wrote: > > Debian Sid has an RT kernel available, too. Checked the config. CONFIG_HZ_250=y Or doesn't that matter because CONFIG_NO_HZ=y ?? I've never used a tickless kernel, does it perform better or is there no real difference? Best, Jeremy