On Sun, 23 Mar 1997 17:32:11 -0500 (EST) 
 John Kohl <jtk@kolvir.arlington-heights.ma.us> wrote:

 > Add my machine to the list of those that don't reboot with the machdep.c
 > rev 1.224 changes (1.222 works fine).
 > 
 > Motherboard: ASUS P100, P54TP4
 > 
 > cpu0: family 5 model 2 step 5
 > cpu0: Intel Pentium (P54C) (586-class)

In cpu_reset(), I had re-enable the "toggle keyboard reset" block
in order to reboot the system...

cpu0: family 6 model 1 step 7
cpu0: Intel Pentium Pro (686-class)

I think the change to cpu_reset() ought to be backed out, personally.

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939