Michael Rauch wrote:

> DDB doesn't work (the INSTALL kernel is also compiled with options DDB),
> but I could narrow it down to "machdep.c". If I set 
> COPTS.machdep.c+=-O2 in sys/conf/Makefile.kern.inc
> the kernel boots successfully.

Thanks, this fixes my boot problems:

Index: Makefile.kern.inc
===================================================================
RCS file: /cvsroot/src/sys/conf/Makefile.kern.inc,v
retrieving revision 1.82
diff -u -r1.82 Makefile.kern.inc
--- Makefile.kern.inc   2 Jun 2006 22:16:18 -0000       1.82
+++ Makefile.kern.inc   12 Jul 2006 06:43:35 -0000
@@ -435,3 +435,4 @@
  ##
  ## the end
  ##
+COPTS.machdep.c+=-O2