On Mon, 26 Jul 1999 10:50:54 +0200 
 Stefan Grefen <Stefan.Grefen@tantau.com> wrote:

 > I've update the i386 SMP patches to -current (1.4H) today.
 > It still can't start up CPU's, if the BIOS didn't prime them.
 > I'm going to add this code real soon.
 > 
 > The diffs are in a comment to PR port-i386/6928.
 > What needs to be done to get this into the tree?
 > My time currently is very limited.

I can start looking at doing some integration starting this week,
possibly.

        -- Jason R. Thorpe <thorpej@nas.nasa.gov>