- l4-hackers - example.com Site

L4Linux-2.6
by kazilus kazilus 11 Jan '08

11 Jan '08

hi all i got problem when booting L4Linux here i got stuck with: ======> L4Linux 2.6 starting... <====== The running kernel does not have the segments feature enable! can anyone help me? Regards, ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ

1 0

Re: Error while make-ing L4
by Alexander Boettcher 07 Jan '08

07 Jan '08

wira wrote: > Thanks guys. > How to do 'checkout the package arm_drivers > in l4/pkg' ? Whats the command line to type? By the way, do i need to Simply call "svn up <packetname>" in the directory l4/pkg. In the meantime the fixes hit the remote svn, so you can simply do a "./repomgr co l4env" and call make in the directory l4 again. Alex B. > make everything back? > > > karipap > > On Jan 7, 2008 8:34 PM, Alexander Boettcher < > boettcher(a)os.inf.tu-dresden.de <mailto:boettcher@os.inf.tu-dresden.de>> > wrote: > > Hi, > > this issue has been fixed and will be available in the next days in the > remote svn. As quick workaround you can checkout the package arm_drivers > in l4/pkg and call make again. > > Alex B. > > wira wrote: > > ok, here it is .. > > > > > > In file included from > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc:24: > > /home/fiasco/l4/pkg/bootstrap/server/src/support.h:16:38: > > l4/arm_drivers/uart_base.h: No such file or directory > > In file included from > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc:24: > > /home/fiasco/l4/pkg/bootstrap/server/src/support.h:32: error: > expected > > constructor, destructor, or type conversion before '*' token > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc: In > function > > `ssize_t write(int, const void*, size_t)': > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc:87: error: > > `uart' was not declared in this scope > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc:87: > warning: > > unused variable 'uart' > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc: In > function > > `int getchar()': > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc:102: error: > > `uart' was not declared in this scope > > /home/fiasco/l4/pkg/bootstrap/server/src/libc_support+.cc:102: > warning: > > unused variable 'uart' > > make[5]: *** [libc_support+.o] Error 1 > > make[5]: Leaving directory > > `/home/fiasco/build/pkg/bootstrap/server/src/OBJ-x86_586' > > make[4]: *** > [/home/fiasco/build/pkg/bootstrap/server/src/OBJ-x86_586] > > Error 2 > > make[4]: Leaving directory `/home/fiasco/l4/pkg/bootstrap/server/src' > > make[3]: *** [src] Error 2 > > make[3]: Leaving directory `/home/fiasco/l4/pkg/bootstrap/server' > > make[2]: *** [server] Error 2 > > make[2]: Leaving directory `/home/fiasco/l4/pkg/bootstrap' > > make[1]: *** [bootstrap.bin] Error 2 > > make[1]: Leaving directory `/home/fiasco/l4/pkg' > > make: *** [pkg] Error 2 > > > > > > > > > > > > > > > > On Jan 7, 2008 3:19 PM, wira < wirazanoramy(a)gmail.com > <mailto:wirazanoramy@gmail.com> > > <mailto: wirazanoramy(a)gmail.com <mailto:wirazanoramy@gmail.com>>> > wrote: > > > > Hi all, > > > > Any clue how solve this error? > > > > > > make[5]: Leaving directory > > `/home/fiasco/build/pkg/bootstrap/server/src/OBJ-x86_586' > > make[4]: *** > > [/home/fiasco/build/pkg/bootstrap/server/src/OBJ-x86_586] Error 2 > > make[4]: Leaving directory > `/home/fiasco/l4/pkg/bootstrap/server/src' > > make[3]: *** [src] Error 2 > > make[3]: Leaving directory `/home/fiasco/l4/pkg/bootstrap/server' > > make[2]: *** [server] Error 2 > > make[2]: Leaving directory `/home/fiasco/l4/pkg/bootstrap' > > make[1]: *** [ bootstrap.bin] Error 2 > > make[1]: Leaving directory `/home/fiasco/l4/pkg' > > make: *** [pkg] Error 2 > > debian:/home/fiasco/l4# > > > > > > > > > ------------------------------------------------------------------------ > > > > > _______________________________________________ > > l4-hackers mailing list > > l4-hackers(a)os.inf.tu-dresden.de > <mailto:l4-hackers@os.inf.tu-dresden.de> > > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > -- > boettcher(a)os.tu-dresden.de <mailto:boettcher@os.tu-dresden.de> > key finger print: 5E79 31F6 F571 5FBA CF75 33FB AA34 4AF4 A633 25B3 > >

1 0

Error while make-ing L4
by wira 07 Jan '08

07 Jan '08

Hi all, Any clue how solve this error? make[5]: Leaving directory `/home/fiasco/build/pkg/bootstrap/server/src/OBJ-x86_586' make[4]: *** [/home/fiasco/build/pkg/bootstrap/server/src/OBJ-x86_586] Error 2 make[4]: Leaving directory `/home/fiasco/l4/pkg/bootstrap/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/fiasco/l4/pkg/bootstrap/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/fiasco/l4/pkg/bootstrap' make[1]: *** [bootstrap.bin] Error 2 make[1]: Leaving directory `/home/fiasco/l4/pkg' make: *** [pkg] Error 2 debian:/home/fiasco/l4#

3 3

Try to compile flips but got error..
by wira 07 Jan '08

07 Jan '08

Hi all! Before this I do ./repomgr co hello , and my fiasco and hello world works fine. Yesterday, I do ./repomgr co remote_repo_l4 with the intention to get the flips package. Today, I tried to compile at /fiasco/l4.. and type make O=/home/fiasco/build at the Terminal .. suddenly I got this error. What does it means? My objective is to get the flips running on my fiasco.. /home/fiasco/build/lib/x86_586/l4v2/libl4env.a(startup.o): In function `__startup_main': /home/fiasco/l4/pkg/l4env/lib/src/startup.c:77: undefined reference to `main' make[5]: *** [fuxfprov] Error 1 make[5]: Leaving directory `/home/fiasco/build/pkg/lxfuxlibc/server/fuxfprov/OBJ-x86_586-l4v2'make[4]: *** [/home/fiasco/build/pkg/lxfuxlibc/server/fuxfprov/OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/home/fiasco/l4/pkg/lxfuxlibc/server/fuxfprov' make[3]: *** [fuxfprov] Error 2 make[3]: Leaving directory `/home/fiasco/l4/pkg/lxfuxlibc/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/fiasco/l4/pkg/lxfuxlibc' make[1]: *** [lxfuxlibc.bin] Error 2 make[1]: Leaving directory `/home/fiasco/l4/pkg' make: *** [pkg] Error 2 Thanks in advance.. karipap

3 3

problem booting L4Linux-2.6
by kazilus kazilus 05 Jan '08

05 Jan '08

hi all i've got problem booting L4Linux the error is unexpected trap while booting fiasco below is my menu.lst oot (hd0,2) title FIASCO kernel /boot/fiasco/bootstrap modaddr 0x02000000 module /boot/fiasco/fiasco -nowait module /boot/fiasco/sigma0 module /boot/fiasco/roottask module /boot/fiasco/hello title L4Linux-26/Fiasco+Serial+Console kernel /boot/L4Linux/bootstrap modaddr 0x06000000 module /boot/L4Linux/main -nowait -nokdb -serial_esc -comspeed -115200 -comport module /boot/L4Linux/sigma0 module /boot/L4Linux/roottask task modname "bmodfs" attached 4 modules module /boot/L4Linux/events module /boot/L4Linux/names --events module /boot/L4Linux/log --events module /boot/L4Linux/dm_phys --isa=0x00800000 -v --events module /boot/L4Linux/simple_ts -t 300 --events #module /boot/L4Linux/rtcc --events module /boot/L4Linux/l4io --noirq --events module #module /boot/L4Linux/l4exec --events module /boot/L4Linux/loader --fprov=BMODFS linux26.cfg module /boot/L4Linux/bmodfs module /boot/L4Linux/vmlinuz module /boot/L4Linux/linux26.cfg module /boot/L4Linux/libloader.s.so module /boot/L4Linux/libld-l4.s.so title SLACKWARE kernel /boot/vmlinuz root=/dev/hda3 ro vga=791 and here is my linux26.cfg modpath "(hda0,2)/boot/L4Linux" task "vmlinuz.serialconsole" "earlyprintk=yes console=ttyS0,115200 init=1 mem=256M root=/dev/hda3" all_sects_writable allow_vga any idea? ____________________________________________________________________________________ Never miss a thing. Make Yahoo your home page. http://www.yahoo.com/r/hs

2 1

l4_kernel_interface()
by kazilus kazilus 28 Dec '07

28 Dec '07

Hi all, i tried get kernel info page from l4_kernel_interface(), but it returns 0 for _res4 array which i assume contained info of reserved memory and dedicated memory. any idea about it? ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ

2 1

CfP - Workshop on Isolation and Integration in Embedded Systems (IIES 2008) at EuroSys
by Michael Engel 20 Dec '07

20 Dec '07

-- Apologies if you received multiple copies of this message -- EuroSys 2008 ACM SIGOPS Workshop on Isolation and Integration in Embedded Systems (IIES 2008) http://ess.cs.tu-dortmund.de/workshops/iies/ ------------------------------ --- Call for Contributions --- ------------------------------ TOPICS ------ Embedded systems developers today are confronted with a large variety of challenges in the design and implementation of a system. Issues such as co-location of different applications on a single hard- or software platform ("co-habitation"), platform integration of different embedded operating environments as well as safety and protection of embedded software systems require novel approaches to embedded systems development as well as the adaptation of technologies from mainframe and desktop computing, like virtualization and emulation. This, in turn, will change traditional embedded design processes to include hardware and software of growing complexity. This workshops aims to bring together researchers and developers from all areas of embedded systems in order to create a lively discussion of these novel approaches in integration and isolation of embedded systems and the associated challenges and prospects. Suggested topics for papers and discussion include, but are not restricted to: - Virtualization in embedded systems - System support for temporal and spatial isolation of system-level and application code in embedded systems - Interaction and resource sharing between isolated components - System- and language-based isolation techniques - Configurable isolation mechanisms - Lightweight address space models for isolation and similar architectural ffeatures - Isolation mechanisms and resource constraints -- memory, energy, performance - Optimization of complex co-habitated embedded systems - Platform integration of embedded systems - Preservation of temporal constraints in isolated and integrated systems - Integration of legacy embedded systems in new designs - Experience reports and details on performance, energy and cost evaluations SUBMISSION GUIDELINES --------------------- Prospective participants of the workshop are asked to submit a position paper or experience report (3 to 6 pages). Submission of industry papers is particularly encouraged. All papers must be written in English. The papers should be submitted in PDF format by January 31st, 2008. Detailed submission instructions can be found at the workshop web site. Attendance to the workshop is limited to facilitate lively discussions. Participation will be by invitation only, based on the program committee's evaluation of the submission. Accepted participants will be notified by February 28th, 2008. Accepted position papers will be distributed among the participants electronically prior to the workshop. More detailed information will be available at the IIES home page. Camera-ready versions of all accepted papers have to be submitted by March 13th, 2008. Detailed instructions will be emailed to the authors. IMPORTANT DATES --------------- January 31, 2008 -- position paper submission by email February 28, 2008 -- notification of acceptance March 13, 2008 -- submission of camera-ready versions WORKSHOP PREPARATION AND FORMAT ------------------------------- This workshop will be highly interactive. Accepted papers will be posted on the workshop website ahead of the venue and participants are expected to familiarize themselves with the topics presented. In particular, participants should prepare questions, comments and a list of suggested improvements for the authors of topics they are interested in. To prepare a special collaborative work session the organizers will use the position papers and the input by the participants to compile a list of questions, which will be discussed and answered during the workshop in discussion groups. The list can be extended or changed during the workshop, if the discussion brings up additional interesting questions. PUBLICATION ----------- Presented papers will be published electronically on the workshop web page and in a printed version as a technical report. ORGANIZATION ------------ Michael Engel, University of Dortmund, Germany Olaf Spinczyk, University of Dortmund, Germany -- Dr. Michael Engel michael.engel(a)udo.edu - engel(a)multicores.org University of Dortmund Phone: +49 231 755 6141 Dept. of Computer Sc. XII Fax: +49 231 755 6116 Embedded Systems Software Otto-Hahn-Str. 16, D-44221 Dortmund, Germany

1 0

Something about DICE is changed?
by cheng.guanghui.ml 14 Dec '07

14 Dec '07

Hi: Today I use dice to generate a code frame and then compile the idl file. But the server template file is lost. I don't know it is the problem of my dice version or it will be lost in the end. :) Thanks. Regards. Cheng

3 3

Re: Compiling L4Linux-2.6 without L4Env on L4::Fiasco
by kazilus kazilus 13 Dec '07

13 Dec '07

Ok thanks for the info. How about the L4Linux-2.4. So far, i found info that it can be build on top Fiasco without L4Env, but the problem i wasn't able to get source codes of L4Linux 2.4 until now. May i know where can i get them? ----- Original Message ---- From: Bjoern Doebel <doebel(a)os.inf.tu-dresden.de> To: kazilus kazilus <amadkamal(a)yahoo.com> Cc: l4-hackers(a)os.inf.tu-dresden.de Sent: Thursday, December 13, 2007 3:24:08 PM Subject: Re: Compiling L4Linux-2.6 without L4Env on L4::Fiasco Hi, > I've got problem to compiling L4Linux-2.6 on Fiasco. > > For information, i didn't install L4Env package. > > Does it possible to install L4Linux-2.6 without L4Env, if so, may i know > a basic start to do that? No. You need to build L4Env, too, because L4Linux is using L4Env as the underlying paravirtualization layer. Just keep to the instructions on the website, then this should be fine. Regards, Bjoern ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ

2 1

Compiling L4Linux-2.6 without L4Env on L4::Fiasco
by kazilus kazilus 13 Dec '07

13 Dec '07

Hi All, I've got problem to compiling L4Linux-2.6 on Fiasco. For information, i didn't install L4Env package. Does it possible to install L4Linux-2.6 without L4Env, if so, may i know a basic start to do that? Regards, Ahmad Kamal ____________________________________________________________________________________ Looking for last minute shopping deals? Find them fast with Yahoo! Search. http://tools.search.yahoo.com/newsearch/category.php?category=shopping

2 1