Re: L4Ka::Pistachio hangs at 'Launching kernel...'

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.

Haohui

On 02/04/2011 11:04 AM, Sam Kerr wrote:
> Hi all,
>
> I am trying to build and run the Pistachio kernel but am having some 
> problems. namely, when I start the floppy image I made, it loads the 
> kernel, sigma0, and roottask, and then prints "Launching kernel..." 
> and hangs indefinitely.
>
> I have been following the directions at http://os.ibds.kit.edu/2101.php.
>
> Any suggestions on how to remedy this?
>
> -Sam Kerr