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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
