1<!--
2     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7# Code of Conduct
8
9This repository and interactions with it fall under the [seL4 Code of Conduct][1] available from the [seL4 website][2].
10
11[1]: https://docs.sel4.systems/processes/conduct.html
12[2]: https://sel4.systems
13