LBT> The above (mostly deleted) description does sound like a memory
problem:
 LBT> I should probably enable the NMI just to get a warning about it,
but I
 LBT> think current versions of linux disable it at bootup (I think I
disable
 LBT> it as soon as possible as the system cannot handle it during
setup, and
 LBT> after the system is up and running and a NMI could be handled, I
never
 LBT> re-enable them.  I haven't looked into in a long time, so I could
be
 LBT> wrong.)

Linus,

This sounds like a great idea!  Whenever you get around to it, would it
be possible for you to make it user-configurable in the main kernel
Makefile?


Rob L.


 * Origin: Via the Annex in Victoria, TX (1:3802/217)