l4linux build failure, and a few questions
ribrdb at gmail.com
Fri Jun 22 16:19:32 CEST 2012
I tried building l4linux for x86 and got this error:
WARNING: modpost: Found 1 section mismatch(es).
To see full details build your kernel with:
drivers/built-in.o: In function `pnp_register_irq_resource':
reference to `pcibios_penalize_isa_irq'
make: *** [.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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers