About build of L4Linux
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Jul 10 14:02:42 CEST 2007
On Mon Jul 09, 2007 at 23:39:33 +0900, Lin wrote:
> Hi, Adam.
> Thank you for your quick response !
>
>
> > > Does this header check always need to be off when I make L4Linux ?
> >
> > I fixed that by now. (Update the source.)
>
> I checked out the updated source and made sure the "header check"
> option is off in default. Thank you !
>
>
> > To fix that for now please just don't use modules. I fixed a couple of
> > those above internally but I cannot fix all of them, e.g. the gameport
> > driver looks suspicious to me.
>
> I tried making L4Linux with the kernel configuration which was changed
> into like the following, then the make sequence was completed.
>
> Loadable module support --->
> - [ ] Enable loadable module support
> Device Drives --->
> - Input device support --->
> - [ ] Joysticks --->
> - Hardware I/O ports --->
> - [ ] Gameport support
>
> But the "Section mismatch" errors in "MODPOST vmlinux" remain yet.
Most of those are from Linux, don't take them too serious.
> After make, the vmlinux(about 101.7MB) and the vmlinuz26(about 32.8M)
> are created.
Over 100MB is too much. Can you please post your .config from the
L4Linux build directory?!
> Are these errors always printed when we make L4Linux ? (I don't think so...)
'Just' warnings...
> And I'm trying to boot the made L4Linux and Fiasco with GRUB.
> My GRUB doesn't have "modaddr" command, so I want to use
I recommend using the -modaddr switch to bootstrap which does the same
as the modaddr GRUB command.
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list