building l4linux

kashin Lin kashin08 at gmail.com
Sat Jul 14 13:03:41 CEST 2007


2007/7/14, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
>
> Hi,
>
> On Sat Jul 14, 2007 at 01:17:36 +0800, kashin Lin wrote:
> > my building sequence is :
> > ======================================
> > in l4_all/kernel/fiasco
> > 1. make BUILDDIR=../../build/fiasco
> >
> > in l4_all/build/fiasco
> > 2.  make menuconfig
> >
> > in l4_all/l4
> > 3. make config O=../build/l4env
> > 4. make O=../build/l4env
> > ======================================
> >
> > my questions :
> > 1. when i issue make in l4/ to build the L4 userland, does it automatic
> build fiasco subsequently¡H
> >
> > 2. if yes, is its default output path for fiasco
> l4_all/kernel/fiasco/build?
>
> Yes, a default configuration is built into kernel/fiasco/build upon make
> in the l4 directory if not configured otherwise (see the L4
> configuration menu).
>
> >  ( after the operations mentioned above, i find there are some new files
> in
> > l4_all/kernel/fiasco/build )
> >  but my configuration for fiasco is in l4_all/build/fiasco, is this auto
> > build operation based on my config?
>
> No, it's a default build.
>
> >  or i should set BUILDDIR to l4_all/kernel/fiasco/build?
>
> No. The way you build the kernel is fine.


but the default build isn't base on my configuration (i enable 'Handle and
preserve segments').
if i don't set BUILDDIR to l4_all/kernel/fiasco/build. how does default
build know
how i config fiasco?

last time, you mentioned that :
"Yes, a default configuration is built into kernel/fiasco/build upon make
in the l4 directory if not configured otherwise (see the L4
configuration menu)."
but i can't find any option in L4 configuration menu which is about fiasco?

thanks for answering.

> when config l4linux:
> >  according to http://os.inf.tu-dresden.de/L4/LinuxOnL4/build-2.6.shtml,
> > there are some options we shouldn't enable
> >  ex: like ACPI, SMP, preemption, apic/ioapic, HPET, highmem, MTRR, MCE,
> > power management and similar.
> >
> > 1. does those options are default unable? or we should unable manually?
> > 2. what does "similar" mean?
>
> With this statement I'm trying to express that for L4Linux one should
> _not_ enable any option that is close to the hardware, such as ACPI,
> HPET, MTRR etc. Remember, L4Linux is a normal user program and as such
> has no business doing anything with timer hardware or interrupt
> controller or similar. On the other side, you can enable e.g. any
> filesystem you like.
>
>
>
> Adam
> --
> Adam                 adam at os.inf.tu-dresden.de
>   Lackorzynski         http://os.inf.tu-dresden.de/~adam/
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070714/0af5534f/attachment.html>


More information about the l4-hackers mailing list