Updates to sel4webserver from camkes-3.7.x to camkes-3.8.0
sel4webserver project containing an seL4 webserver application. Its purpose is to be a reference for implementing applications on seL4.
- This project currently builds an odroid-xu4 VM that runs linux and gets some devices passed through to it.
lighttpd module. This module will build and install a static binary of the
webserver into a VM overlay. It is currently configured to serve a
static site on port
3000 out of
/run/site in the VM.
docsite package that downloads, builds and packages a
docs.sel4.systems static website. It is intended for being served by the
lighttpd webserver added previously.