I tried building l4linux for x86 and got this error:<div><br></div><div><div>  MODPOST vmlinux.o</div><div>WARNING: modpost: Found 1 section mismatch(es).</div><div>To see full details build your kernel with:</div><div>&#39;make CONFIG_DEBUG_SECTION_MISMATCH=y&#39;</div>
<div>  GEN     .version</div><div>  CHK     include/generated/compile.h</div><div>  UPD     include/generated/compile.h</div><div>  CC      init/version.o</div><div>  LD      init/built-in.o</div><div>  LD      .tmp_vmlinux1</div>
<div>drivers/built-in.o: In function `pnp_register_irq_resource&#39;:</div><div>/home/ribrdb/fiasco/src/l4linux/drivers/pnp/resource.c:70: undefined reference to `pcibios_penalize_isa_irq&#39;</div><div>make[1]: *** [.tmp_vmlinux1] Error 1</div>
<div>make: *** [sub-make] Error 2</div></div><div><br></div><div>Has anyone seen this before?</div><div><br></div><div>Also I had a few questions about configuring l4linux:</div><div><br></div><div>I see that the paravirtualization options are not supported. Is there a specific reason for this? I&#39;d like to be able to use virtio devices from l4linux when running in a VM.</div>
<div><br></div><div>Neither x86_64 or highmem is supported. Is there any way to run an l4 linux with more than 1G of memory?</div><div>Can 32 bit l4linux run on a 64 bit fiasco kernel?</div><div>Does 32 bit fiasco support more than 1G of physical memory?</div>
<div>What would be involved if I wanted to port l4linux to x86_64?</div><div><br></div><div>Thanks, and sorry for so many questions.</div><div><br></div><div>Ryan Brown</div>