Can anyone tell me if there is anything special I should enable in my kernel (or any other Debian configuration) to make the most out of an Intel P4 processor with HyperThreading? Just realised my kernel has SMP disabled which might have been a mistake, but I can't find a definitive answer by googling. Thanks, Andy