New list member Mike Jolley

Mike Jolley mikejolley at
Sat May 31 04:58:41 CEST 2008

Hi all,

I'm new to this mailing list but I've done a little study of the source code, 
history, and other things surrounding Pistachio and L4-Hurd.  My knowledge of 
L4 is very limited.

I have a goal of a drop-in Linux replacer built on much better technology, 
such as L4 or the kind of work being done at VPRI.  I have a rough design for 
such a thing but a lot of major pieces are missing.  

On the other hand, a totally new (to me) system with enough apps to get me 
through the day would be good too.  The system I'm currently looking at is 
Coyotos, which is based on EROS and KeyKOS.  These systems feature capability 
security, and I read somewhere that L4 was designed with this in mind.  I 
can't find much info about that.  

I'd appreciate any information about any of this that seems relevant, even if 
it has nothing to do with any specific thing I've mentioned.  If this list 
wouldn't be interested in what you have to say, you can email me privately at 
mikejolley at

Thanks a lot,

Mike Jolley

More information about the l4-hackers mailing list