l4-hackers May 2007

l4-hackers@os.inf.tu-dresden.de

19 participants
42 discussions

Re: Kernel configuration missing ?
by chenggh 18 May '07

18 May '07

> HOSTCC scripts/kconfig/lxdialog/checklist.o > .. > l4linux-2.6$ make O=./build/ > L4 source directory: /path/to/l4 > make -C /path/to/l4 -f .../l4linux-2.6/arch/l4/Makefile.l4conf > O=/path/to/l4-obj-dir L4X_LOOP_CHECK=1 > OUTPUT=.../l4linux-2.6/build/Makeconf.l4conf GEN > l4linux-2.6/build/Makeconf.l4conf > GEN l4linux-2.6/build/Makefile > HOSTLD scripts/kconfig/conf > scripts/kconfig/conf -s arch/l4/Kconfig > Creating asm-l4/api-l4env -> asm/api symlink > Creating asm-l4/l4lxapi/impl symlink > Creating asm-l4/l4x-i386 -> asm/l4x symlink > .. > > As said, I'll try to fix the error message inbetween. > > Maybe it's the make version. Which version are you using? root@darkstar:~# make --version GNU Make 3.80 Copyright (C) 2002 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. I use the slackware 10.2 with make 3.80 and gcc 3.3.6. What version are you using? Maybe I need to update the make. Thanks. cheng

1 0

Re: Kernel configuration missing ?
by chenggh 17 May '07

17 May '07

On Wednesday 16 May 2007 21:57, you wrote: > Hi, > > On Wed May 16, 2007 at 20:07:26 +0000, chenggh wrote: > > I download the newest source page neened for L4Linux and Fiasco. The > > L4Dir is dice/ kernel/ l4/ l4linux-2.6/ > > the compilations of fiasco kernel and l4 packages is ok and when i > > enter the l4linux I input make menuconfig. There are some errors like > > this: > > > > /home/L4/tudos/l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel > > configuration missing. Stop. > > make: *** [/home/L4/tudos/l4linux-2.6/Makeconf.l4conf] Error 2 > > It's true that there's this irritating message but it should generally > work. Does for me like this: > > $ cd l4linux-2.6 > $ mkdir /tmp/builddir > $ make O=/tmp/builddir menuconfig > ... configure path to l4-obj-dir etc... > $ make O=/tmp/builddir There is still the problem in my machine like this: root@darkstar:/home/L4/tudos/l4linux-2.6# make O=./build/ menuconfig /home/L4/tudos/l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel configuration missing. Stop. make[1]: *** [/home/L4/tudos/l4linux-2.6/build/Makeconf.l4conf] Error 2 make: *** [menuconfig] Error 2 I think it is possible to miss some configuration files. But I don't know which file is missing. Thank you. cheng

1 0

logging to cvs problem
by Jorge Torres 17 May '07

17 May '07

Hi l4-hackers, I have a problem once I try to log in to os.inf.tu-dresden.de CVS, as suggested on http://www.inf.tu-dresden.de/index.php?node_id=1514&ln=en I get this: $ cvs -d:pserver:guest@os.inf.tu-dresden.de:/home/remote-cvs login Logging in to :pserver:guest@os.inf.tu-dresden.de:2401/home/remote-cvs CVS password: <guest> cvs [login aborted]: connect to os.inf.tu-dresden.de(141.76.48.99):2401 failed: Connection refused Does anyone know why this may be? Thank you very much, Jorge

2 1

Re: Kernel configuration missing ?
by Adam Lackorzynski 17 May '07

17 May '07

On Thu May 17, 2007 at 09:34:32 +0000, chenggh wrote: > On Wednesday 16 May 2007 21:57, you wrote: > > Hi, > > > > On Wed May 16, 2007 at 20:07:26 +0000, chenggh wrote: > > > I download the newest source page neened for L4Linux and Fiasco. The > > > L4Dir is dice/ kernel/ l4/ l4linux-2.6/ > > > the compilations of fiasco kernel and l4 packages is ok and when i > > > enter the l4linux I input make menuconfig. There are some errors like > > > this: > > > > > > /home/L4/tudos/l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel > > > configuration missing. Stop. > > > make: *** [/home/L4/tudos/l4linux-2.6/Makeconf.l4conf] Error 2 > > > > It's true that there's this irritating message but it should generally > > work. Does for me like this: > > > > $ cd l4linux-2.6 > > $ mkdir /tmp/builddir > > $ make O=/tmp/builddir menuconfig > > ... configure path to l4-obj-dir etc... > > $ make O=/tmp/builddir > There is still the problem in my machine like this: > > root@darkstar:/home/L4/tudos/l4linux-2.6# make O=./build/ menuconfig > /home/L4/tudos/l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel > configuration missing. Stop. > make[1]: *** [/home/L4/tudos/l4linux-2.6/build/Makeconf.l4conf] Error 2 > make: *** [menuconfig] Error 2 This works just fine for me: l4linux-2.6$ mkdir build l4linux-2.6$ make O=./build/ menuconfig .../l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel configuration missing. Stop. HOSTCC scripts/basic/fixdep HOSTCC scripts/basic/docproc GEN /path/to/l4linux-2.6/build/Makefile HOSTCC scripts/kconfig/conf.o HOSTCC scripts/kconfig/kxgettext.o HOSTCC scripts/kconfig/lxdialog/checklist.o ... l4linux-2.6$ make O=./build/ L4 source directory: /path/to/l4 make -C /path/to/l4 -f .../l4linux-2.6/arch/l4/Makefile.l4conf O=/path/to/l4-obj-dir L4X_LOOP_CHECK=1 OUTPUT=.../l4linux-2.6/build/Makeconf.l4conf GEN l4linux-2.6/build/Makeconf.l4conf GEN l4linux-2.6/build/Makefile HOSTLD scripts/kconfig/conf scripts/kconfig/conf -s arch/l4/Kconfig Creating asm-l4/api-l4env -> asm/api symlink Creating asm-l4/l4lxapi/impl symlink Creating asm-l4/l4x-i386 -> asm/l4x symlink ... As said, I'll try to fix the error message inbetween. Maybe it's the make version. Which version are you using? Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Re: Kernel configuration missing ?
by chenggh 17 May '07

17 May '07

1 0

Re: Kernel configuration missing ?
by Adam Lackorzynski 16 May '07

16 May '07

Hi, On Wed May 16, 2007 at 20:07:26 +0000, chenggh wrote: > I download the newest source page neened for L4Linux and Fiasco. The L4Dir is > dice/ kernel/ l4/ l4linux-2.6/ > the compilations of fiasco kernel and l4 packages is ok and when i enter the > l4linux I input make menuconfig. There are some errors like this: > > /home/L4/tudos/l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel > configuration missing. Stop. > make: *** [/home/L4/tudos/l4linux-2.6/Makeconf.l4conf] Error 2 It's true that there's this irritating message but it should generally work. Does for me like this: $ cd l4linux-2.6 $ mkdir /tmp/builddir $ make O=/tmp/builddir menuconfig ... configure path to l4-obj-dir etc... $ make O=/tmp/builddir > Former I downloaded the source page by cvs and all of them is ok. But this > time I get it by svn there are some problem. please help me. That shouldn't make a difference. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

Kernel configuration missing ?
by chenggh 16 May '07

16 May '07

Hi: I download the newest source page neened for L4Linux and Fiasco. The L4Dir is dice/ kernel/ l4/ l4linux-2.6/ the compilations of fiasco kernel and l4 packages is ok and when i enter the l4linux I input make menuconfig. There are some errors like this: /home/L4/tudos/l4linux-2.6/arch/l4/Makefile.l4conf:10: *** Kernel configuration missing. Stop. make: *** [/home/L4/tudos/l4linux-2.6/Makeconf.l4conf] Error 2 Former I downloaded the source page by cvs and all of them is ok. But this time I get it by svn there are some problem. please help me. Thanks. cheng

1 0

Simple questions
by Ernesto Bascon 16 May '07

16 May '07

Hi L4 hackers! I am very new to Fiasco and want to know several basic things: 1. Is L4Env targeted to develop OS personalities other than L4Linux? 2. Is DROPS built on top of L4Env? 3. Is there any C++ standard library implementation on top of L4Env? If not, what should be needed to have it? 4. Does Fiasco runs on AMD64/SMP machines? 5. Does Fiasco/UX runs on AMD64/SMP machines? Kind regards, Ernesto.

2 1

I have a question about L4Linux
by 차승준 15 May '07

15 May '07

Hello I’m a graduate student of CNU, in Korea My major is computer science, especially operating system(OS) May I ask some questions?? I have studied a operating system, micro kernel; l4linux So I downloaded its source code and analysis it I wonder how manage memory, in “Demand paging” Would mind please tell me where it “Demand paging” implementation and how it work in source code Best regards. SJ. Cha

5 9

Problem, when compiling Fiasco with JBD disabled.
by unruhig＠gmail.com 10 May '07

10 May '07

Hi, just checkouted Fiasco sources from SVN repo today and tried to build it. When disabling JBD in “make config”, the build fails: ... Making startup.o /usr/src/tudos/kernel/fiasco/src/kern/thread-pagefault.cpp: In member function ‘int Thread::handle_page_fault(Address, Mword, Mword, Return_frame*)’: /usr/src/tudos/kernel/fiasco/src/kern/thread-pagefault.cpp:162: error: ‘LOG_MSG_3VAL’ was not declared in this scope /usr/src/tudos/kernel/fiasco/src/kern/thread-pagefault.cpp:166: error: ‘LOG_MSG_3VAL’ was not declared in this scope make[1]: *** [startup.o] Error 1 With JBD enabled all goes ok. Can this be considered as a bug?

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers May 2007