seL4 / sel4webserver-manifest

seL4webserver reference application

This repository contains the manifest for the seL4webserver application.

See Build Instructions for setup information.