>>>>> david parsons writes:
[...]
> No, Intel already has an 80786; it's the graphics processor chip
> that was introduced at the same time as the 80386.
Not quite, this beast was called 82786. But IMHO there will never be
something like a i786, because Intel can't trademark this designation.
Why not use the CPUID scheme to identify the used CPU. Look at the
CPU detection code at www.x86.org. Should be "easy" to change the
code in the setup part to properly identify the CPU family, model,
stepping and clock frequency and pass that information on to the kernel
part. With the variation in CPU features, there is nothing else we
can do... Just keep in mind that we can not even rely on a REAL MODE
being present: the 80376 was a protected mode only chip!
Dominik Kubla