Re: L4Ka::Pistachio hangs at 'Launching kernel...'
Stanislav Sedov <[email protected]> Fri, 4 Feb 2011 13:52:07 -0800
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Organization | The FreeBSD Project |
| Message-ID | <[email protected]> |
On Fri, 04 Feb 2011 13:22:41 -0600 "Mai, Haohui" <[email protected]> mentioned: > Hi, > > I found that GCC 4.5 + -O2 doesn't like the code of the kernel. I > switched to gcc 4.4 then it works magically. > Might be aliasing problems. You can try with -fno-strict-aliasing. -- Stanislav Sedov ST4096-RIPE () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments