2007/7/14, Adam Lackorzynski <adam@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@os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers