[cap-talk] What sustained interest in capabilities

[Bill Frantz]

ross_mcginnis at hotmail.com (ross mcginnis) on Sunday, January 11, 2009 wrote:

>Are there actually any top-to-bottom projects out there?
>By that I mean a single project that claims it is going to integrate or produce everything from a 
>kernel all the way to a user's desktop environment based on caps with atleast all the lower system 
>level being verified. 

We will probably be building a simple (and slow) web server for CapROS in
the next few weeks. (However we may change our direction and do something
different, so no promises.) It is certainly possible to build a UI with
HTML and CGI, so our web server might be considered a UI tool kit. We have
no current plans to formally verify any part of the system. Does this
project approach the level of top-to-bottom you are thinking about?

Cheers - Bill

-------------------------------------------------------------------------
Bill Frantz        | Airline peanut bag: "Produced  | Periwinkle
(408)356-8506      | in a facility that processes   | 16345 Englewood Ave
www.pwpconsult.com | peanuts and other nuts." - Duh | Los Gatos, CA 95032