This page is archived and is no longer receiving updates.
It remains here because some of the content may still be useful.
Updates to sel4webserver from camkes-3.7.x to camkes-3.8.0
- Created
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.
- Add
lighttpd
module. This module will build and install a static binary of thelighttpd
webserver into a VM overlay. It is currently configured to serve a static site on port3000
out of/run/site
in the VM. - Add
docsite
package that downloads, builds and packages adocs.sel4.systems
static website. It is intended for being served by thelighttpd
webserver added previously.