Hi,

I'm having a Maxine over here, that I want to boot a new NetBSD
kernel. I supped the latest source, but I can't get it to boot.

I think I'm doing something wrong with the config file, so can someone
who has built a maxine-specific pmax kernel send his configfile to me,
so I can look for the differences, and hopefully find out what's wrong.

So long,
--
       +----------------------+
 \     | Erwin J.  van Eijk   | Standard Disclaimer applies
  \ /\ | eijk@cs.utwente.nl   |
  ( )  | wabbit@corner.iaf.nl | "You are all weirdos"
_( * )_+----------------------+	              Sam the Eagle