The Ethos Operating System

Re:The Ethos Operating System by ansible on Sunday April 13, 2014 @09:38PM (#7584056)

I looked around a bit, but I couldn't find a good introduction to the design principals and such. Is there a good overview in one of the papers?

[ Parent | on HN ]

Re:The Ethos Operating System by JonSolworth on Monday April 14, 2014 @05:41AM (#7585270)

Writing up the design principals of Ethos is one of my goals this summer. The short description is:

(1) Strong security services (authentication, authorization, encryption, isolation) (2) Higher level, less error prone semantics for all OS interaction. (3) Security guarantees derived from system layering (4) Highly composable semantics

Note that only (1) deals with security-specific code. The rest deals with overall code quality.

[ Parent | on HN ]

Re:The Ethos Operating System by mahmud on Sunday April 13, 2014 @09:55PM (#7584101)

The research papers are there. There is even a paper reading group. The project appears to be the synthesis of a few "attractive" design choices, combined into one. So each of those things has its own paper(s).

Not uncommon in computing.

[ Parent | on HN ]

Re:The Ethos Operating System by sept on Sunday April 13, 2014 @10:35PM (#7584239)

There's a 280MB .webm video from CCC Dec 2013, linked here:

https://twitter.com/jonsolworth/status/451359584376995840

[ Parent | on HN ]

Re:The Ethos Operating System by sept on Sunday April 13, 2014 @10:39PM (#7584247)

2013 thesis paper has useful background:

https://www.flyn.org/publications/2013-Petullo-Dissertation....

[ Parent | on HN ]