[e-lang] When will we see a solid capability OS?

Toby Murray toby.murray at comlab.ox.ac.uk
Fri Jan 18 22:28:20 EST 2008

This question would be best answered on cap-talk but to answer as best I
can anyway:

current capability OS projects still alive and kicking include

 - Coyotos  http://www.coyotos.org
 - CapROS   http://www.capros.org
 - seL4     http://nicta.com.au/research/projects/secure_embedded_l4
 - l4.sec   http://os.inf.tu-dresden.de/L4/L4.Sec/

On Fri, 2008-01-18 at 19:17 -0800, Raoul Duke wrote:
> hi,
> > Well, we need someone to write it.  Are you volunteering?
> Nope. :-) Another way of asking what I was asking is, are any of the
> 'old' capability OS projects alive and moving forward? From what I can
> tell they've all sort of petered out. Sure, if I were steenkin' rich
> I'd love to kick in some funds towards such development. Alas.
> > Some think that we should ignore the OS and focus on the networking
> > aspects.
> Hm, or I guess on a programming language? It would presumably be
> easier to write a capability OS in a capability-oriented language?
> sincerely.
> _______________________________________________
> e-lang mailing list
> e-lang at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/e-lang

More information about the e-lang mailing list