l4-hackers May 2004

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

8 participants
6 discussions

ARM Port of L4/Linux?
by David Krause 29 May '04

29 May '04

As far as I can tell, L4/Linux only runs on x86. Is there an ARM port in existence, or in progress that a kind soul on this list could point me to? Thanks in advance, -- Dave

1 0

ipc- where to send message(ipc).
by manish regmi 27 May '04

27 May '04

thanks, i got it. The client need to request tid of the server to name space server. But how much does it slows down a system. For example servers like i/o severs and fileservers need to be frequently called. Some systems like QNX decreases the no. of message passing by directly sending messages to file descriptor(fd) once a file is opened.i.e. directly send to i/o manager. will it be good to implement? thanks >Manish, > >(You were asking both the list and me, so I repeat here) > > > I am new to l4. Is it true that the allocation of tid is given to user. >How >[...] > > >Kind of. As Espen said, the Microkernel provides no name space (except its >namespaces for kernel resources such as threads, tasks and memory). >This must be done at user level. > >*One* scheme is to have names ("strings") for servers, and identify >servers (their offered services) by these names. Then servers have to >register their (string, thread_id) pair at a nameserver, and clients have >to ask the nameserver for the (string -> thread_id) translation. Of >course, the nameserver must somehow be found. In the case of DROPS (our >OS on top of L4), this nameserver is registered at rmgr, and rmgr has a >fixed and well-known threadid. Thus, name resolution works as follows: >The client asks the rmgr (threadid 4.0 per definition) for the threadid of >the nameserver, and then the nameserver for the threadid of the target >server. The rmgr does not have the flexibility we need for dynamic name >registering, therefore the nameserver. > >*Other* policies could for instance be one hierarchical namespace, >resolved by a root nameserver and client nameservers. The root nameserver >(and the client nameservers) could provide mounting other namespaces. This >way one could construct a namespace comparable to the UNIX filesystem >namespace. Drivers could per definition be found under a name like >'/dev/*'. A user-land file system could provide the part of the namespace >for /home/, another for /proc/, and another for /usr/. > >You should watch our seminar page, in a couple of weeks some slides about >namespace issues should show up. > > >Regards, >Jork > _________________________________________________________________ Help STOP SPAM with the new MSN 8 and get 2 months FREE* http://join.msn.com/?page=features/junkmail

1 0

ipc- where to send message(ipc).
by manish regmi 26 May '04

26 May '04

hi, I am new to l4. Is it true that the allocation of tid is given to user. How do i know the tid of the server i am sending a msg to? What should i do for a robust design. Giving a static tid for server threads is not flexible. What would be a more flexible way. What have others done. thanks. _________________________________________________________________ Tired of spam? Get advanced junk mail protection with MSN 8. http://join.msn.com/?page=features/junkmail

2 1

ipc- where to send message(ipc).
by manish regmi 25 May '04

25 May '04

hi, L4 send a message using a thread id. how will an application developer will know where to send the thread. he needs to know the tid of the server which is making a receive call. how to we know at runtime, which thread of File server(say) is receiveing a read() request. I mean how is namespace resolved in l4. thanks _________________________________________________________________ The new MSN 8: smart spam protection and 2 months FREE* http://join.msn.com/?page=features/junkmail

3 2

L4Linux booting problems
by Luis Araujo 25 May '04

25 May '04

Hi, i got a problem with L4Linux while booting, Im using: L4Ka::Pistachio Downloaded from CVS 23 - 05 - 2004 Compiling Pistachio and L4Linux with gcc-3.3.1 Debian3.0 ramdisk1.0 This is the grub menu.lst: title=L4Linux on L4Ka::Pistachio with Debian ramdisk kernel=/l4boot/kickstart module=/l4boot/ia32-kernel module=/l4boot/sigma0 module=/l4boot/vmlinuz.VX2 devfs=mount ramdisk_size=65536 root=/dev/ram0 rw console=herc console=tty module=/l4boot/ramdisk.gz Everything goes fine during configuration and compilation, and it starts up booting with no problem at all, until it reaches "Starting kswapd" , then it stops in that line, do i need to set (or unset) something in the configuration? Any help is appreciated, Thanks -- Luis

2 1

X.2-compatible L4Env
by Leonid Ryzhyk 11 May '04

11 May '04

Hi We are developing an operating system on top of Pistachio. At the moment we are looking for a framework which would allow to quickly port existing device drivers (e.g., from Linux) to our system as well as develop our own drivers. L4Env with its Omega0 server, l4io library and DDE seems to be a perfect match. Unfortunately, L4Env does not currently support Pistachio. L4hq site says that such support will follow shortly. Is this work being carried out, and, if so, when (approximately) will X.2-compatible L4Env be released? Thanks in advance. Leonid

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 2004