- l4-hackers - example.com Site

The boot error of L4Linux
by chenggh 22 May '07

22 May '07

Hi: When I boot the L4Linux there are some errors. In this mail there are 2 attachments of linux26.cfg, grub configuration and boot log. Please help me to check the boot log. Thank you. cheng

2 1

What is the modifications of latest L4 packages?
by chenggh 21 May '07

21 May '07

Hi: Several months ago I downloaded the l4 packages which are much more packages than them now. This was the snapshot of l4 pkg directory several months ago. In total there are 100 directories. COPYING dm_generic/ input/ linux-24-headers/ oskit_support_l4env/ slab/ CVS/ dm_mem/ ipreg/ linux-26-headers/ overlay_wm/ socket_linux/ Makefile dm_phys/ l4con/ loader/ pci/ stepper_motor/ arm_drivers/ dmon/ l4env/ local_socks/ petze/ tftp/ bootstrap/ dope/ l4ide/ lock/ pingpong/ thread/ c++-examples/ dsi/ l4io/ log/ presenter/ thread_linux/ cpu_reserve/ dsi_example/ l4rm/ log_net/ proxygon/ uclibc/ crtx/ dsi_staticfs/ l4sys/ lxfuxlibc/ qt3/ uclibc++/ cxx/ events/ l4util/ names/ rmgr/ uclibc_r/ cxx_linux_io/ exec/ l4vfs/ nethub/ roottask/ verner/ cxx_log_io/ flips/ ldso/ nitpicker/ rt_mon/ x86emu/ dde_linux/ generic_blk/ libc_backends_l4env/ omega0/ rtc/ zlib/ dde_linux26/ generic_fprov/ libc_support/ ore/ semaphore/ demangle/ generic_io/ libpng/ oskit10_support/ serial/ dice_hello/ generic_ts/ libsigma0/ oskit10_support_l4env/ sigma0/ dietlibc/ hello/ libstdc++/ oskit10_support_l4env_full/ signal/ dietlibc_r/ hello_cxx/ libvfb/ oskit_support/ simple_ts/ But now there are only 47 directories as following: COPYING dm_generic/ generic_fprov/ l4io/ libc_backends_l4env/ log/ roottask/ slab/ zlib/ Makefile dm_mem/ generic_io/ l4rm/ libc_support/ lxfuxlibc/ rtc/ tftp/ bootstrap/ dm_phys/ generic_ts/ l4sys/ libsigma0/ names/ semaphore/ thread/ crtx/ dope/ input/ l4util/ linux-24-headers/ omega0/ serial/ uclibc/ cxx/ events/ l4con/ ldso/ loader/ pci/ sigma0/ uclibc_r/ demangle/ generic_blk/ l4env/ libc_backends/ lock/ proxygon/ simple_ts/ x86emu/ What is the modifications of L4 architectures and what is the aim ? But there is no new version of Fiasco to be published. Thanks. cheng

1 0

Re: What is the modifications of latest L4 packages?
by Adam Lackorzynski 21 May '07

21 May '07

On Mon May 21, 2007 at 21:17:00 +0000, chenggh wrote: > Several months ago I downloaded the l4 packages which are much more packages > than them now. > This was the snapshot of l4 pkg directory several months ago. In total there > are 100 directories. We have removed packages that are obsolete and not needed anymore, like the oskit* packages. > But now there are only 47 directories as following: There are 83 directories in l4/pkg in the svn. You can check out everything if you like. > What is the modifications of L4 architectures and what is the aim ? But We're working on the project and things evolve and change, new packages come, old packages go. > there is no new version of Fiasco to be published. Not today. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

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

21 May '07

On Sun May 20, 2007 at 10:15:13 +0000, chenggh wrote: > On Saturday 19 May 2007 10:06, Stefan Kalkowski wrote: > > 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@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. > No, it is not my error of configuration but the system warning which is an > error itself. When I make menuconfig there also is the same error. So the > most important error is second one : > 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 I have modified a few things in this area now, hope it's better. 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 20 May '07

20 May '07

On Sunday 20 May 2007 10:15, you wrote: > On Saturday 19 May 2007 10:06, Stefan Kalkowski wrote: > > 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 Sorry, It is my fault. Now it is ok Thank you very much. cheng

1 0

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

20 May '07

On Saturday 19 May 2007 10:06, Stefan Kalkowski wrote: > 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@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. No, it is not my error of configuration but the system warning which is an error itself. When I make menuconfig there also is the same error. So the most important error is second one : 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 Do you use the l4linux-2.6.20 or l4linux-2.6.21 ?. I have ever used l4linux-2.6.1x and they have no problems. But when I use l4linux-2.6.20 or l4linux-2.6.21 they have many problems. > > 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

1 0

9th Real Time Linux Workshop, Linz, Austria, Nov 2-4 2007
by Nicholas Mc Guire 20 May '07

20 May '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 9th Real-Time Linux Workshop November 2-4, 2007 Institute for Measurement Technology Johannes Kepler University of Linz CALL FOR PAPERS General Following the meetings of developers and users at the previous 8 successful real-time Linux workshops held in Vienna, Orlando, Milano, Boston, and Valencia, Singapur, Lille, and Lanzhou the Real-Time Linux Workshop for 2007 will come back to Europa, to be held at the Institute for Measurement Technology, Johannes Kepler University of Linz, Austria. Embedded and real-time Linux is continuously growing player in the embedded appliance market world wide. Embedded systems in automation control, measurement and multimedia have been continuously moving towards 32bit systems, opening the door for the use of full featured OS like GNU/Linux on COTS based systems. With real-time capabilities being a common demand for embedded systems the soft and hard real-time variants are an important extension to the versatile GNU/Linux GPOS. Authors are invited to submit original work dealing with general topics related to real-time Linux research, experiments and case studies, as well as issues of integration of real-time and embedded Linux. A special focus will be on industrial case studies. Topics of interest include, but are not limited to: * Modifications and variants of the GNU/Linux operating system extending it's real-time capabilities * Contributions to real-time Linux variants, drivers and extensions. * User-mode real-time concepts, implementation and experience * Real-time Linux applications, in academia, research and industry * Real-time Linux in measurement and data-aquisition systems * Signal processing with Linux/real-time Linux. * Work in progress reports, covering recent developments * Educational material on real-time Linux. * Tools for embedding Linux or real-time Linux and embedded real-time Linux applications * RTOS core concepts, RT-safe synchronization mechanisms * Analysis and Benchmarking methods and results of real-time GNU/Linux variants. * Debugging techniques and tools, both for code and temporal debugging of core RTOS components, drivers and real-time applications * Real-time realted extensions to development environments * RT-Linux in safety-critical systems Registration In order to participate to the workshop, please register on the Registration Page at: http://www.realtimelinuxfoundation.org/events/events.html Venue: Johannes Kepler University,Linz, Austria http://www.realtimelinuxfoundation.org/events/ws-2007/venue.html Accommodation: http://www.realtimelinuxfoundation.org/events/ws-2007/hotels.html Important dates: August 11, 2007 Abstract submission September 15, 2007 Notification of acceptance October 13, 2007 Final paper Nov 2-3 Workshop Organization committee: * Prof. Bernhard ZAGAR, (JKU, AUSTRIA) * Prof. Li LIAN , (LZU, CHINA) * Dr. Peter WURMSDOBLER , (RTLF, USA) * Prof. Nicholas MCGUIRE , (LZU, CHINA) Program committee: Prof. Dr. Bernhard Zagar (Johannes Kepler Universit�t Linz, AUSTRIA) Prof. Li Lian (SISE, Lanzhou University, CHINA) Prof. Dr. Paolo Mantegazza (Dipartimento di Ingegneria Aerospaziale, ITALY) Prof. Dr. Alfons Crespo (Universidad Polit�cnica de Valencia,SPAIN) Prof. Dr. Ismael Ripoll (Universidad Polit�cnica de Valencia,SPAIN) Ing. Pavel Pisa (Czech Technical University, CZECH REPUBLIC) Dr. Miguel Masmano Tello (Universidad Polit�cnica de Valencia,SPAIN) Dr. Zhang Feng, Director of Mobile OS Lab (LCR Lenovo, CHINA) Prof. Hanzalek Zdenek (Czech Technical University, CZECH REPUBLIC) Ing. Michael Rumpler (Thales Group, AUSTRIA) Ing. Philippe Gerum (ADEOS Maintainer, Xenomai, FRANCE) Prof. Xing Li (Tsinghua University, CERNET Center,CHINA) Prof. Hongan Wang (Institute of Software, Intelligence Engineering Lab, Chinese Academy of Sciences, CHINA) Dr. Chen Maoke, (Tsinghua University, CHINA) Dr. Chen Yu, (Tsinghua University, CHINA) Dr. Bin Hu, (Computing Department of Computing, Business School, University of Central England,UNITED KINGDOM) Dr. Lei Wang, (School of Computer Science,Beijing University of Aeronautics and Astronautics,CHINA) Prof. Roberto Bucher (University of Applied Sciences of Southern Switzerland Dept. Innovative Technologies, SWITZERLAND) Ing. Klaus Reichl (Thales Group, AUSTRIA) Dr. Don W. Carr (Universidad de Guadalajara, Guadalajara, MEXICO) Thomas Gleixner (Linutronix, RT-Preempt, GERMANY) Tim Bird (Sony, USA) Ing. Christoph Stueckjuergen (Siemens CT SE 2, GERMANY) Prof. Marting Terbuc (University of Maribor, SLOVENIA) Prof. Matthias Sturm (University of Leibzig, GERMANY) Prof. Ahmet Onat (Sabanci University, TURKEY) Dr. Qingguo ZHOU (DSLab, Lanzhou University, CHINA) Dr. Peter Wurmsdobler (Real Time Linux Foundation, USA) Prof. Nicholas Mc Guire (DSLAb, Lanzhou University, CHINA) Workshop organizers: * Institute for Measurement Technology ,Johannes Kepler University of Linz Austria http://www.emt.uni-linz.ac.at/ * Real-Time Linux Foundation Inc. USA http://www.realtimelinuxfoundation.org * School for Information Science and Engineering (SISE), University of Lanzhou China http://www.lzu.edu.cn * Distributed and Embedded Systems Lab, University of Lanzhou, China http://dslab.lzu.edu.cn -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFGT9ASnU7rXZKfY2oRAiKDAKCcVjEgdbRzBoaBkDPaElwqHS7QggCfWdMA au/utUVnuxyHPoVX03jdK1k= =5T3L -----END PGP SIGNATURE-----

1 0

[NITPICKER] Porting X.org 1.1.1 to use NitPicker
by Clermont, Nicolas 19 May '07

19 May '07

Hi everybody, We are working on L4, currently especially on the graphical aspect. As we love NitPicker (NitPicker is cool ;)), we want to use it to run L4Linux on top on it. So we have started with a Linux installation (Gentoo Linux), after what we have installed Fiasco, L4Env and L4Linux (2.6.20, next 2.6.21, on top on our recently installed Gentoo, reusing its filesystem). To test our installation, we first use L4Con, but the mouse moves were extremely slow; so next we use DOpE, and it was cool, all worked (network and hard disk via L4Linux, not Ore... Oh is there exist a multiplexer, as Ore, for hard disk ?). But of course, the desktop-in-window aproach does not fully satisfied us, we want a fullscreen aproach so we start investigating on NitPicker. The problem is that all tutorials related to NitPicker + X.org are based on a quite-old version of X.org, before the X.org team adopted the modular approach. So we decide to port the last X.org (1.1.1) to use NitPicker, following instructions found at http://os.inf.tu-dresden.de/pipermail/l4-hackers/2007/002774.html <http://os.inf.tu-dresden.de/pipermail/l4-hackers/2007/002774.html> First we compiled the nitpicker-client ovlwm server, nitovlwm. Then we install into the L4Linux the lxevent program, started after Linux kernel boot, with creation of /dev/lxevent, and the ovltrack program, started via .xinitrc. We had to change a little the Makefile of ovltrack by adding the -Bdynamic option in LIBS. We compiled and generated lxevent_drv.o (X.org mouse driver in xorg.conf). The last step was generating the X.org screen driver, ovlscreen_drv.o. The changes toward previous versions occurs at this step, as now X.org is modular and consists in several small packages. But after resolving a lot of include path problems, importing the needed X.org package to compile the driver, we got the driver ovlscreen_drv.o compiled and copy it into the L4Linux filesystem, modifying xorg.conf to use this driver. Also we use NitDope, so L4fb driver in L4Linux that creates /dev/fb0. Then we boot our L4-based system, NitPicker, NitDOpE and L4Linux, all start, all was right. The problems come when starting X.org. Indeed, X.org started, the window manager also (WindowMaker), in fact all works... excepts refresh ! Indeed when moving the mouse on a L4Linux window, the window content is not refreshed, resulting in an unusable window. But clicking outside the window forces the refresh. We know that with DOpE, the refresh is automatic, periodic and so it was working for us. But with NitPicker, we know that the refresh only occurs if a change is made in the client. What we don't know is how this refresh is done, who is responsible for it (ovlscreen, ovltrack, nitovlwm ?), and which are the impacts of using a modular X.org in this process.... Is someone can give us some tips on how to make the refresh to occur ? Or details about event forwarding ? Is there other changes to be made that we missed ? Any help will be grateful appreciated. Thanks. -- Nicolas Clermont

2 2

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

19 May '07

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@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. 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

2 1

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

18 May '07

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@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. 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

1 0