l4-hackers December 2007

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

10 participants
8 discussions

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 … [View More]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 [View Less]

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 … [View More]

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

Little fix about ORe
by Marc CHALAND 10 Dec '07

10 Dec '07

Hi, I've found that when an ORe client finishes, ORe doesn't stop associated worker thread. Context is correctly freed but not thread. This may lead a lack of thread when several clients finishes and restart several times. Here is a little patch to fix this. Regards Marc

2 1

UX question
by Nicholas Mc Guire 06 Dec '07

06 Dec '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi ! latest svn (as of yesterday) booting ux with the default hello module ends up in jdb and it seems like nither "g" nor "^" nor control-C will kill the beast :) any way out, aside from switching consoles and trampling on fiasco ? some details: root 11705 25.2 3.3 66704 7512 pts/0 S+ 13:48 1:41 ./fiasco - -I hello root 11706 0.0 0.0 0 0 pts/0 Z+ 13:48 0:00 [hello] <defunct> so the hello … [View More]that happily prints on the real-hw seems to be dead under UX (seems well reproducible) After CNTRL-C I end at: debian:/home/l4/tudos/ux_test# ./fiasco -I hello <snip> Loading Module 0x00100000-0x00109380 [sigma0] Loading Module 0x00110000-0x002ae000 [roottask] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/ia32 microkernel (C) 1998-2007 TU Dresden Rev: r247 compiled with gcc 4.1.2 for Intel Pentium [] CPU: AuthenticAMD (F:4F:2:0) Model: Unknown CPU at 1803 MHz 32/512 Entry I TLB (4K pages) 8 Entry I TLB (4M pages) 32/512 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 24576 bytes (6 pages) Calibrating timer loop... - --Interception--------------------------------------ESP:200007a8 EIP:000ceaf6 (0.00) jdb: t thread: 0.00 <00000000> prio: 00 mcp: ff mode: Con state: 001 ready wait for: polling: rcv descr: lcked by: ---.-- timeout : cpu time: 0 timeslice: 100000/100000 s pager : ---.-- cap: ---.-- utcb: 00000000 preemptr: ---.-- not monitored ready lnk: ???.?? ???.?? prsnt lnk: 0.00 0.00 EAX=00000000 ESI=00000000 DS=007b EBX=00000000 EDI=00000000 ES=007b je 0xceae0 ECX=00000000 EBP=63efc000 GS=0000 mov 0xa0(%ebp),%esi EDX=00000000 ESP=200007a8 SS=0000 trap 1 (Debug), error 00000000, from kernel mode CS=0000 EIP=000ceaf6 EFlags=00000246 200007a8 00000000 00000246 00096b24 20000000 00000000 00000000 000cd5f6 00000000 7c0 200007cc 20000000 000cd7ba 00015540 00000000 00000000 00000000 00000000 7e0 00000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 t/bt/l etc. shows only one task and that task is marked ready. any hint ? thx! hofrat -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFHV8wJnU7rXZKfY2oRArptAJ49z8//ypf7IupiBqaIKO89+Y9PBgCbBH4j GSvlkztmVMcICMLsjo7X0dw= =cpwv -----END PGP SIGNATURE----- [View Less]

2 2

The problems of compiling grub-0.97-os.6
by cheng.guanghui.ml 01 Dec '07

01 Dec '07

Hi: I compile the grub-0.97 patched the os.6 provided by Adam home page. But there are some error messages like following: pre_stage2_exec-bios.o: In function `get_cdinfo': /home/cheng/tudos/grub-0.97/stage2/bios.c:179: undefined reference to `__stack_chk_fail' pre_stage2_exec-bios.o: In function `get_diskinfo': /home/cheng/tudos/grub-0.97/stage2/bios.c:317: undefined reference to `__stack_chk_fail' pre_stage2_exec-boot.o: In function `load_image': /home/cheng/tudos/grub-0.97/stage2/boot.c:… [View More]

3 2

2025

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 December 2007