Oops. Sorry- I passed you the wrong kernel. Try it again.

On Tue, 2 Jul 2002, Matthias Buelow wrote:

> Matthew Jacob wrote:
> > Pick up a new netbsd.gz from http://people.freebsd.org/~mjacob
> 
> Oops, kernel won't boot:
> 
> 
> Support for system type 30 is not present in this kernel.
> Please build a kernel with "options DEC_550" and reboot.
> 
> panic: platform not configured
> 
> 
> 
> > Unfortunately, I don't have the h/w to push a CIA based system above 1GB of
> > memory.
> 
> I'll see if I can get you access to the serial console if that would be
> of any help.  Then you at least could fumble in ddb if something
> happens.
> 
> --mbk
> 
> 
>