[e-lang] When will we see a solid capability OS?
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
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:
> > 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?
> e-lang mailing list
> e-lang at mail.eros-os.org
More information about the e-lang