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.
Best Regards, Darwin Yuan
-----Original Message----- From: l4-hackers-bounces@os.inf.tu-dresden.de [mailto:l4-hackers-bounces@os.inf.tu-dresden.de] On Behalf Of Frank Mehnert Sent: Wednesday, August 31, 2005 4:36 PM To: Mathias Krause Cc: l4-hackers@os.inf.tu-dresden.de Subject: Re: shared memory Beispiel?
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers