Hi,

On an Intel Pentium 200 machine:

~ $ dmesg | grep F0
Intel Pentium with F0 0F bug - workaround enabled.
~ $ cat /prc/cpuinfo
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 5
model		: 2
model name	: Pentium 75 - 200
stepping	: 12
cpu MHz		: 205.231
cache size	: 0 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr mce cx8
bogomips	: 411.10
clflush size	: 32
~ $

On 2.4 kernels it showed it correctly.

I also attach my .config

  $ ./ver_linux
If some fields are empty or look unusual you may have an old version.
Compare to the current minimal requirements in Documentation/Changes.

Linux hierro 2.6.24 #5 Thu Jan 31 14:24:21 CET 2008 i586 GNU/Linux

Gnu C                  4.2.3
Gnu make               3.81
binutils               2.18.0.20080103
util-linux             2.13.1
mount                  2.13.1
module-init-tools      implemented
e2fsprogs              1.40.8
quota-tools            3.16.
Linux C Library        2.7
Dynamic linker (ldd)   2.7
Procps                 3.2.7
Net-tools              1.60
Console-tools          0.2.3
Sh-utils               6.10

Cheers,

David.

Hi,

This also could be interesting:

Executing a test program taken from

http://lwn.net/2001/0329/a/ltp-f00f.php3

  $ ./f00f.o
Testing for proper f00f instruction handling.
Segmentation fault
  $ dmesg
......
BUG: unable to handle kernel paging request at virtual address ffffb030
printing eip: 08049678 *pde = 00296067 *pte = 00271061
Oops: 0003 [#1]

Pid: 1838, comm: f00f.o Not tainted (2.6.24 #5)
EIP: 0073:[<08049678>] EFLAGS: 00010246 CPU: 0
EAX: 08049678 EBX: b7f36ff4 ECX: 0000002e EDX: b7f380d0
ESI: 00000000 EDI: 08048350 EBP: bfbcf608 ESP: bfbcf5dc
  DS: 007b ES: 007b FS: 0000 GS: 0033 SS: 007b
Process f00f.o (pid: 1838, ti=c46b0000 task=c12299a0 task.ti=c46b0000)
EIP: [<08049678>]  SS:ESP 007b:bfbcf5dc
---[ end trace 52e28d53c342d03a ]---
....

Is that patch working correctly?

Cheers,

David.
--