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