My i3-3240 (3.4GHz) machine shows
3394 MHz GenuieneIntel Core i7 (cpuid: AX 0x306A9 DX 0xBFFBFBFF)
at bootinng. Frequency is right however Model name is not.
AX value means Family=6, Model=3A which is listed as "Core i7" in
x86intel[] table in /sys/src/9/pc/devarch.c, like:
x86intel[]=
{
----
{6, 0x3A, 16, "Core i7"},
---
}
Is this table correct?
Kenji
------------------------------------------
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Te7447f82977c9c87-M76b7a6639c159795914dfcd0
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
