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

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

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

2 1

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 May 2004