12 lines
371 B
Markdown
12 lines
371 B
Markdown
<!--
|
|
Copyright 2017, Data61, CSIRO
|
|
|
|
SPDX-License-Identifier: CC-BY-SA-4.0
|
|
-->
|
|
|
|
# seL4webserver reference application
|
|
|
|
This repository contains the manifest for the [seL4webserver application](https://github.com/sel4/sel4webserver).
|
|
|
|
See [Build Instructions](https://github.com/sel4/sel4webserver/blob/master/README.md#build-instructions) for setup information.
|