> 
> Really, the only thing that might have a problem would be the
> AlphaServer 8200/8400; they still use the PROM for console output,
> and do a pretty evil thing with the level 1 page table.  That needs
> to be fixed (either by doing a native serial port console driver,
> or by fixing the kernel->PROM interface code) before that system
> will work in an MP configuration.

I need to fix the serial ports here. I've been waiting for the SCC
MI driver, but I think it's time to stop doing so.

Good job, Jason!

>