shared memory Beispiel?
darwin.yuan at freescale.com
Wed Aug 31 11:36:46 CEST 2005
Hi L4Ka::Pistachio developers,
I have read the source code of L4Ka::Pistachio-0.4. & found that some features defined in L4 eXperimental Kernel Reference Manual Version X.2 Revision 5 hasn't been implemented yet. For example, appoint redirector by SpaceControl, IO port mapping, etc.
I tried to checkout the newest source code from CVS, & the CVS server cvs.l4ka.org couldn't be reached.
When those features are going to be implemented? Now that those features are very important for implementing a flexible OS on L4 u-kernel.
Seems that there are so many differences between L4Ka::Pistachio and Fiasco. Is there a stardard L4 specification? I think L4Ka::Pistachio is more clean & flexible, why Fiasco put so many complicated & inflexible policies inside L4 kernel?
BTW, has any OS or system been built on L4Ka::Pistachio? As I know, L4-Linux is built on Fiasco, but I don't like its design. I hope I can get a reference system based on L4Ka::Pistachio.
From: l4-hackers-bounces at os.inf.tu-dresden.de [mailto:l4-hackers-bounces at os.inf.tu-dresden.de] On Behalf Of Frank Mehnert
Sent: Wednesday, August 31, 2005 4:36 PM
To: Mathias Krause
Cc: l4-hackers at os.inf.tu-dresden.de
Subject: Re: shared memory Beispiel?
l4-hackers mailing list
l4-hackers at os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
More information about the l4-hackers