Re: OT: protection in SASOS

[Espen Skoglund]

[Jonathan S Shapiro]
> Fundamentally, a SASOS abandons the idea of a process-private
> namespace, and reduces all addresses to global names.

> Contrast this with the current situation in L4, where an
> *overwhelming* effort is being made to *eliminate* global names
> because of severe security issues.

I'd strike the "*overwhelming*" part of what you say here.
Eliminating global names is actually proven quite easy.  Further,
perhaps an even stronger motivation to do so besides security has been
to better facilitate features such as, migration, checkpointing, etc.

        eSk