[seL4] Re: Announcing beta.sel4.systems running on LionsOS

Right now, there is no documentation for the web server. Like James said, some of the documentation for the Kitty reference system applies, but we should really have a page talking about the web server. We are working on having improved documentation for the next LionsOS release, and the web server docs will be included in that. Ivan