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@sbcglobal.net.
Thanks a lot,
Mike Jolley