Subject: Re: kern/33725
To: None <,,>
From: Michael Rauch <>
List: netbsd-bugs
Date: 07/12/2006 12:45:05
The following reply was made to PR port-i386/33725; it has been noted by GNATS.

From: Michael Rauch <>
Subject: Re: kern/33725
Date: Wed, 12 Jul 2006 14:42:26 +0200

 After a suggestion from Matthias Drochner on current-users, I tried to
 narrow down the bug by compiling part of the files with -O2 (instead of
 the default -Os) and the culprit seems to be machdep.c: If I set 
 COPTS.machdep.c+=-O2 in sys/conf/
 the kernel boots successfully.