Re: [X86] Fix up silly i1586 boot message.

Maciej W. Rozycki
2008-05-28T17:55:43Z

On Wed, 28 May 2008, Jan Engelhardt wrote:

> [^1 Which also is interesting because the original number had an 80
> prepended, i.e. 80286, 80586,... and you'd guess what number 1586
> would map to.]

Pardon my ignorance -- is there anything special about the number 801586?
It might be fun to display the family in hexadecimal though -- if86 or
80F86. ;)

Maciej