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