[tahoe-dev] Secure OS for running Tahoe?

[Simon Forman]

Hey all,

Forgive me if this is the wrong place to ask this or if it's terribly
naive, but could I get some recommendations for secure OSs to run
Tahoe on?  I know there's OpenBSD, are they still near the top of the
heap?  What about OKL4?

I'm a programmer, but a total neophyte when it comes to security et.
al., I know just enough to know how little I know.

Warm regards, and thanks in advance for any advice.
~Simon Forman

P.S. David-Sarah Hopwood is there some place I could find out more
about your Noether language? I find it fascinating.


-- 
http://twitter.com/SimonForman
My blog: http://firequery.blogspot.com/
Also my blog: http://calroc.blogspot.com/



"The history of mankind for the last four centuries is rather like that of
an imprisoned sleeper, stirring clumsily and uneasily while the prison that
restrains and shelters him catches fire, not waking but incorporating the
crackling and warmth of the fire with ancient and incongruous dreams, than
like that of a man consciously awake to danger and opportunity."  --H. P.
Wells, "A Short History of the World"