Re: l4linux on pistachio with intel c compiler

L4Linux on Pistachio is obsolete and unsupported.  Instead we use a  
pre-virtualized Linux, from the Afterburner project.

I haven't tried to boot L4Linux in ages, particularly since the  
public version is 2.4, and the last time I was using L4Linux, it was  
our internal 2.6 version.  We never released it due to the advent of  
the Afterburner project, which provides a far more robust approach to  
para-virtualization.

<http://l4ka.org/projects/virtualization/afterburn/>

-Josh




On Jul 4, 2006, at 19:08 , victor jimenez wrote:

> Hi,
>
> I've tried to boot l4linux on pistachio but I get the next error:
>
> ###########################################
>
>  Booting 'L4Ka::Pistachio'
>
> kernel /kickstart
>   [Multiboot-elf, <0x800000:0x5f3c:0x14ac>, shtab=0x808280,  
> entry=0x800030]
> module /ia32-kernel
>   [Multiboot-module @ 0x821000, 0x29922 bytes]
> module /sigma0
>   [Multiboot-module @ 0x84b000, 0x1eae8 bytes]
> module /vmlinuz.VX2 no-scroll console=herc console=tty
>   [Multiboot-module @ 0x86a000, 0x15619c bytes]
>
> KickStart 0.11.7
> Detected multiboot compliant loader
> kernel     => 0x00142000
>  (0x00821000,0x0000d324)->0x00100000
>  (0x0082f000,0x00006328)->0x0010f000
>  (0x00836000,0x00009ba8)->0x00116000
>  (0x00840000,0x00002eec)->0x00140000
> sigma0     => 0x00020000
>  (0x0084c000,0x00006038)->0x00020000
> roottask   => 0x003ff000
>  (0x0086b000,0x000fd158)->0x003ff000
>  (0x00969000,0x0000d824)->0x004fd000
>  (0x00977000,0x00046300)->0x0050c000
>  (0x009bd000,0x00000000)->0x00554000
> Launching kernel ...
>
> L4Ka::Pistachio - built on Mar 20 2006 18:32:28 by victor@ares using
> gcc version 3.3.6 (Ubuntu 1:3.3.6-8ubuntu1)
> init_emulibpager initialized to c0001
> L4Linux: init_l4_resource_management empty
> bootmem: f000000, c0400000
> start_pfn=f000000, bootmap_size = 18080
> Linux version 2.4.30-l4 (victor@ares) (gcc version 3.3.6 (Ubuntu
> 1:3.3.6-8ubuntu1)) #2 Mon Mar 20 18:41:05 CET 2006
> Bootinfo: Found MBI @ 00002000
> BIOS-provided physical RAM map:
> BIOS-88: 0000000000010000 - 0000000000020000 [    64KiB] (usable)
> BIOS-88: 0000000000029000 - 000000000009f000 [   472KiB] (usable)
> BIOS-88: 000000000009f000 - 0000000000100000 [   388KiB] (reserved)
> BIOS-88: 0000000000140000 - 0000000000400000 [  2816KiB] (usable)
> BIOS-88: 0000000000400000 - 000000000e000000 [225280KiB] (usable)
> BIOS-88: 000000000f000000 - 00000000c0400000 [2904064KiB] (usable)
> 3076MB LOWMEM available.
> hm, page 00000000 reserved twice.
> map_fpage(from=f012a000  to=f0132000  base=00000000  sndfp=bf000167
> rcvfp=bf000160)  paddr bf020000 != bf000000
> --- "KD# map_fpage(): Mapping already exists." ---
> --------------------------------- (eip=f0108264, esp=f0112280) ---
>
> ###########################################
>
> The setup was:
>
> Pistachio from CVS on July,4th 2006
> L4Linux from CVS on July,4th 2006
> GCC 3.4
> Running environment:
>  a) Qemu 0.80
>  b) Pentium 4 2.4GHz
>
> The same failure happened in both environments (emulator and real  
> hardware).
> So, I'd like to know whether anyone knows how to solve this problem.
> Additionally, getting the l4linux configuration file and all the
> options used in pistachio building could also be helpful. Does anybody
> have a working image of l4linux on top of pistachio, so I could test
> whether that image works in my computer?
>
> Thanks in advance,
> Victor Jimenez
>