[Cryptography] Simpler programs?

[Guido Witmond]

On 04/17/14 07:31, Bill Frantz wrote:

> 
> If I may toot my own horn here, I worked for many years on such a system.
> 
> The KeyKOS operating system
> <http://www.cis.upenn.edu/~KeyKOS/KeyKOS.html> was such a system. It has
> also been known over the years as Gnosis and GuardOS -- they are all the
> same code base. (Well, kind of. The first implementation was in IBM 370
> Assembler. Later versions were in C and ran on some Motorola 88000
> hardware and some Sparc hardware.)
> 
> The KeyKOS Design Document
> <http://www.cis.upenn.edu/~KeyKOS/agorics/KeyKos/Gnosis/keywelcome.html>
> is a comprehensive manual of the API for the 370 version. It also
> includes a number of design writeups which were not implemented. I think
> by reading it, you can tell which is which.
> 
> The CapROS system <http://www.capros.org/> is a clean room clone which
> runs on Intel x86 and some ARM processors.
> 
> Any questions?
> 

If I may ask, what is your opinion on Genode.org's design, would that be
a worthy successor to Eros/Capros?

With regards, Guido Witmond.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 897 bytes
Desc: OpenPGP digital signature
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140417/7dcde70e/attachment.pgp>