cpuid is the best if you are looking for any sort of detailed info.
See http://forums.debian.net/viewtopic.php?f=10&t=106956 for details.
--
Regards,
Shirish Agarwal शिरीष अग्रवाल
My quotes in this email licensed under CC 3.0
http://creativecommons.org/licenses/by-nc/3.0/
http://flossexperiences.wordpress.com
065C 6D79 A68C E7EA 52B3 8D70 950D 53FB 729A 8B17