On Thu, Sep 19, 2013 at 10:29:39PM +0200, josef.win...@email.de wrote: > Does OpenBSD plan to varify its (main) components, to > reach the level of zero-bug software?
No. Zeno convinced us that you can't get there from here. > > If not, isn't there any concern that (future) varified OS > will render OBSD redundant one day? No. Think of it as evolution in action. .... Ken