J'ai un P4 Hyper Threading, sur un portable ACER
Sinon :
[root@aspire ~]# rpm -qa | grep kernel
kernel-2.6.17-1.2145_FC5
kernel-smp-2.6.15-1.2054_FC5
kernel-smp-2.6.17-1.2145_FC5
[root@aspire ~]#
PS: Pour info
http://www.langue-fr.net/index/A/au_temps-autant.htm u_u