<span class="gmail_quote">2007/4/24, Nathan Smith <<a href="mailto:ndansmith@gmail.com">ndansmith@gmail.com</a>>:</span><blockquote class="gmail_quote" style="margin-top: 0; margin-right: 0; margin-bottom: 0; margin-left: 0; margin-left: 0.80ex; border-left-color: #cccccc; border-left-width: 1px; border-left-style: solid; padding-left: 1ex"> if you build the kernel with gcc-4 and<br><br># COPTFLAGS=-O0 make<br><br>it should also work.</blockquote><div><br>Works for me.</div><br>-- <br>Camille Huot