L4Linux booting problems

Joshua LeVasseur jtl at ira.uka.de
Tue May 25 11:57:27 CEST 2004


Hi Luis,

I haven't tested the public L4Linux lately with Pistachio, and won't 
have an opportunity until next week.  But my experience is that gcc v3 
causes problems with L4Linux.  I suggest recompiling L4Linux with 
gcc-2.95.

-Josh



On May 25, 2004, at 05:30, Luis Araujo wrote:

> Hi, i got a problem with L4Linux while booting,
>
> Im using:
>
> L4Ka::Pistachio
> Downloaded from CVS 23 - 05 - 2004
> Compiling Pistachio and L4Linux with gcc-3.3.1
> Debian3.0 ramdisk1.0
>
> This is the grub menu.lst:
>
> title=L4Linux on L4Ka::Pistachio with Debian ramdisk
> kernel=/l4boot/kickstart
> module=/l4boot/ia32-kernel
> module=/l4boot/sigma0
> module=/l4boot/vmlinuz.VX2 devfs=mount ramdisk_size=65536 
> root=/dev/ram0 rw console=herc console=tty
> module=/l4boot/ramdisk.gz
>
>
> Everything goes fine during configuration and compilation, and it 
> starts up booting with no problem at all,
> until it reaches "Starting kswapd" , then it stops in that line, do i 
> need to set (or unset) something in the configuration?
>
> Any help is appreciated,
>
> Thanks
>
>
>        -- Luis
>
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers





More information about the l4-hackers mailing list