Re: When will we see a solid capability OS?
Toby Murray <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
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 > [email protected] > http://www.eros-os.org/mailman/listinfo/e-lang