2019-09-23 22:20:35 +08:00
|
|
|
<!--
|
2020-12-04 07:30:07 +08:00
|
|
|
Copyright 2017, Data61, CSIRO
|
2019-09-23 22:20:35 +08:00
|
|
|
|
2020-12-04 07:30:07 +08:00
|
|
|
SPDX-License-Identifier: CC-BY-SA-4.0
|
2019-09-23 22:20:35 +08:00
|
|
|
-->
|
|
|
|
|
|
|
|
|
|
# seL4webserver reference application
|
|
|
|
|
|
2020-12-04 07:30:07 +08:00
|
|
|
This repository contains the manifest for the [seL4webserver application](https://github.com/sel4/sel4webserver).
|
2019-09-23 22:20:35 +08:00
|
|
|
|
2020-12-04 07:30:07 +08:00
|
|
|
See [Build Instructions](https://github.com/sel4/sel4webserver/blob/master/README.md#build-instructions) for setup information.
|
