Kernel configuration missing ?

[Stefan Kalkowski]

On Saturday 19 May 2007 12:01, chenggh wrote:
> Hi:
> 	Now I have the new problem. the make menuconfig is ok  but when i make the
> kernel there are some problems like this:
>
> root at darkstar:/home/L4/tudos/l4linux-2.6.20# make O=./build/
> /home/L4/tudos/l4linux-2.6.20/arch/l4/Makefile.l4conf:24: *** Could not
> determine L4 source directory. Configuration missing?.  Stop.
> /home/L4/tudos/l4linux-2.6.20/arch/l4/Makefile.l4conf:24: *** Could not
> determine L4 source directory. Configuration missing?.  Stop.

as one can read, you didn't configure your kernel correctly. You have to 
specify your L4 source tree when configuring L4Linux. Lately, that's what the 
one error message above says to you.

>   GEN     /home/L4/tudos/l4linux-2.6.20/build/Makefile
>   HOSTLD  scripts/kconfig/conf
> scripts/kconfig/conf -s arch/l4/Kconfig
> /home/L4/tudos/l4linux-2.6.20/arch/l4/Makefile.l4conf:24: *** Could not
> determine L4 source directory. Configuration missing?.  Stop.
> make[1]: *** No rule to make target
> `/home/L4/tudos/l4linux-2.6.20/build/Makeconf.l4conf', needed by
> `archprepare'.  Stop.
> make: *** [_all] Error 2
>
>
> 	It seems the process of making l4linux-2.6.20 is very different from the
> process of making linux-2.6.20.  What is the problem ?
> 	strange warning. strange error.
> 													cheng
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Stefan Kalkowski

TU-Dresden
Department of Computer Science
Institute for System Architecture
Operating Systems Group

Address: Noethnitzer Str. 46, 01187 Dresden
Room: 3089
Phone: +49 (351) 463-42045
Web: http://os.inf.tu-dresden.de/~sk852421/